The mouse chases the squirrel. The mouse is big. The mouse is green. The mouse is kind. The mouse is nice. The mouse is not round. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the mouse. The squirrel visits the mouse. If someone is big then they chase the squirrel.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone is big then they chase the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "chases" "squirrel" "+"))
The mouse is big.
True
1
proof
[(triple2)]
("mouse" "is" "big" "+")
triple2
The mouse does not visit the squirrel.
False
1
inv-proof
[(triple8)]
("mouse" "visits" "squirrel" "-")
triple8
The squirrel chases the squirrel.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "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 likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1 OR ((triple2) -> rule1))] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The mouse is not round.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel chases the squirrel.[(((triple10) -> rule1))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
((triple2) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is not round.
("mouse" "is" "round" "-")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1