The mouse chases the squirrel. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel needs the mouse. The squirrel visits the mouse. If someone visits the squirrel then they chase the squirrel. If someone is young and they visit the squirrel then they need the mouse.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the squirrel then they chase the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is young and they visit the squirrel then they need the mouse.
((("someone" "is" "young" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "needs" "mouse" "+"))
The mouse is kind.
True
1
proof
[(triple3)]
("mouse" "is" "kind" "+")
triple3
The squirrel is not young.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "young" "-")
triple14
The mouse needs the mouse.
True
3
proof
[(((triple6 triple8) -> rule2))]
("mouse" "needs" "mouse" "+")
((triple6 triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not need the mouse.
False
3
inv-proof
[(((triple6 triple8) -> rule2))]
("mouse" "needs" "mouse" "-")
((triple6 triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse chases the squirrel.[(triple1 OR ((triple8) -> rule1))] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The mouse needs the mouse.[(((triple6 triple8) -> rule2))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
((triple8) -> (rule1 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple6 triple8) -> (rule2 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1