The mouse eats the squirrel. The squirrel eats the mouse. The squirrel is kind. If something eats the mouse then it likes the mouse. If something chases the mouse then it chases the squirrel.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If something eats the mouse then it likes the mouse.
((("something" "eats" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If something chases the mouse then it chases the squirrel.
((("something" "chases" "mouse" "+")) -> ("something" "chases" "squirrel" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple1)]
("mouse" "eats" "squirrel" "+")
triple1
The mouse does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("mouse" "eats" "squirrel" "-")
triple1
The squirrel likes the mouse.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "likes" "mouse" "-")
((triple2) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The mouse eats the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] The squirrel is kind.[(triple3)] @1: The squirrel likes the mouse.[(((triple2) -> rule1))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1