Alan was looking rather round and feeling rather cold, but people thought he is kind. Big Charlie is a kind man and often wears blue and green shirts. Dave, like all young people, is nice. Fred is very nice to people, but he's also rather big. If a red person is cold and kind to others, they also tend to be blue. You make someone round and green, and they'll turn out nice. When someone feels cold, while being big and rough, they always turn out to be red. Nice people are kind and rough when they are young. Blue people who are big tend to be rough. Rough people will often be blue.  They thrive on being kind and nice.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple8)]
("Dave" "is" "young" "-")
triple8
Charlie is rough.
True
3
proof
[(((triple6 triple7) -> rule5))]
("Charlie" "is" "rough" "+")
((triple6 triple7) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple6 triple7) -> rule5))]
("Charlie" "is" "rough" "-")
((triple6 triple7) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
6
proof
[(((((triple6 triple7) -> rule5) triple4 triple6) -> rule6))]
("Charlie" "is" "nice" "+")
((((triple6 triple7) -> (rule5 % int2)) triple4 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((((triple6 triple7) -> rule5) triple4 triple6) -> rule6))]
("Charlie" "is" "nice" "-")
((((triple6 triple7) -> (rule5 % int2)) triple4 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
True
11
proof
[(((((((triple6 triple7) -> rule5) triple4 triple6) -> rule6) triple4 ((triple6 triple7) -> rule5)) -> rule4))]
("Charlie" "is" "young" "+")
((((((triple6 triple7) -> (rule5 % int3)) triple4 triple6) -> (rule6 % int2)) triple4 ((triple6 triple7) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not young.
False
11
inv-proof
[(((((((triple6 triple7) -> rule5) triple4 triple6) -> rule6) triple4 ((triple6 triple7) -> rule5)) -> rule4))]
("Charlie" "is" "young" "-")
((((((triple6 triple7) -> (rule5 % int3)) triple4 triple6) -> (rule6 % int2)) triple4 ((triple6 triple7) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Dave is nice.[(triple9)] Dave is young.[(triple8)] Fred is big.[(triple11)] Fred is nice.[(triple10)] @1: Charlie is rough.[(((triple6 triple7) -> rule5))] @2: Charlie is nice.[(((((triple6 triple7) -> rule5) triple4 triple6) -> rule6))] @3: Charlie is young.[(((((((triple6 triple7) -> rule5) triple4 triple6) -> rule6) triple4 ((triple6 triple7) -> rule5)) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6 triple7) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple6 triple7) -> (rule5 % int2)) triple4 triple6) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple6 triple7) -> (rule5 % int3)) triple4 triple6) -> (rule6 % int2)) triple4 ((triple6 triple7) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan was looking rather round and feeling rather cold, but people thought he is kind.
Big Charlie is a kind man and often wears blue and green shirts.
Dave, like all young people, is nice.
Fred is very nice to people, but he's also rather big.
If a red person is cold and kind to others, they also tend to be blue.
You make someone round and green, and they'll turn out nice.
When someone feels cold, while being big and rough, they always turn out to be red.
Nice people are kind and rough when they are young.
Blue people who are big tend to be rough.
Rough people will often be blue; They thrive on being kind and nice.