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