The bald eagle chases the lion. The bald eagle is blue. The bald eagle does not visit the lion. The lion is blue. The lion needs the rabbit. The lion visits the rabbit. The mouse chases the bald eagle. The mouse is kind. The mouse is round. The mouse needs the rabbit. The mouse visits the lion. The rabbit chases the bald eagle. The rabbit is big. The rabbit visits the bald eagle. The rabbit visits the lion. If someone chases the mouse then the mouse chases the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone chases the mouse then the mouse chases the bald eagle.
((("someone" "chases" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
The bald eagle does not visit the lion.
True
1
proof
[(triple3)]
("bald eagle" "visits" "lion" "-")
triple3
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple7)]
("mouse" "chases" "bald eagle" "-")
triple7
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle chases the rabbit.
Unknown
random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not visit the lion.[(triple3)] The bald eagle is blue.[(triple2)] The lion is blue.[(triple4)] The lion needs the rabbit.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is kind.[(triple8)] The mouse is round.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse visits the lion.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit is big.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the lion.[(triple15)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple10
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple11
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple12
The rabbit is big.
("rabbit" "is" "big" "+")
triple13
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple14
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15