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