The bald eagle is big. The bald eagle is green. The bald eagle is not kind. The bald eagle is not rough. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse is not big. The mouse does not like the bald eagle. The mouse does not need the bald eagle. The mouse visits the bald eagle. If something needs the mouse and the mouse is young then the mouse likes the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something needs the mouse and the mouse is young then the mouse likes the bald eagle.
((("something" "needs" "mouse" "+") ("mouse" "is" "young" "+")) -> ("mouse" "likes" "bald eagle" "+"))
The mouse does not need the bald eagle.
True
1
proof
[(triple9)]
("mouse" "needs" "bald eagle" "-")
triple9
The mouse likes the bald eagle.
False
1
inv-proof
[(triple8)]
("mouse" "likes" "bald eagle" "+")
triple8
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle needs the mouse.[(triple6)] The mouse does not like the bald eagle.[(triple8)] The mouse does not need the bald eagle.[(triple9)] The mouse is not big.[(triple7)] The mouse visits the bald eagle.[(triple10)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple6
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
triple8
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple9
The mouse is not big.
("mouse" "is" "big" "-")
triple7
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10