The cow eats the rabbit. The cow eats the squirrel. The cow is big. The cow is blue. The cow is red. The cow is young. The cow needs the rabbit. The cow visits the squirrel. The rabbit is red. The rabbit needs the squirrel. The squirrel eats the rabbit. The squirrel needs the cow. If someone visits the squirrel then the squirrel eats the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone visits the squirrel then the squirrel eats the cow.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
The rabbit needs the squirrel.
True
1
proof
[(triple10)]
("rabbit" "needs" "squirrel" "+")
triple10
The cow does not need the rabbit.
False
1
inv-proof
[(triple7)]
("cow" "needs" "rabbit" "-")
triple7
The squirrel eats the cow.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "eats" "cow" "+")
((triple8) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel does not eat the cow.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "eats" "cow" "-")
((triple8) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The rabbit visits the cow.
Unknown
random
[@0: The rabbit visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "cow" "+")
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 rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the squirrel.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the squirrel.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The squirrel eats the cow.[(((triple8) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple8) -> (rule1 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1