In the snow sits Bob, crying from being cold. Charlie always goes out of his way to show that he is kind to people. Eric who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Harry had big, red, round cheeks. A green colored, nice and young person will be big shaped. Red and round people are nice to others even though they are big. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. When you know someone who is young and green you can count on them being nice to everyone. Anybody that is big is also someone who is going to be blue. Nice people that are colored red and green are always round.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is nice.
True
1
proof
[(triple4)]
("Eric" "is" "nice" "+")
triple4
Eric is not green.
False
1
inv-proof
[(triple6)]
("Eric" "is" "green" "-")
triple6
Harry is blue.
True
2
proof
[(((triple9) -> rule5))]
("Harry" "is" "blue" "+")
((triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple9) -> rule5))]
("Harry" "is" "blue" "-")
((triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Eric is big.
True
7
proof
[(((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2))]
("Eric" "is" "big" "+")
((triple4 ((triple6 triple3 triple4) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not big.
False
7
inv-proof
[(((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2))]
("Eric" "is" "big" "-")
((triple4 ((triple6 triple3 triple4) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
True
10
proof
[(((((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2) triple6 triple5) -> rule3))]
("Eric" "is" "cold" "+")
((((triple4 ((triple6 triple3 triple4) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not cold.
False
10
inv-proof
[(((((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2) triple6 triple5) -> rule3))]
("Eric" "is" "cold" "-")
((((triple4 ((triple6 triple3 triple4) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Charlie is kind.[(triple2)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Harry is big.[(triple9)] Harry is red.[(triple8)] Harry is round.[(triple7)] @1: Eric is round.[(((triple6 triple3 triple4) -> rule6))] Harry is blue.[(((triple9) -> rule5))] @2: Eric is big.[(((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2))] @3: Eric is blue.[(((((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2)) -> rule5))] Eric is cold.[(((((triple4 ((triple6 triple3 triple4) -> rule6) triple3) -> rule2) triple6 triple5) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple3 triple4) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((triple6 triple3 triple4) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple4 ((triple6 triple3 triple4) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
((((triple4 ((triple6 triple3 triple4) -> (rule6 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
In the snow sits Bob, crying from being cold.
Charlie always goes out of his way to show that he is kind to people.
Eric who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Harry had big, red, round cheeks.
A green colored, nice and young person will be big shaped.
Red and round people are nice to others even though they are big.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
When you know someone who is young and green you can count on them being nice to everyone.
Anybody that is big is also someone who is going to be blue.
Nice people that are colored red and green are always round.