Bob wears all blue. Dave is young and big in stature.  He is cold but nice. Others enjoy Eric's company because he is so nice and kind. Even though he's young and green, Gary is rough. When you meet someone round, blue and nice they are as a rule rough. Round people who feel rough also always feel cold,. Young round folks who are at least a bit red are actually nice. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Big and cold people are likely to be round, too. If a nice person is round shaped, they feel blue about it. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Dave is not big.
False
1
inv-proof
[(triple5)]
("Dave" "is" "big" "-")
triple5
Dave is round.
True
3
proof
[(((triple5 triple4) -> rule5))]
("Dave" "is" "round" "+")
((triple5 triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule5))]
("Dave" "is" "round" "-")
((triple5 triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
True
5
proof
[(((triple3 ((triple5 triple4) -> rule5)) -> rule6))]
("Dave" "is" "blue" "+")
((triple3 ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not blue.
False
5
inv-proof
[(((triple3 ((triple5 triple4) -> rule5)) -> rule6))]
("Dave" "is" "blue" "-")
((triple3 ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
True
10
proof
[(((((triple3 ((triple5 triple4) -> rule5)) -> rule6) triple3 ((triple5 triple4) -> rule5)) -> rule1))]
("Dave" "is" "rough" "+")
((((triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not rough.
False
10
inv-proof
[(((((triple3 ((triple5 triple4) -> rule5)) -> rule6) triple3 ((triple5 triple4) -> rule5)) -> rule1))]
("Dave" "is" "rough" "-")
((((triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "green" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is blue.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is young.[(triple2)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Gary is green.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Dave is round.[(((triple5 triple4) -> rule5))] @2: Dave is blue.[(((triple3 ((triple5 triple4) -> rule5)) -> rule6))] @3: Dave is rough.[(((((triple3 ((triple5 triple4) -> rule5)) -> rule6) triple3 ((triple5 triple4) -> rule5)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 ((triple5 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule6 % int2)) triple3 ((triple5 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob wears all blue.
Dave is young and big in stature; He is cold but nice.
Others enjoy Eric's company because he is so nice and kind.
Even though he's young and green, Gary is rough.
When you meet someone round, blue and nice they are as a rule rough.
Round people who feel rough also always feel cold,.
Young round folks who are at least a bit red are actually nice.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
Big and cold people are likely to be round, too.
If a nice person is round shaped, they feel blue about it.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.