Red Bob is what folks call him, because he is quite red. Young Charlie got into a fight that left him with red sores on his face. Because Eric, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Fred ate some rotten meat and now feels green. I have found that if someone is kind and red, that they are quite often nice. Someone who is cold, big, and rough is always green, as a rule. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. A big, young human being is sure to also be a green human being. A blue and red colored person that is young is also very cold. There are so many rough, young people and for some reason they are all big too. If you meet someone who is big and kind with cold skin, they will be young.
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Eric is big.
True
3
proof
[(((triple4 triple6) -> rule6))]
("Eric" "is" "big" "+")
((triple4 triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple4 triple6) -> rule6))]
("Eric" "is" "big" "-")
((triple4 triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
True
5
proof
[(((((triple4 triple6) -> rule6) triple4) -> rule4))]
("Eric" "is" "green" "+")
((((triple4 triple6) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not green.
False
5
inv-proof
[(((((triple4 triple6) -> rule6) triple4) -> rule4))]
("Eric" "is" "green" "-")
((((triple4 triple6) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
True
9
proof
[(((((((triple4 triple6) -> rule6) triple4) -> rule4) ((triple4 triple6) -> rule6)) -> rule3))]
("Eric" "is" "nice" "+")
((((((triple4 triple6) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((((((triple4 triple6) -> rule6) triple4) -> rule4) ((triple4 triple6) -> rule6)) -> rule3))]
("Eric" "is" "nice" "-")
((((((triple4 triple6) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Bob is red.[(triple1)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is green.[(triple9)] @1: Eric is big.[(((triple4 triple6) -> rule6))] @2: Eric is green.[(((((triple4 triple6) -> rule6) triple4) -> rule4))] @3: Eric is nice.[(((((((triple4 triple6) -> rule6) triple4) -> rule4) ((triple4 triple6) -> rule6)) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple4 triple6) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((((triple4 triple6) -> (rule6 % int3)) triple4) -> (rule4 % int2)) ((triple4 triple6) -> (rule6 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Red Bob is what folks call him, because he is quite red.
Young Charlie got into a fight that left him with red sores on his face.
Because Eric, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Fred ate some rotten meat and now feels green.
I have found that if someone is kind and red, that they are quite often nice.
Someone who is cold, big, and rough is always green, as a rule.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
A big, young human being is sure to also be a green human being.
A blue and red colored person that is young is also very cold.
There are so many rough, young people and for some reason they are all big too.
If you meet someone who is big and kind with cold skin, they will be young.