Bob loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Charlie is rough around the edges, but he's often blue and always nice. Dave is young and kind.  But he plays really rough with his friends. Eric is very nice to people, but he's also rather big. Someone who looks rough and feels cold is also kind to others. I've noticed that kind people are also big. Cold, green people have a habit of eating alot and looking quite round. Big people that have a rough demeanor usually feel blue. Young, round people seem to be big in our experience.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is nice.
True
1
proof
[(triple10)]
("Eric" "is" "nice" "+")
triple10
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Bob is kind.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple9) -> rule2))]
("Dave" "is" "big" "-")
((triple9) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
True
4
proof
[(((((triple9) -> rule2) triple8) -> rule4))]
("Dave" "is" "blue" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Bob is not big.
False
4
inv-proof
[(((((triple2 triple3) -> rule1)) -> rule2))]
("Bob" "is" "big" "-")
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
True
6
proof
[(((((((triple2 triple3) -> rule1)) -> rule2) triple2) -> rule4))]
("Bob" "is" "blue" "+")
((((((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not blue.
False
6
inv-proof
[(((((((triple2 triple3) -> rule1)) -> rule2) triple2) -> rule4))]
("Bob" "is" "blue" "-")
((((((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is cold.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Dave is kind.[(triple9)] Dave is rough.[(triple8)] Dave is young.[(triple7)] Eric is big.[(triple11)] Eric is nice.[(triple10)] @1: Bob is kind.[(((triple2 triple3) -> rule1))] Dave is big.[(((triple9) -> rule2))] @2: Bob is big.[(((((triple2 triple3) -> rule1)) -> rule2))] Dave is blue.[(((((triple9) -> rule2) triple8) -> rule4))] @3: Bob is blue.[(((((((triple2 triple3) -> rule1)) -> rule2) triple2) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple9) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple9) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((((triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Charlie is rough around the edges, but he's often blue and always nice.
Dave is young and kind; But he plays really rough with his friends.
Eric is very nice to people, but he's also rather big.
Someone who looks rough and feels cold is also kind to others.
I've noticed that kind people are also big.
Cold, green people have a habit of eating alot and looking quite round.
Big people that have a rough demeanor usually feel blue.
Young, round people seem to be big in our experience.