The cat chases the squirrel. The cow is round. The cow visits the cat. The cow visits the lion. The lion is not big. The squirrel chases the cat. The squirrel chases the cow. The squirrel chases the lion. The squirrel visits the cat. The squirrel does not visit the cow. If something chases the lion and it visits the lion then it does not chase the cow.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is not big.
("lion" "is" "big" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
If something chases the lion and it visits the lion then it does not chase the cow.
((("something" "chases" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "chases" "cow" "-"))
The squirrel chases the lion.
True
1
proof
[(triple8)]
("squirrel" "chases" "lion" "+")
triple8
The squirrel does not visit the cat.
False
1
inv-proof
[(triple9)]
("squirrel" "visits" "cat" "-")
triple9
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cat chases the squirrel.[(triple1)] The cow is round.[(triple2)] The cow visits the cat.[(triple3)] The cow visits the lion.[(triple4)] The lion is not big.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the cow.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel does not visit the cow.[(triple10)] The squirrel visits the cat.[(triple9)]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The cow visits the lion.
("cow" "visits" "lion" "+")
triple4
The lion is not big.
("lion" "is" "big" "-")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple7
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple8
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9