The cat visits the squirrel. The mouse eats the squirrel. The squirrel visits the cat. If someone chases the mouse and the mouse chases the squirrel then the squirrel visits the mouse. If someone eats the mouse then they visit the cat. If the cat visits the mouse and the mouse chases the cat then the mouse visits the cat. If someone eats the squirrel and they eat the cat then the cat chases the squirrel. If the mouse eats the cat then the mouse is blue. If someone eats the cat then the cat is not blue. If someone eats the mouse then they visit the mouse. If someone visits the cat and the cat visits the squirrel then they eat the squirrel.
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone chases the mouse and the mouse chases the squirrel then the squirrel visits the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "chases" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone eats the mouse then they visit the cat.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "cat" "+"))
If the cat visits the mouse and the mouse chases the cat then the mouse visits the cat.
((("cat" "visits" "mouse" "+") ("mouse" "chases" "cat" "+")) -> ("mouse" "visits" "cat" "+"))
If someone eats the squirrel and they eat the cat then the cat chases the squirrel.
((("someone" "eats" "squirrel" "+") ("someone" "eats" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If the mouse eats the cat then the mouse is blue.
((("mouse" "eats" "cat" "+")) -> ("mouse" "is" "blue" "+"))
If someone eats the cat then the cat is not blue.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "blue" "-"))
If someone eats the mouse then they visit the mouse.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
If someone visits the cat and the cat visits the squirrel then they eat the squirrel.
((("someone" "visits" "cat" "+") ("cat" "visits" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel visits the cat.
True
1
proof
[(triple3)]
("squirrel" "visits" "cat" "+")
triple3
The squirrel does not visit the cat.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "cat" "-")
triple3
The squirrel eats the squirrel.
True
3
proof
[(((triple3 triple1) -> rule8))]
("squirrel" "eats" "squirrel" "+")
((triple3 triple1) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
3
inv-proof
[(((triple3 triple1) -> rule8))]
("squirrel" "eats" "squirrel" "-")
((triple3 triple1) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "blue" "-")
The squirrel visits the mouse.
Unknown
rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "mouse" "+")
The cat does not chase the mouse.
Unknown
inv-random
[@0: The cat chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "mouse" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat visits the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The squirrel visits the cat.[(triple3)] @1: The squirrel eats the squirrel.[(((triple3 triple1) -> rule8))]
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple3 triple1) -> (rule8 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1