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