The cow is red. The cow needs the squirrel. The squirrel needs the cow. If something eats the squirrel then the squirrel does not eat the cow. If something needs the cow then the cow is big.
The cow is red.
("cow" "is" "red" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something eats the squirrel then the squirrel does not eat the cow.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "cow" "-"))
If something needs the cow then the cow is big.
((("something" "needs" "cow" "+")) -> ("cow" "is" "big" "+"))
The cow is red.
True
1
proof
[(triple1)]
("cow" "is" "red" "+")
triple1
The cow is not red.
False
1
inv-proof
[(triple1)]
("cow" "is" "red" "-")
triple1
The cow is big.
True
2
proof
[(((triple3) -> rule2))]
("cow" "is" "big" "+")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "is" "big" "-")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The cow is red.[(triple1)] The cow needs the squirrel.[(triple2)] The squirrel needs the cow.[(triple3)] @1: The cow is big.[(((triple3) -> rule2))]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
((triple3) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1