The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle does not like the cow. The bald eagle does not like the mouse. The cow chases the dog. The cow eats the dog. The cow is not rough. The cow likes the mouse. The dog is red. The mouse chases the dog. The mouse is big. The mouse likes the cow. If someone likes the cow and they are not rough then the cow eats the dog. If someone is rough and they like the cow then they do not eat the cow.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The dog is red.
("dog" "is" "red" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
If someone likes the cow and they are not rough then the cow eats the dog.
((("someone" "likes" "cow" "+") ("someone" "is" "rough" "~")) -> ("cow" "eats" "dog" "+"))
If someone is rough and they like the cow then they do not eat the cow.
((("someone" "is" "rough" "+") ("someone" "likes" "cow" "+")) -> ("someone" "eats" "cow" "-"))
The mouse likes the cow.
True
1
proof
[(triple12)]
("mouse" "likes" "cow" "+")
triple12
The cow is rough.
False
1
inv-proof
[(triple7)]
("cow" "is" "rough" "+")
triple7
The mouse does not chase the cow.
Unknown
inv-random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle does not like the cow.[(triple3)] The bald eagle does not like the mouse.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle eats the dog.[(triple2)] The cow chases the dog.[(triple5)] The cow eats the dog.[(triple6)] The cow is not rough.[(triple7)] The cow likes the mouse.[(triple8)] The dog is red.[(triple9)] The mouse chases the dog.[(triple10)] The mouse is big.[(triple11)] The mouse likes the cow.[(triple12)]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple3
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple4
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow eats the dog.
("cow" "eats" "dog" "+")
triple6
The cow is not rough.
("cow" "is" "rough" "-")
triple7
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple12