The bald eagle is not big. The bald eagle is not red. The bald eagle likes the lion. The bald eagle needs the lion. The bald eagle needs the tiger. The lion is not kind. The lion visits the bald eagle. The lion visits the tiger. The tiger is big. The tiger does not like the lion. The tiger needs the bald eagle. The tiger needs the lion. Rough people are not kind.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
Rough people are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
The tiger does not like the lion.
True
1
proof
[(triple10)]
("tiger" "likes" "lion" "-")
triple10
The tiger is not big.
False
1
inv-proof
[(triple9)]
("tiger" "is" "big" "-")
triple9
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The bald eagle visits the lion.
Unknown
random
[@0: The bald eagle visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "lion" "+")
@0: The bald eagle is not big.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle needs the tiger.[(triple5)] The lion is not kind.[(triple6)] The lion visits the bald eagle.[(triple7)] The lion visits the tiger.[(triple8)] The tiger does not like the lion.[(triple10)] The tiger is big.[(triple9)] The tiger needs the bald eagle.[(triple11)] The tiger needs the lion.[(triple12)]
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple5
The lion is not kind.
("lion" "is" "kind" "-")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple7
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple8
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12