Alan ate some rotten meat and now feels green. Charlie is big and tends to wear red shirts. From a certain angle Dave is blue but he is young so maybe that will go away. Young Harry is already big and has rough, red skin from working outdoors.  Harry is kind but is feeling blue because of family troubles. Green, nice people who have round shapes are going to be kind to you. All the big and young boys at the park are red. Red, kind, rough people are the young ones. When you meet big guys with red hair, then tend to be cold hearted. Big and cold people are likely to be round, too. A big and blue colored person is also certainly very kind. Nobody who is round and rough and big can keep themselves from being nice.
Alan is green.
("Alan" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Dave is not blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Charlie is cold.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Charlie" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple11 triple8) -> rule4) OR ((triple11 ((triple11 triple6) -> rule2)) -> rule4))]
("Harry" "is" "cold" "-")
((triple11 triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11 ((triple11 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
True
5
proof
[(((triple11 ((triple11 triple8) -> rule4)) -> rule5) OR ((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5))]
("Harry" "is" "round" "+")
((triple11 ((triple11 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple11 ((triple11 ((triple11 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is not round.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule4)) -> rule5))]
("Charlie" "is" "round" "-")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Harry is nice.
True
8
proof
[(((((triple11 ((triple11 triple8) -> rule4)) -> rule5) triple7 triple11) -> rule7) OR ((((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5) triple7 triple11) -> rule7))]
("Harry" "is" "nice" "+")
((((triple11 ((triple11 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11 ((triple11 ((triple11 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not nice.
False
8
inv-proof
[(((((triple11 ((triple11 triple8) -> rule4)) -> rule5) triple7 triple11) -> rule7) OR ((((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5) triple7 triple11) -> rule7))]
("Harry" "is" "nice" "-")
((((triple11 ((triple11 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11 ((triple11 ((triple11 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is green.[(triple1)] Charlie is big.[(triple3)] Charlie is red.[(triple2)] Dave is blue.[(triple5)] Dave is young.[(triple4)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is kind.[(triple9 OR ((triple10 triple11) -> rule6))] Harry is red.[(triple8 OR ((triple11 triple6) -> rule2))] Harry is rough.[(triple7)] Harry is young.[(triple6 OR ((triple8 triple9 triple7) -> rule3) OR ((triple8 ((triple10 triple11) -> rule6) triple7) -> rule3))] @1: Charlie is cold.[(((triple3 triple2) -> rule4))] Harry is cold.[(((triple11 triple8) -> rule4) OR ((triple11 ((triple11 triple6) -> rule2)) -> rule4))] @2: Charlie is round.[(((triple3 ((triple3 triple2) -> rule4)) -> rule5))] Harry is round.[(((triple11 ((triple11 triple8) -> rule4)) -> rule5) OR ((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5))] @3: Harry is nice.[(((((triple11 ((triple11 triple8) -> rule4)) -> rule5) triple7 triple11) -> rule7) OR ((((triple11 ((triple11 ((triple11 triple6) -> rule2)) -> rule4)) -> rule5) triple7 triple11) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
((triple10 triple11) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple8
((triple11 triple6) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
((triple8 triple9 triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple8 ((triple10 triple11) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple11 triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11 ((triple11 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple11 ((triple11 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((triple11 ((triple11 ((triple11 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((triple11 ((triple11 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple11 ((triple11 ((triple11 triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Alan ate some rotten meat and now feels green.
Charlie is big and tends to wear red shirts.
From a certain angle Dave is blue but he is young so maybe that will go away.
Young Harry is already big and has rough, red skin from working outdoors; Harry is kind but is feeling blue because of family troubles.
Green, nice people who have round shapes are going to be kind to you.
All the big and young boys at the park are red.
Red, kind, rough people are the young ones.
When you meet big guys with red hair, then tend to be cold hearted.
Big and cold people are likely to be round, too.
A big and blue colored person is also certainly very kind.
Nobody who is round and rough and big can keep themselves from being nice.