The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle does not need the cow. The bald eagle sees the dog. The cow chases the bald eagle. The cow chases the dog. The cow is not kind. The cow is rough. The cow does not need the dog. The dog chases the cow. The dog is blue. The dog is kind. If someone needs the dog then they do not see the bald eagle. If someone chases the bald eagle and the bald eagle is young then they do not see the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not need the dog.
("cow" "needs" "dog" "-")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
If someone needs the dog then they do not see the bald eagle.
((("someone" "needs" "dog" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone chases the bald eagle and the bald eagle is young then they do not see the cow.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("someone" "sees" "cow" "-"))
The cow does not need the dog.
True
1
proof
[(triple9)]
("cow" "needs" "dog" "-")
triple9
The bald eagle needs the cow.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cow" "+")
triple3
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle does not need the cow.[(triple3)] The bald eagle sees the dog.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the dog.[(triple6)] The cow does not need the dog.[(triple9)] The cow is not kind.[(triple7)] The cow is rough.[(triple8)] The dog chases the cow.[(triple10)] The dog is blue.[(triple11)] The dog is kind.[(triple12)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple6
The cow does not need the dog.
("cow" "needs" "dog" "-")
triple9
The cow is not kind.
("cow" "is" "kind" "-")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The dog chases the cow.
("dog" "chases" "cow" "+")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is kind.
("dog" "is" "kind" "+")
triple12