Red Alan is what folks call him, because he is quite red. Young Eric is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. Fred is a nice person who is red because he has a rash. Gary always goes out of his way to show that he is kind to people. People who are green and blue tend to be round in shape. Big people that are cold will show you how rough they actually are. Nice, green people that are somewhat round are big through the shoulders. Young round folks who are at least a bit red are actually nice. People with big hands and red, rough skin are terribly kind. Nice young people who are always cold end up also being big.
Alan is red.
("Alan" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Alan is red.
True
1
proof
[(triple1)]
("Alan" "is" "red" "+")
triple1
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Eric is nice.
True
4
proof
[(((triple4 triple3 triple2) -> rule4))]
("Eric" "is" "nice" "+")
((triple4 triple3 triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
4
inv-proof
[(((triple4 triple3 triple2) -> rule4))]
("Eric" "is" "nice" "-")
((triple4 triple3 triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
True
7
proof
[(((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6))]
("Eric" "is" "big" "+")
((triple5 ((triple4 triple3 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not big.
False
7
inv-proof
[(((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6))]
("Eric" "is" "big" "-")
((triple5 ((triple4 triple3 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
True
9
proof
[(((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2))]
("Eric" "is" "rough" "+")
((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not rough.
False
9
inv-proof
[(((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2))]
("Eric" "is" "rough" "-")
((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
True
18
proof
[(((((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2) ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6) triple4) -> rule5))]
("Eric" "is" "kind" "+")
((((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3)) triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is not kind.
False
18
inv-proof
[(((((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2) ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6) triple4) -> rule5))]
("Eric" "is" "kind" "-")
((((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3)) triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Alan is red.[(triple1)] Eric is cold.[(triple5)] Eric is red.[(triple4)] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Gary is kind.[(triple8)] @1: Eric is nice.[(((triple4 triple3 triple2) -> rule4))] @2: Eric is big.[(((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6))] @3: Eric is rough.[(((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2))] @4: Eric is kind.[(((((triple5 ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6)) -> rule2) ((triple5 ((triple4 triple3 triple2) -> rule4) triple2) -> rule6) triple4) -> rule5))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 triple3 triple2) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple5 ((triple4 triple3 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5 ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5 ((triple4 triple3 triple2) -> (rule4 % int4)) triple2) -> (rule6 % int3)) triple4) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Red Alan is what folks call him, because he is quite red.
Young Eric is round from too much candy; He is feeling cold even though he's red from being in the sun too long.
Fred is a nice person who is red because he has a rash.
Gary always goes out of his way to show that he is kind to people.
People who are green and blue tend to be round in shape.
Big people that are cold will show you how rough they actually are.
Nice, green people that are somewhat round are big through the shoulders.
Young round folks who are at least a bit red are actually nice.
People with big hands and red, rough skin are terribly kind.
Nice young people who are always cold end up also being big.