The mouse eats the squirrel. The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel visits the mouse. If the mouse visits the squirrel then the squirrel eats the mouse. If someone is red then they visit the squirrel. If the squirrel is round and the squirrel likes the mouse then the mouse is round. If someone is round and they visit the mouse then the mouse visits the squirrel. If someone visits the mouse and the mouse visits the squirrel then the mouse likes the squirrel. If someone likes the squirrel and the squirrel is red then they visit the squirrel.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the mouse visits the squirrel then the squirrel eats the mouse.
((("mouse" "visits" "squirrel" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone is red then they visit the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "visits" "squirrel" "+"))
If the squirrel is round and the squirrel likes the mouse then the mouse is round.
((("squirrel" "is" "round" "+") ("squirrel" "likes" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If someone is round and they visit the mouse then the mouse visits the squirrel.
((("someone" "is" "round" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "visits" "squirrel" "+"))
If someone visits the mouse and the mouse visits the squirrel then the mouse likes the squirrel.
((("someone" "visits" "mouse" "+") ("mouse" "visits" "squirrel" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel is red then they visit the squirrel.
((("someone" "likes" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("someone" "visits" "squirrel" "+"))
The squirrel visits the mouse.
True
1
proof
[(triple16)]
("squirrel" "visits" "mouse" "+")
triple16
The mouse is not round.
False
1
inv-proof
[(triple5 OR ((triple13 triple15) -> rule3))]
("mouse" "is" "round" "-")
triple5
((triple13 triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5 OR ((triple13 triple15) -> rule3))] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7 OR ((triple16 triple8) -> rule5) OR ((triple16 ((triple4) -> rule2)) -> rule5) OR ((triple16 ((triple13 triple16) -> rule4)) -> rule5))] The mouse visits the squirrel.[(triple8 OR ((triple4) -> rule2) OR ((triple13 triple16) -> rule4) OR ((triple7 triple12) -> rule6))] The squirrel eats the mouse.[(triple9 OR ((triple8) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple13 triple16) -> rule4)) -> rule1) OR ((((triple7 triple12) -> rule6)) -> rule1))] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel visits the squirrel.[(((triple12) -> rule2))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5
((triple13 triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple7
((triple16 triple8) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
((triple16 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
((triple16 ((triple13 triple16) -> (rule4 % int2))) -> (rule5 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
((triple4) -> (rule2 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
((triple13 triple16) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
((triple7 triple12) -> (rule6 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
((triple8) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
((((triple13 triple16) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
((((triple7 triple12) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple12) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1