Bob is interestingly colored red and blue, and is also very kind. Charlie is blue and cold. Nice, but round, Dave has been said to be cold. If people are nice and round, they look red. Someone who is blue and cold is also big. Blue people who are rough are often young. Big people with round and somewhat red faces will have rough skin. People blue with cold are definitely green and new in these parts. People that are blue, cold, and big, are rather rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Charlie is big.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Charlie" "is" "big" "+")
((triple5 triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple5 triple4) -> rule5))]
("Charlie" "is" "green" "-")
((triple5 triple4) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
True
6
proof
[(((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "+")
((triple5 triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "rough" "-")
((triple5 triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
True
8
proof
[(((((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6) triple5) -> rule3))]
("Charlie" "is" "young" "+")
((((triple5 triple4 ((triple5 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6) triple5) -> rule3))]
("Charlie" "is" "young" "-")
((((triple5 triple4 ((triple5 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Dave is cold.[(triple8)] Dave is nice.[(triple7)] Dave is round.[(triple6)] @1: Charlie is big.[(((triple5 triple4) -> rule2))] Charlie is green.[(((triple5 triple4) -> rule5))] Dave is red.[(((triple7 triple6) -> rule1))] @2: Charlie is rough.[(((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6))] @3: Charlie is young.[(((((triple5 triple4 ((triple5 triple4) -> rule2)) -> rule6) triple5) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple4) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7 triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 triple4 ((triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple5 triple4 ((triple5 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is interestingly colored red and blue, and is also very kind.
Charlie is blue and cold.
Nice, but round, Dave has been said to be cold.
If people are nice and round, they look red.
Someone who is blue and cold is also big.
Blue people who are rough are often young.
Big people with round and somewhat red faces will have rough skin.
People blue with cold are definitely green and new in these parts.
People that are blue, cold, and big, are rather rough.