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