Young Dave is big and round from his mother's good cooking.  Dave is the kind of kid who is nice and kind to everyone and who is red with a sunburn. That rough but kind guy is Eric, the green one. Red Gary is what folks call him, because he is quite red. Harry always goes out of his way to show that he is kind to people. You'll always find a young, kind and red person to be a cold person, too. Nice green people and often blue with sadness. A nice and blue person who's also red will be a rough person. A depressed person feeling blue who is kind cannot escape from being green. If a big person is cold and nice, then they are green.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Dave is round.
True
1
proof
[(triple2)]
("Dave" "is" "round" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Dave is cold.
True
4
proof
[(((triple5 triple1 triple3) -> rule1))]
("Dave" "is" "cold" "+")
((triple5 triple1 triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple5 triple1 triple3) -> rule1))]
("Dave" "is" "cold" "-")
((triple5 triple1 triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
True
7
proof
[(((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5))]
("Dave" "is" "green" "+")
((((triple5 triple1 triple3) -> (rule1 % int2)) triple6 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not green.
False
7
inv-proof
[(((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5))]
("Dave" "is" "green" "-")
((((triple5 triple1 triple3) -> (rule1 % int2)) triple6 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
True
9
proof
[(((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2))]
("Dave" "is" "blue" "+")
((((((triple5 triple1 triple3) -> (rule1 % int3)) triple6 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not blue.
False
9
inv-proof
[(((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2))]
("Dave" "is" "blue" "-")
((((((triple5 triple1 triple3) -> (rule1 % int3)) triple6 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
True
12
proof
[(((((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2) triple4 triple3) -> rule3))]
("Dave" "is" "rough" "+")
((((((((triple5 triple1 triple3) -> (rule1 % int4)) triple6 triple4) -> (rule5 % int3)) triple4) -> (rule2 % int2)) triple4 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not rough.
False
12
inv-proof
[(((((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2) triple4 triple3) -> rule3))]
("Dave" "is" "rough" "-")
((((((((triple5 triple1 triple3) -> (rule1 % int4)) triple6 triple4) -> (rule5 % int3)) triple4) -> (rule2 % int2)) triple4 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Dave is big.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is green.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Gary is red.[(triple10)] Harry is kind.[(triple11)] @1: Dave is cold.[(((triple5 triple1 triple3) -> rule1))] @2: Dave is green.[(((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5))] @3: Dave is blue.[(((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2))] @4: Dave is rough.[(((((((((triple5 triple1 triple3) -> rule1) triple6 triple4) -> rule5) triple4) -> rule2) triple4 triple3) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple5 triple1 triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple5 triple1 triple3) -> (rule1 % int2)) triple6 triple4) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple5 triple1 triple3) -> (rule1 % int3)) triple6 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((((((triple5 triple1 triple3) -> (rule1 % int4)) triple6 triple4) -> (rule5 % int3)) triple4) -> (rule2 % int2)) triple4 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Young Dave is big and round from his mother's good cooking; Dave is the kind of kid who is nice and kind to everyone and who is red with a sunburn.
That rough but kind guy is Eric, the green one.
Red Gary is what folks call him, because he is quite red.
Harry always goes out of his way to show that he is kind to people.
You'll always find a young, kind and red person to be a cold person, too.
Nice green people and often blue with sadness.
A nice and blue person who's also red will be a rough person.
A depressed person feeling blue who is kind cannot escape from being green.
If a big person is cold and nice, then they are green.