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