The mouse does not see the squirrel. The squirrel is rough. The squirrel sees the mouse. If someone sees the squirrel then the squirrel does not see the mouse. If someone is big then they do not see the mouse. If someone visits the squirrel then they are not blue. If someone sees the mouse then they like the mouse. If the mouse is rough then the mouse is big. If someone sees the mouse then the mouse likes the squirrel. If someone is nice and they do not visit the squirrel then they see the squirrel. If someone visits the squirrel then they see the squirrel.
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone sees the squirrel then the squirrel does not see the mouse.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "mouse" "-"))
If someone is big then they do not see the mouse.
((("someone" "is" "big" "+")) -> ("someone" "sees" "mouse" "-"))
If someone visits the squirrel then they are not blue.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "blue" "-"))
If someone sees the mouse then they like the mouse.
((("someone" "sees" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If the mouse is rough then the mouse is big.
((("mouse" "is" "rough" "+")) -> ("mouse" "is" "big" "+"))
If someone sees the mouse then the mouse likes the squirrel.
((("someone" "sees" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone is nice and they do not visit the squirrel then they see the squirrel.
((("someone" "is" "nice" "+") ("someone" "visits" "squirrel" "~")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the squirrel then they see the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "sees" "squirrel" "+"))
The squirrel sees the mouse.
True
1
proof
[(triple3)]
("squirrel" "sees" "mouse" "+")
triple3
The mouse sees the squirrel.
False
1
inv-proof
[(triple1)]
("mouse" "sees" "squirrel" "+")
triple1
The squirrel likes the mouse.
True
2
proof
[(((triple3) -> rule4))]
("squirrel" "likes" "mouse" "+")
((triple3) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel does not like the mouse.
False
2
inv-proof
[(((triple3) -> rule4))]
("squirrel" "likes" "mouse" "-")
((triple3) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The mouse does not see the squirrel.[(triple1)] The squirrel is rough.[(triple2)] The squirrel sees the mouse.[(triple3)] @1: The mouse likes the squirrel.[(((triple3) -> rule6))] The squirrel likes the mouse.[(((triple3) -> rule4))]
The mouse does not see the squirrel.
("mouse" "sees" "squirrel" "-")
triple1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple2
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple3) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple3) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1