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