The mouse chases the squirrel. The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse is green. The mouse is rough. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel sees the mouse. If someone sees the mouse then they see the squirrel. If someone is red and they eat the mouse then the mouse eats the squirrel. If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. If someone eats the squirrel then they chase the mouse. If someone chases the mouse and they see the squirrel then they eat the squirrel. If someone sees the mouse then they are big.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone sees the mouse then they see the squirrel.
((("someone" "sees" "mouse" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone is red and they eat the mouse then the mouse eats the squirrel.
((("someone" "is" "red" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "squirrel" "+"))
If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse.
((("someone" "eats" "mouse" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone eats the squirrel then they chase the mouse.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the mouse and they see the squirrel then they eat the squirrel.
((("someone" "chases" "mouse" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone sees the mouse then they are big.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "big" "+"))
The mouse is rough.
True
1
proof
[(triple6)]
("mouse" "is" "rough" "+")
triple6
The mouse is not green.
False
1
inv-proof
[(triple5)]
("mouse" "is" "green" "-")
triple5
The mouse chases the mouse.
True
2
proof
[(((triple2) -> rule4) OR ((((triple13 triple9) -> rule2)) -> rule4))]
("mouse" "chases" "mouse" "+")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((((triple13 triple9) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple2) -> rule4) OR ((((triple13 triple9) -> rule2)) -> rule4))]
("mouse" "chases" "mouse" "-")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((((triple13 triple9) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel eats the squirrel.
True
4
proof
[(((triple8 ((triple15) -> rule1)) -> rule5))]
("squirrel" "eats" "squirrel" "+")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((triple8 ((triple15) -> rule1)) -> rule5))]
("squirrel" "eats" "squirrel" "-")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2 OR ((triple13 triple9) -> rule2))] The mouse is big.[(triple3)] The mouse is blue.[(triple4)] The mouse is green.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10 OR ((triple15) -> rule6))] The squirrel is blue.[(triple11)] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple2) -> rule4) OR ((((triple13 triple9) -> rule2)) -> rule4))] The squirrel sees the squirrel.[(((triple15) -> rule1))] @2: The squirrel eats the squirrel.[(((triple8 ((triple15) -> rule1)) -> rule5))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
((triple13 triple9) -> (rule2 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The mouse is green.
("mouse" "is" "green" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple7
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple8
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
((triple15) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple2) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
((((triple13 triple9) -> (rule2 % int2))) -> (rule4 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple15) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2