The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel visits the rabbit. If something is rough then it eats the squirrel. If the squirrel chases the rabbit and the rabbit is blue then the squirrel is young.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is rough then it eats the squirrel.
((("something" "is" "rough" "+")) -> ("something" "eats" "squirrel" "+"))
If the squirrel chases the rabbit and the rabbit is blue then the squirrel is young.
((("squirrel" "chases" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("squirrel" "is" "young" "+"))
The rabbit is big.
True
1
proof
[(triple3)]
("rabbit" "is" "big" "+")
triple3
The rabbit does not visit the squirrel.
False
1
inv-proof
[(triple8)]
("rabbit" "visits" "squirrel" "-")
triple8
The squirrel eats the squirrel.
True
2
proof
[(((triple14) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple14) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
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 rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple6) -> rule1))] The rabbit is big.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is young.[(triple15 OR ((triple9 triple4) -> rule2))] The squirrel visits the rabbit.[(triple16)] @1: The squirrel eats the squirrel.[(((triple14) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
((triple6) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
((triple9 triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple14) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1