Alan, like all young people, is nice. Bob is colored blue and red. He is also kind and cold to the touch. Young Dave is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Young Fred is wearing green pants. A rough person who is young and nice is also red. If someone is colored red but is cold, they tend to show a lot of green. When anyone is young, red and green, you know they'll also be blue. Young,cold and blue people are mostly round. People who are described as young, green, and big are often considered rough. It's just a fact that a blue person is a kind person.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Fred is not green.
False
1
inv-proof
[(triple12)]
("Fred" "is" "green" "-")
triple12
Bob is green.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Bob" "is" "green" "+")
((triple3 triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple8 triple10) -> rule2))]
("Dave" "is" "green" "-")
((triple8 triple10) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
True
6
proof
[(((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3))]
("Dave" "is" "blue" "+")
((triple8 triple7 ((triple8 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3))]
("Dave" "is" "blue" "-")
((triple8 triple7 ((triple8 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
True
9
proof
[(((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3) triple7 triple10) -> rule4))]
("Dave" "is" "round" "+")
((((triple8 triple7 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple7 triple10) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not round.
False
9
inv-proof
[(((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3) triple7 triple10) -> rule4))]
("Dave" "is" "round" "-")
((((triple8 triple7 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple7 triple10) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple6) -> rule6))] Bob is red.[(triple3)] Dave is cold.[(triple10)] Dave is kind.[(triple9 OR ((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3)) -> rule6))] Dave is red.[(triple8)] Dave is young.[(triple7)] Fred is green.[(triple12)] Fred is young.[(triple11)] @1: Bob is green.[(((triple3 triple5) -> rule2))] Dave is green.[(((triple8 triple10) -> rule2))] @2: Dave is blue.[(((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3))] @3: Dave is round.[(((((triple8 triple7 ((triple8 triple10) -> rule2)) -> rule3) triple7 triple10) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
((((triple8 triple7 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple12
Fred is young.
("Fred" "is" "young" "+")
triple11
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8 triple10) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 triple7 ((triple8 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple8 triple7 ((triple8 triple10) -> (rule2 % int3))) -> (rule3 % int2)) triple7 triple10) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan, like all young people, is nice.
Bob is colored blue and red; He is also kind and cold to the touch.
Young Dave is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
Young Fred is wearing green pants.
A rough person who is young and nice is also red.
If someone is colored red but is cold, they tend to show a lot of green.
When anyone is young, red and green, you know they'll also be blue.
Young,cold and blue people are mostly round.
People who are described as young, green, and big are often considered rough.
It's just a fact that a blue person is a kind person.