The mouse chases the tiger. The squirrel eats the mouse. The tiger does not chase the mouse. If something is red then it does not chase the squirrel.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
If something is red then it does not chase the squirrel.
((("something" "is" "red" "+")) -> ("something" "chases" "squirrel" "-"))
The squirrel eats the mouse.
True
1
proof
[(triple2)]
("squirrel" "eats" "mouse" "+")
triple2
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "mouse" "-")
triple2
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
@0: The mouse chases the tiger.[(triple1)] The squirrel eats the mouse.[(triple2)] The tiger does not chase the mouse.[(triple3)]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple2
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple3