The cat chases the mouse. The cat eats the cow. The cat is blue. The cat sees the mouse. The cat sees the squirrel. The cow chases the mouse. The mouse chases the cow. The mouse eats the cow. The squirrel chases the mouse. The squirrel is blue. The squirrel is red. The squirrel sees the mouse. If someone chases the cat and the cat is nice then the cat sees the mouse.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone chases the cat and the cat is nice then the cat sees the mouse.
((("someone" "chases" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "sees" "mouse" "+"))
The cat chases the mouse.
True
1
proof
[(triple1)]
("cat" "chases" "mouse" "+")
triple1
The cat does not eat the cow.
False
1
inv-proof
[(triple2)]
("cat" "eats" "cow" "-")
triple2
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
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 mouse.[(triple1)] The cat eats the cow.[(triple2)] The cat is blue.[(triple3)] The cat sees the mouse.[(triple4)] The cat sees the squirrel.[(triple5)] The cow chases the mouse.[(triple6)] The mouse chases the cow.[(triple7)] The mouse eats the cow.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is red.[(triple11)] The squirrel sees the mouse.[(triple12)]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple6
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple7
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple12