The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is round. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel needs the mouse. The squirrel visits the mouse. If the squirrel is kind and the squirrel eats the mouse then the mouse is round. If something needs the mouse and it eats the squirrel then the mouse is round. If something is cold and round then it needs the squirrel. If something eats the squirrel then it visits the squirrel. If something visits the mouse then it eats the squirrel. If something is cold and it needs the mouse then the mouse eats the 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 cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
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 cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the squirrel is kind and the squirrel eats the mouse then the mouse is round.
((("squirrel" "is" "kind" "+") ("squirrel" "eats" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If something needs the mouse and it eats the squirrel then the mouse is round.
((("something" "needs" "mouse" "+") ("something" "eats" "squirrel" "+")) -> ("mouse" "is" "round" "+"))
If something is cold and round then it needs the squirrel.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the squirrel then it visits the squirrel.
((("something" "eats" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the mouse then it eats the squirrel.
((("something" "visits" "mouse" "+")) -> ("something" "eats" "squirrel" "+"))
If something is cold and it needs the mouse then the mouse eats the squirrel.
((("something" "is" "cold" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "eats" "squirrel" "+"))
The mouse visits the squirrel.
True
1
proof
[(triple8 OR ((triple1) -> rule4) OR ((((triple12 triple15) -> rule6)) -> rule4))]
("mouse" "visits" "squirrel" "+")
triple8
((triple1) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
((((triple12 triple15) -> (rule6 % int2))) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The mouse is not kind.
False
1
inv-proof
[(triple5)]
("mouse" "is" "kind" "-")
triple5
The squirrel needs the squirrel.
True
3
proof
[(((triple12 triple14) -> rule3))]
("squirrel" "needs" "squirrel" "+")
((triple12 triple14) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple12 triple14) -> rule3))]
("squirrel" "needs" "squirrel" "-")
((triple12 triple14) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel visits the squirrel.
True
3
proof
[(((((triple16) -> rule5)) -> rule4))]
("squirrel" "visits" "squirrel" "+")
((((triple16) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((((triple16) -> rule5)) -> rule4))]
("squirrel" "visits" "squirrel" "-")
((((triple16) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The mouse eats the squirrel.[(triple1 OR ((triple12 triple15) -> rule6))] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is kind.[(triple5)] The mouse is round.[(triple6 OR ((triple13 triple9) -> rule1) OR ((triple15 ((triple16) -> rule5)) -> rule2))] The mouse needs the squirrel.[(triple7 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple13 triple9) -> rule1)) -> rule3) OR ((triple4 ((triple15 ((triple16) -> rule5)) -> rule2)) -> rule3))] The mouse visits the squirrel.[(triple8 OR ((triple1) -> rule4) OR ((((triple12 triple15) -> rule6)) -> rule4))] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16) -> rule5))] The squirrel needs the squirrel.[(((triple12 triple14) -> rule3))] @2: The squirrel visits the squirrel.[(((((triple16) -> rule5)) -> rule4))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
((triple12 triple15) -> (rule6 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The mouse is cold.
("mouse" "is" "cold" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
((triple13 triple9) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple15 ((triple16) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
((triple4 triple6) -> (rule3 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
((triple4 ((triple13 triple9) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
((triple4 ((triple15 ((triple16) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
((triple1) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
((((triple12 triple15) -> (rule6 % int2))) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple16) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple12 triple14) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple16) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2