The cat chases the squirrel. The cat is not big. The cat sees the squirrel. The squirrel chases the cat. The squirrel does not eat the cat. The squirrel is big. The squirrel is not cold. The squirrel is nice. The squirrel is not young. The squirrel sees the cat. If someone sees the cat and they eat the squirrel then the cat chases the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the cat and they eat the squirrel then the cat chases the squirrel.
((("someone" "sees" "cat" "+") ("someone" "eats" "squirrel" "+")) -> ("cat" "chases" "squirrel" "+"))
The squirrel chases the cat.
True
1
proof
[(triple4)]
("squirrel" "chases" "cat" "+")
triple4
The squirrel does not see the cat.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "cat" "-")
triple10
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The cat chases the squirrel.[(triple1)] The cat is not big.[(triple2)] The cat sees the squirrel.[(triple3)] The squirrel chases the cat.[(triple4)] The squirrel does not eat the cat.[(triple5)] The squirrel is big.[(triple6)] The squirrel is nice.[(triple8)] The squirrel is not cold.[(triple7)] The squirrel is not young.[(triple9)] The squirrel sees the cat.[(triple10)]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is not big.
("cat" "is" "big" "-")
triple2
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple3
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple4
The squirrel does not eat the cat.
("squirrel" "eats" "cat" "-")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple8
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple7
The squirrel is not young.
("squirrel" "is" "young" "-")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10