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