Bob is so young and darling he is kind to all the old people on the block. Charlie is round shaped and green colored. Dave is fat; so he appears big and round.  Dave is also nice and kind to everyone that he meets. Big Gary is cold but kind and always green. Round, nice and young folks around here are always green. A human that's cold also means they are a human that is young. It's impossible for someone to be red, big, and cold without them also being kind. Among cold people, those who are round and kind are also rough. Color anybody red and blue, then make them rough, and they will surely be round. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Big kind people are usually cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple11 OR ((triple9 triple12) -> rule7))]
("Gary" "is" "cold" "+")
triple11
((triple9 triple12) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is not round.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "round" "-")
triple3
Gary is young.
True
2
proof
[(((triple11) -> rule2) OR ((((triple9 triple12) -> rule7)) -> rule2))]
("Gary" "is" "young" "+")
((triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not young.
False
2
inv-proof
[(((triple11) -> rule2) OR ((((triple9 triple12) -> rule7)) -> rule2))]
("Gary" "is" "young" "-")
((triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Dave is rough.
True
6
proof
[(((((triple7 triple8) -> rule7) triple5 triple7) -> rule4))]
("Dave" "is" "rough" "+")
((((triple7 triple8) -> (rule7 % int2)) triple5 triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple7 triple8) -> rule7)) -> rule2))]
("Dave" "is" "young" "-")
((((triple7 triple8) -> (rule7 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
True
7
proof
[(((triple5 triple6 ((((triple7 triple8) -> rule7)) -> rule2)) -> rule1))]
("Dave" "is" "green" "+")
((triple5 triple6 ((((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not green.
False
7
inv-proof
[(((triple5 triple6 ((((triple7 triple8) -> rule7)) -> rule2)) -> rule1))]
("Dave" "is" "green" "-")
((triple5 triple6 ((((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Charlie" "is" "young" "+")
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Dave is big.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11 OR ((triple9 triple12) -> rule7))] Gary is green.[(triple10)] Gary is kind.[(triple9)] @1: Dave is cold.[(((triple7 triple8) -> rule7))] Gary is young.[(((triple11) -> rule2) OR ((((triple9 triple12) -> rule7)) -> rule2))] @2: Dave is rough.[(((((triple7 triple8) -> rule7) triple5 triple7) -> rule4))] Dave is young.[(((((triple7 triple8) -> rule7)) -> rule2))] @3: Dave is green.[(((triple5 triple6 ((((triple7 triple8) -> rule7)) -> rule2)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple9 triple12) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple8) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple11) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple7 triple8) -> (rule7 % int2)) triple5 triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple7 triple8) -> (rule7 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple6 ((((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is so young and darling he is kind to all the old people on the block.
Charlie is round shaped and green colored.
Dave is fat; so he appears big and round; Dave is also nice and kind to everyone that he meets.
Big Gary is cold but kind and always green.
Round, nice and young folks around here are always green.
A human that's cold also means they are a human that is young.
It's impossible for someone to be red, big, and cold without them also being kind.
Among cold people, those who are round and kind are also rough.
Color anybody red and blue, then make them rough, and they will surely be round.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Big kind people are usually cold.