Alan always goes out of his way to show that he is kind to people. Big, round Charlie is liked by everyone one.  He is easily recognized with his red and green skin. Dave was looking rather round and feeling rather cold, but people thought he is kind. Harry, like all young people, is nice. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who are blue and green are nice. A person fitting the description of rough, cold and red will also be a nice person. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. Anyone that is nice and kind and also green will usually be young as well.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple5)]
("Charlie" "is" "big" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Dave is green.
True
3
proof
[(((triple8 triple7) -> rule5))]
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple8 triple7) -> rule5))]
("Dave" "is" "green" "-")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
True
6
proof
[(((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "+")
((triple7 triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4))]
("Dave" "is" "blue" "-")
((triple7 triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
True
10
proof
[(((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2))]
("Dave" "is" "nice" "+")
((((triple7 triple8 ((triple8 triple7) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple7) -> (rule5 % int3))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not nice.
False
10
inv-proof
[(((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2))]
("Dave" "is" "nice" "-")
((((triple7 triple8 ((triple8 triple7) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple7) -> (rule5 % int3))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
True
15
proof
[(((((triple8 triple7) -> rule5) ((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) triple7) -> rule6))]
("Dave" "is" "young" "+")
((((triple8 triple7) -> (rule5 % int4)) ((((triple7 triple8 ((triple8 triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not young.
False
15
inv-proof
[(((((triple8 triple7) -> rule5) ((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) triple7) -> rule6))]
("Dave" "is" "young" "-")
((((triple8 triple7) -> (rule5 % int4)) ((((triple7 triple8 ((triple8 triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is kind.[(triple1)] Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is round.[(triple6)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Dave is green.[(((triple8 triple7) -> rule5))] @2: Dave is blue.[(((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4))] @3: Dave is nice.[(((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2))] @4: Dave is young.[(((((triple8 triple7) -> rule5) ((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) triple7) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple8 ((triple8 triple7) -> (rule5 % int3))) -> (rule4 % int2)) ((triple8 triple7) -> (rule5 % int3))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((triple8 triple7) -> (rule5 % int4)) ((((triple7 triple8 ((triple8 triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple8 triple7) -> (rule5 % int4))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Alan always goes out of his way to show that he is kind to people.
Big, round Charlie is liked by everyone one; He is easily recognized with his red and green skin.
Dave was looking rather round and feeling rather cold, but people thought he is kind.
Harry, like all young people, is nice.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
People who are blue and green are nice.
A person fitting the description of rough, cold and red will also be a nice person.
A kind and cold person who is green is, surprisingly, also blue.
Show me someone who is cold and kind, and I'll show you how green they are.
Anyone that is nice and kind and also green will usually be young as well.