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