Bob was born only a few years ago so he is young. Charlie is young and kind.  But he plays really rough with his friends. We know Dave is round and red, yet somehow he is also green, in addition to being cold, blue, and big. They always call him rough Eric. Nice blue people are often rough. I have found that if someone is kind and red, that they are quite often nice. Blue and red people are often rough. A nice and blue person who's also red will be a rough person. Someone big and rough in shape is always kind. When a person is blue, cold, and nice, they are also pretty young too.
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Dave is big.
True
1
proof
[(triple10)]
("Dave" "is" "big" "+")
triple10
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Dave is rough.
True
3
proof
[(((triple9 triple6) -> rule3))]
("Dave" "is" "rough" "+")
((triple9 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple9 triple6) -> rule3))]
("Dave" "is" "rough" "-")
((triple9 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
True
5
proof
[(((triple10 ((triple9 triple6) -> rule3)) -> rule5))]
("Dave" "is" "kind" "+")
((triple10 ((triple9 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((triple10 ((triple9 triple6) -> rule3)) -> rule5))]
("Dave" "is" "kind" "-")
((triple10 ((triple9 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
True
7
proof
[(((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2))]
("Dave" "is" "nice" "+")
((((triple10 ((triple9 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not nice.
False
7
inv-proof
[(((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2))]
("Dave" "is" "nice" "-")
((((triple10 ((triple9 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is young.
True
10
proof
[(((triple9 triple8 ((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2)) -> rule6))]
("Dave" "is" "young" "+")
((triple9 triple8 ((((triple10 ((triple9 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is not young.
False
10
inv-proof
[(((triple9 triple8 ((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2)) -> rule6))]
("Dave" "is" "young" "-")
((triple9 triple8 ((((triple10 ((triple9 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is young.[(triple1)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is round.[(triple5)] Eric is rough.[(triple11)] @1: Dave is rough.[(((triple9 triple6) -> rule3))] @2: Dave is kind.[(((triple10 ((triple9 triple6) -> rule3)) -> rule5))] @3: Dave is nice.[(((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2))] @4: Dave is young.[(((triple9 triple8 ((((triple10 ((triple9 triple6) -> rule3)) -> rule5) triple6) -> rule2)) -> rule6))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
((triple9 triple6) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple10 ((triple9 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple10 ((triple9 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple9 triple8 ((((triple10 ((triple9 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Bob was born only a few years ago so he is young.
Charlie is young and kind; But he plays really rough with his friends.
We know Dave is round and red, yet somehow he is also green, in addition to being cold, blue, and big.
They always call him rough Eric.
Nice blue people are often rough.
I have found that if someone is kind and red, that they are quite often nice.
Blue and red people are often rough.
A nice and blue person who's also red will be a rough person.
Someone big and rough in shape is always kind.
When a person is blue, cold, and nice, they are also pretty young too.