The bald eagle is rough. The bald eagle is round. The bald eagle needs the bear. The bald eagle visits the bear. The bear needs the cat. The bear visits the lion. The cat chases the bald eagle. The cat is round. The cat needs the bald eagle. The lion needs the bear. The lion visits the bald eagle. The lion visits the bear. If someone needs the lion then the lion is not round. If the lion is green then the lion does not chase the cat. If someone visits the bear and the bear visits the bald eagle then the bald eagle is round.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone needs the lion then the lion is not round.
((("someone" "needs" "lion" "+")) -> ("lion" "is" "round" "-"))
If the lion is green then the lion does not chase the cat.
((("lion" "is" "green" "+")) -> ("lion" "chases" "cat" "-"))
If someone visits the bear and the bear visits the bald eagle then the bald eagle is round.
((("someone" "visits" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The lion needs the bear.
True
1
proof
[(triple10)]
("lion" "needs" "bear" "+")
triple10
The bear does not visit the lion.
False
1
inv-proof
[(triple6)]
("bear" "visits" "lion" "-")
triple6
The lion does not chase the cat.
Unknown
inv-random
[@0: The lion chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cat" "-")
The bear chases the cat.
Unknown
random
[@0: The bear chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cat" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear needs the cat.[(triple5)] The bear visits the lion.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat is round.[(triple8)] The cat needs the bald eagle.[(triple9)] The lion needs the bear.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the bear.[(triple12)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The bear visits the lion.
("bear" "visits" "lion" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
The lion needs the bear.
("lion" "needs" "bear" "+")
triple10
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple11
The lion visits the bear.
("lion" "visits" "bear" "+")
triple12