The bear likes the cow. The cat is young. The cow chases the cat. If the cat eats the cow and the cow is rough then the cat does not like the bear. If someone is blue and they eat the cat then the cat does not eat the bear.
The bear likes the cow.
("bear" "likes" "cow" "+")
The cat is young.
("cat" "is" "young" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
If the cat eats the cow and the cow is rough then the cat does not like the bear.
((("cat" "eats" "cow" "+") ("cow" "is" "rough" "+")) -> ("cat" "likes" "bear" "-"))
If someone is blue and they eat the cat then the cat does not eat the bear.
((("someone" "is" "blue" "+") ("someone" "eats" "cat" "+")) -> ("cat" "eats" "bear" "-"))
The cow chases the cat.
True
1
proof
[(triple3)]
("cow" "chases" "cat" "+")
triple3
The cat is not young.
False
1
inv-proof
[(triple2)]
("cat" "is" "young" "-")
triple2
The cow does not eat the cat.
Unknown
inv-random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The bear likes the cow.[(triple1)] The cat is young.[(triple2)] The cow chases the cat.[(triple3)]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cow chases the cat.
("cow" "chases" "cat" "+")
triple3