The mouse sees the squirrel. The mouse visits the squirrel. The squirrel is rough. The squirrel is young. The squirrel needs the mouse. The squirrel sees the mouse. The squirrel visits the mouse. If something is kind and not rough then it needs the squirrel. If something is round and it does not need the mouse then it needs the squirrel. If something needs the squirrel and the squirrel does not need the mouse then the mouse visits the squirrel. If something needs the squirrel and it is red then the squirrel sees the mouse. If the squirrel visits the mouse then the squirrel sees the mouse. If something is red and it does not need the squirrel then it visits the squirrel. If something needs the squirrel and it is not rough then the squirrel visits the mouse. If something visits the mouse and it does not need the squirrel then the squirrel visits the mouse.
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something is kind and not rough then it needs the squirrel.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "needs" "squirrel" "+"))
If something is round and it does not need the mouse then it needs the squirrel.
((("something" "is" "round" "+") ("something" "needs" "mouse" "~")) -> ("something" "needs" "squirrel" "+"))
If something needs the squirrel and the squirrel does not need the mouse then the mouse visits the squirrel.
((("something" "needs" "squirrel" "+") ("squirrel" "needs" "mouse" "~")) -> ("mouse" "visits" "squirrel" "+"))
If something needs the squirrel and it is red then the squirrel sees the mouse.
((("something" "needs" "squirrel" "+") ("something" "is" "red" "+")) -> ("squirrel" "sees" "mouse" "+"))
If the squirrel visits the mouse then the squirrel sees the mouse.
((("squirrel" "visits" "mouse" "+")) -> ("squirrel" "sees" "mouse" "+"))
If something is red and it does not need the squirrel then it visits the squirrel.
((("something" "is" "red" "+") ("something" "needs" "squirrel" "~")) -> ("something" "visits" "squirrel" "+"))
If something needs the squirrel and it is not rough then the squirrel visits the mouse.
((("something" "needs" "squirrel" "+") ("something" "is" "rough" "~")) -> ("squirrel" "visits" "mouse" "+"))
If something visits the mouse and it does not need the squirrel then the squirrel visits the mouse.
((("something" "visits" "mouse" "+") ("something" "needs" "squirrel" "~")) -> ("squirrel" "visits" "mouse" "+"))
The squirrel needs the mouse.
True
1
proof
[(triple5)]
("squirrel" "needs" "mouse" "+")
triple5
The mouse does not visit the squirrel.
False
1
inv-proof
[(triple2)]
("mouse" "visits" "squirrel" "-")
triple2
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The mouse sees the squirrel.[(triple1)] The mouse visits the squirrel.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is young.[(triple4)] The squirrel needs the mouse.[(triple5)] The squirrel sees the mouse.[(triple6 OR ((triple7) -> rule5))] The squirrel visits the mouse.[(triple7)]
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple1
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple5
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple6
((triple7) -> (rule5 % int1))
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
int1
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7