The cow is big. The cow is blue. The cow likes the squirrel. The cow needs the squirrel. The squirrel is kind. The squirrel likes the cow. The squirrel needs the cow. If something likes the squirrel and it eats the squirrel then it needs the cow. If something likes the cow and the cow is big then the cow eats the squirrel.
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something likes the squirrel and it eats the squirrel then it needs the cow.
((("something" "likes" "squirrel" "+") ("something" "eats" "squirrel" "+")) -> ("something" "needs" "cow" "+"))
If something likes the cow and the cow is big then the cow eats the squirrel.
((("something" "likes" "cow" "+") ("cow" "is" "big" "+")) -> ("cow" "eats" "squirrel" "+"))
The squirrel needs the cow.
True
1
proof
[(triple7)]
("squirrel" "needs" "cow" "+")
triple7
The cow is not blue.
False
1
inv-proof
[(triple2)]
("cow" "is" "blue" "-")
triple2
The cow eats the squirrel.
True
3
proof
[(((triple6 triple1) -> rule2))]
("cow" "eats" "squirrel" "+")
((triple6 triple1) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow does not eat the squirrel.
False
3
inv-proof
[(((triple6 triple1) -> rule2))]
("cow" "eats" "squirrel" "-")
((triple6 triple1) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow needs the cow.
True
5
proof
[(((triple3 ((triple6 triple1) -> rule2)) -> rule1))]
("cow" "needs" "cow" "+")
((triple3 ((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2
The cow does not need the cow.
False
5
inv-proof
[(((triple3 ((triple6 triple1) -> rule2)) -> rule1))]
("cow" "needs" "cow" "-")
((triple3 ((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
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 squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the squirrel.[(triple4)] The squirrel is kind.[(triple5)] The squirrel likes the cow.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow eats the squirrel.[(((triple6 triple1) -> rule2))] @2: The cow needs the cow.[(((triple3 ((triple6 triple1) -> rule2)) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((triple6 triple1) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple3 ((triple6 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int2