The rabbit does not chase the squirrel. The rabbit is blue. The rabbit is not cold. The rabbit is round. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel is green. The squirrel is rough. The squirrel does not like the rabbit. The squirrel visits the rabbit. If someone is green and they visit the squirrel then the squirrel chases the rabbit. If someone is rough then they visit the squirrel. All rough people are round.
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is green and they visit the squirrel then the squirrel chases the rabbit.
((("someone" "is" "green" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If someone is rough then they visit the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "squirrel" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The rabbit visits the squirrel.
True
1
proof
[(triple6)]
("rabbit" "visits" "squirrel" "+")
triple6
The rabbit is cold.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "cold" "+")
triple3
The squirrel visits the squirrel.
True
2
proof
[(((triple8) -> rule2))]
("squirrel" "visits" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple8) -> rule3))]
("squirrel" "is" "round" "-")
((triple8) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel chases the rabbit.
True
4
proof
[(((triple7 ((triple8) -> rule2)) -> rule1))]
("squirrel" "chases" "rabbit" "+")
((triple7 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel does not chase the rabbit.
False
4
inv-proof
[(((triple7 ((triple8) -> rule2)) -> rule1))]
("squirrel" "chases" "rabbit" "-")
((triple7 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is not cold.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel does not like the rabbit.[(triple9)] The squirrel is green.[(triple7)] The squirrel is rough.[(triple8)] The squirrel visits the rabbit.[(triple10)] @1: The squirrel is round.[(((triple8) -> rule3))] The squirrel visits the squirrel.[(((triple8) -> rule2))] @2: The squirrel chases the rabbit.[(((triple7 ((triple8) -> rule2)) -> rule1))]
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple5
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple6
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
((triple8) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((triple7 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2