The bald eagle is nice. The bald eagle is rough. The bald eagle needs the lion. The bald eagle does not see the lion. The lion is nice. The lion is round. The lion is not young. The lion likes the bald eagle. The lion does not need the bald eagle. The lion sees the bald eagle. If the bald eagle sees the lion then the lion likes the bald eagle. If someone sees the lion and they do not like the bald eagle then the lion sees the bald eagle.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is not young.
("lion" "is" "young" "-")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If the bald eagle sees the lion then the lion likes the bald eagle.
((("bald eagle" "sees" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone sees the lion and they do not like the bald eagle then the lion sees the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "likes" "bald eagle" "~")) -> ("lion" "sees" "bald eagle" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple3)]
("bald eagle" "needs" "lion" "+")
triple3
The lion needs the bald eagle.
False
1
inv-proof
[(triple9)]
("lion" "needs" "bald eagle" "+")
triple9
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle does not see the lion.[(triple4)] The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the lion.[(triple3)] The lion does not need the bald eagle.[(triple9)] The lion is nice.[(triple5)] The lion is not young.[(triple7)] The lion is round.[(triple6)] The lion likes the bald eagle.[(triple8)] The lion sees the bald eagle.[(triple10)]
The bald eagle does not see the lion.
("bald eagle" "sees" "lion" "-")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The lion does not need the bald eagle.
("lion" "needs" "bald eagle" "-")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not young.
("lion" "is" "young" "-")
triple7
The lion is round.
("lion" "is" "round" "+")
triple6
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10