Charlie has a round face and is very nice. Fred ate some rotten meat and now feels green. Gary is both young and fairly round in size. They always say that he is so nice and kind, that is Big Harry.  But he is also round and blue. People who are nice, round and wearing blue will have red cheeks. Someone who is round in shape and green in color is usually cold. When someone is nice and rough they are usually red. If you are green you are also kind. Round people are often red before they turn green.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Harry is blue.
True
1
proof
[(triple9)]
("Harry" "is" "blue" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple4)]
("Gary" "is" "young" "-")
triple4
Fred is kind.
True
2
proof
[(((triple3) -> rule4))]
("Fred" "is" "kind" "+")
((triple3) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
2
inv-proof
[(((triple3) -> rule4))]
("Fred" "is" "kind" "-")
((triple3) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is green.
True
6
proof
[(((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5))]
("Harry" "is" "green" "+")
((triple6 ((triple7 triple6 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not green.
False
6
inv-proof
[(((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5))]
("Harry" "is" "green" "-")
((triple6 ((triple7 triple6 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
True
8
proof
[(((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5) triple6) -> rule2))]
("Harry" "is" "cold" "+")
((((triple6 ((triple7 triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5) triple6) -> rule2))]
("Harry" "is" "cold" "-")
((((triple6 ((triple7 triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Fred is green.[(triple3)] Gary is round.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8 OR ((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5)) -> rule4))] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Fred is kind.[(((triple3) -> rule4))] Harry is red.[(((triple7 triple6 triple9) -> rule1))] @2: Harry is green.[(((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5))] @3: Harry is cold.[(((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5) triple6) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((((triple6 ((triple7 triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
((triple3) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7 triple6 triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple6 ((triple7 triple6 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple6 ((triple7 triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie has a round face and is very nice.
Fred ate some rotten meat and now feels green.
Gary is both young and fairly round in size.
They always say that he is so nice and kind, that is Big Harry; But he is also round and blue.
People who are nice, round and wearing blue will have red cheeks.
Someone who is round in shape and green in color is usually cold.
When someone is nice and rough they are usually red.
If you are green you are also kind.
Round people are often red before they turn green.