Because Dave gets cold easily he tends to appear round from bundling up. Eric is young and kind.  But he plays really rough with his friends. Big Gary is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. Young Harry is wearing green pants. People who are round and young are also very nice. If someone is blue, young, and rough, they qualify as being round. Humans who are nice to others while they are young and red will also be green. If a nice person is round shaped, they feel blue about it. Nice, kind people who look rough almost always feel cold. Kind people, for example, like the ones at the bank are always blue.
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and young and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Eric is rough.
True
1
proof
[(triple4)]
("Eric" "is" "rough" "+")
triple4
Eric is not young.
False
1
inv-proof
[(triple3)]
("Eric" "is" "young" "-")
triple3
Eric is blue.
True
2
proof
[(((triple5) -> rule6))]
("Eric" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple5) -> rule6))]
("Eric" "is" "blue" "-")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
True
5
proof
[(((triple4 triple3 ((triple5) -> rule6)) -> rule2))]
("Eric" "is" "round" "+")
((triple4 triple3 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not round.
False
5
inv-proof
[(((triple4 triple3 ((triple5) -> rule6)) -> rule2))]
("Eric" "is" "round" "-")
((triple4 triple3 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
True
7
proof
[(((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1))]
("Eric" "is" "nice" "+")
((((triple4 triple3 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
False
7
inv-proof
[(((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1))]
("Eric" "is" "nice" "-")
((((triple4 triple3 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is cold.
True
10
proof
[(((((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1) triple5 triple4) -> rule5))]
("Eric" "is" "cold" "+")
((((((triple4 triple3 ((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple3) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not cold.
False
10
inv-proof
[(((((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1) triple5 triple4) -> rule5))]
("Eric" "is" "cold" "-")
((((((triple4 triple3 ((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple3) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Dave is cold.[(triple2)] Dave is round.[(triple1)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Gary is young.[(triple6)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Eric is blue.[(((triple5) -> rule6))] @2: Eric is round.[(((triple4 triple3 ((triple5) -> rule6)) -> rule2))] @3: Eric is nice.[(((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1))] @4: Eric is cold.[(((((((triple4 triple3 ((triple5) -> rule6)) -> rule2) triple3) -> rule1) triple5 triple4) -> rule5))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Eric is blue.
("Eric" "is" "blue" "+")
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple4 triple3 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple4 triple3 ((triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
((((((triple4 triple3 ((triple5) -> (rule6 % int4))) -> (rule2 % int3)) triple3) -> (rule1 % int2)) triple5 triple4) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Because Dave gets cold easily he tends to appear round from bundling up.
Eric is young and kind; But he plays really rough with his friends.
Big Gary is fairly young; When he was a small child he would wear his parka and you could see his little green body in the distance; His lips would turn blue when he was cold.
Young Harry is wearing green pants.
People who are round and young are also very nice.
If someone is blue, young, and rough, they qualify as being round.
Humans who are nice to others while they are young and red will also be green.
If a nice person is round shaped, they feel blue about it.
Nice, kind people who look rough almost always feel cold.
Kind people, for example, like the ones at the bank are always blue.