Alan is big and red, but he's young and will grow out of it. Charlie is fat; so he appears big and round.  Charlie is also nice and kind to everyone that he meets. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. They always call him rough Harry. Nice blue people are often rough. A very kind and green colored person, who is also cold, will be nice. Fat, round people who are green with envy and notoriously rough. Red people feel blue about it. Big, kind, and nice people are often red in color.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Fred is blue.
True
1
proof
[(triple9)]
("Fred" "is" "blue" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple9)]
("Fred" "is" "blue" "-")
triple9
Alan is blue.
True
2
proof
[(((triple2) -> rule4))]
("Alan" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is not red.
False
4
inv-proof
[(((triple7 triple6 triple5) -> rule5))]
("Charlie" "is" "red" "-")
((triple7 triple6 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple7 triple6 triple5) -> rule5)) -> rule4))]
("Charlie" "is" "blue" "+")
((((triple7 triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((((triple7 triple6 triple5) -> rule5)) -> rule4))]
("Charlie" "is" "blue" "-")
((((triple7 triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
True
7
proof
[(((triple5 ((((triple7 triple6 triple5) -> rule5)) -> rule4)) -> rule1))]
("Charlie" "is" "rough" "+")
((triple5 ((((triple7 triple6 triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not rough.
False
7
inv-proof
[(((triple5 ((((triple7 triple6 triple5) -> rule5)) -> rule4)) -> rule1))]
("Charlie" "is" "rough" "-")
((triple5 ((((triple7 triple6 triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] Harry is rough.[(triple10)] @1: Alan is blue.[(((triple2) -> rule4))] Charlie is red.[(((triple7 triple6 triple5) -> rule5))] @2: Charlie is blue.[(((((triple7 triple6 triple5) -> rule5)) -> rule4))] @3: Charlie is rough.[(((triple5 ((((triple7 triple6 triple5) -> rule5)) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 triple6 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple7 triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((((triple7 triple6 triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan is big and red, but he's young and will grow out of it.
Charlie is fat; so he appears big and round; Charlie is also nice and kind to everyone that he meets.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
They always call him rough Harry.
Nice blue people are often rough.
A very kind and green colored person, who is also cold, will be nice.
Fat, round people who are green with envy and notoriously rough.
Red people feel blue about it.
Big, kind, and nice people are often red in color.