The mouse chases the squirrel. The mouse is cold. The mouse is not green. The mouse is kind. The mouse is red. The mouse is round. The mouse does not see the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is not cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel sees the mouse. The squirrel does not visit the mouse. If someone is round and they chase the mouse then they do not visit the squirrel.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
If someone is round and they chase the mouse then they do not visit the squirrel.
((("someone" "is" "round" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "visits" "squirrel" "-"))
The squirrel is not cold.
True
1
proof
[(triple10)]
("squirrel" "is" "cold" "-")
triple10
The squirrel is not round.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "round" "-")
triple14
The squirrel does not visit the squirrel.
True
3
proof
[(((triple14 triple9) -> rule1))]
("squirrel" "visits" "squirrel" "-")
((triple14 triple9) -> (rule1 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The squirrel visits the squirrel.
False
3
inv-proof
[(((triple14 triple9) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple14 triple9) -> (rule1 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse does not see the squirrel.[(triple7)] The mouse is cold.[(triple2)] The mouse is kind.[(triple4)] The mouse is not green.[(triple3)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel does not visit the mouse.[(triple16)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is not cold.[(triple10)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The squirrel does not visit the squirrel.[(((triple14 triple9) -> rule1))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is not green.
("mouse" "is" "green" "-")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
triple16
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
((triple14 triple9) -> (rule1 % int1))
The squirrel does not visit the squirrel.
("squirrel" "visits" "squirrel" "-")
int1