Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. In the snow sits Bob, crying from being cold. In the snow sits Fred, crying from being cold. Harry is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. A kind red person is also a blue person. Nice and blue people have to be big as well. Lucky for us, people that are round and red are kind to strangers. Round people who feel rough also always feel cold,. People who are rough and nice and blue can be round. A big person who is kind and nice is usually red because their prone to blushing. If you meet someone who is young and cold, then will most definitely be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Harry is not nice.
False
1
inv-proof
[(triple8)]
("Harry" "is" "nice" "-")
triple8
Harry is round.
True
4
proof
[(((triple7 triple8 triple10) -> rule5))]
("Harry" "is" "round" "+")
((triple7 triple8 triple10) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Alan" "is" "big" "-")
((triple2 triple3) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Harry is cold.
True
6
proof
[(((((triple7 triple8 triple10) -> rule5) triple7) -> rule4))]
("Harry" "is" "cold" "+")
((((triple7 triple8 triple10) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((((triple7 triple8 triple10) -> rule5) triple7) -> rule4))]
("Harry" "is" "cold" "-")
((((triple7 triple8 triple10) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
True
8
proof
[(((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7))]
("Harry" "is" "red" "+")
((triple6 ((((triple7 triple8 triple10) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not red.
False
8
inv-proof
[(((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7))]
("Harry" "is" "red" "-")
((triple6 ((((triple7 triple8 triple10) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
True
13
proof
[(((((triple7 triple8 triple10) -> rule5) ((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7)) -> rule3))]
("Harry" "is" "kind" "+")
((((triple7 triple8 triple10) -> (rule5 % int4)) ((triple6 ((((triple7 triple8 triple10) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not kind.
False
13
inv-proof
[(((((triple7 triple8 triple10) -> rule5) ((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7)) -> rule3))]
("Harry" "is" "kind" "-")
((((triple7 triple8 triple10) -> (rule5 % int4)) ((triple6 ((((triple7 triple8 triple10) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Alan is not kind.
Unknown
inv-rconc
[@2: Alan is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "blue" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is cold.[(triple4)] Fred is cold.[(triple5)] Harry is big.[(triple11 OR ((triple8 triple10) -> rule2))] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Alan is big.[(((triple2 triple3) -> rule2))] Harry is round.[(((triple7 triple8 triple10) -> rule5))] @2: Harry is cold.[(((((triple7 triple8 triple10) -> rule5) triple7) -> rule4))] @3: Harry is red.[(((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7))] @4: Harry is kind.[(((((triple7 triple8 triple10) -> rule5) ((triple6 ((((triple7 triple8 triple10) -> rule5) triple7) -> rule4)) -> rule7)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
((triple8 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7 triple8 triple10) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple8 triple10) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple6 ((((triple7 triple8 triple10) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7 triple8 triple10) -> (rule5 % int4)) ((triple6 ((((triple7 triple8 triple10) -> (rule5 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
In the snow sits Bob, crying from being cold.
In the snow sits Fred, crying from being cold.
Harry is a big young boy with a bit of a rough streak; Most of the times he is nice, especially when his skin is green and blue.
A kind red person is also a blue person.
Nice and blue people have to be big as well.
Lucky for us, people that are round and red are kind to strangers.
Round people who feel rough also always feel cold,.
People who are rough and nice and blue can be round.
A big person who is kind and nice is usually red because their prone to blushing.
If you meet someone who is young and cold, then will most definitely be red.