Big Bob is young and green. I think because he is so round, he can be cold but he has also been nice many times. Because Charlie, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Dave always goes out of his way to show that he is kind to people. A green, downhearted, and blue person with red cheeks is big. Fat, round people who are green with envy and notoriously rough. A rather round and big person will be kind, but also blue. A person that is the color red will definitely be round shaped. People who are nice and rough are looked at as kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple11)]
("Charlie" "is" "blue" "-")
triple11
Bob is rough.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Bob" "is" "rough" "+")
((triple4 triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Bob" "is" "rough" "-")
((triple4 triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
True
5
proof
[(((triple3 ((triple4 triple2) -> rule2)) -> rule5))]
("Bob" "is" "kind" "+")
((triple3 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple3 ((triple4 triple2) -> rule2)) -> rule5))]
("Bob" "is" "kind" "-")
((triple3 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
True
8
proof
[(((triple2 ((triple3 ((triple4 triple2) -> rule2)) -> rule5) triple6) -> rule3))]
("Bob" "is" "blue" "+")
((triple2 ((triple3 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((triple2 ((triple3 ((triple4 triple2) -> rule2)) -> rule5) triple6) -> rule3))]
("Bob" "is" "blue" "-")
((triple2 ((triple3 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple11)] Charlie is kind.[(triple10)] Charlie is rough.[(triple9)] Charlie is round.[(triple8)] Charlie is young.[(triple7)] Dave is kind.[(triple12)] @1: Bob is rough.[(((triple4 triple2) -> rule2))] @2: Bob is kind.[(((triple3 ((triple4 triple2) -> rule2)) -> rule5))] @3: Bob is blue.[(((triple2 ((triple3 ((triple4 triple2) -> rule2)) -> rule5) triple6) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((triple3 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Big Bob is young and green; I think because he is so round, he can be cold but he has also been nice many times.
Because Charlie, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Dave always goes out of his way to show that he is kind to people.
A green, downhearted, and blue person with red cheeks is big.
Fat, round people who are green with envy and notoriously rough.
A rather round and big person will be kind, but also blue.
A person that is the color red will definitely be round shaped.
People who are nice and rough are looked at as kind.