The bald eagle needs the tiger. The lion visits the tiger. The mouse does not visit the tiger. The tiger visits the bald eagle. If someone is round then they do not like the tiger.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone is round then they do not like the tiger.
((("someone" "is" "round" "+")) -> ("someone" "likes" "tiger" "-"))
The tiger visits the bald eagle.
True
1
proof
[(triple4)]
("tiger" "visits" "bald eagle" "+")
triple4
The mouse visits the tiger.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "tiger" "+")
triple3
The lion does not like the mouse.
Unknown
inv-random
[@0: The lion likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "mouse" "-")
The tiger needs the mouse.
Unknown
random
[@0: The tiger needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "mouse" "+")
@0: The bald eagle needs the tiger.[(triple1)] The lion visits the tiger.[(triple2)] The mouse does not visit the tiger.[(triple3)] The tiger visits the bald eagle.[(triple4)]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple2
The mouse does not visit the tiger.
("mouse" "visits" "tiger" "-")
triple3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple4