The mouse eats the squirrel. The mouse is blue. The mouse is cold. The mouse needs the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel does not eat the mouse. The squirrel eats the rabbit. The squirrel needs the rabbit. The squirrel sees the mouse. If something sees the squirrel and it is not cold then it needs the rabbit. If something eats the squirrel and the squirrel eats the mouse then the squirrel does not see the mouse.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something sees the squirrel and it is not cold then it needs the rabbit.
((("something" "sees" "squirrel" "+") ("something" "is" "cold" "~")) -> ("something" "needs" "rabbit" "+"))
If something eats the squirrel and the squirrel eats the mouse then the squirrel does not see the mouse.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "mouse" "+")) -> ("squirrel" "sees" "mouse" "-"))
The rabbit sees the mouse.
True
1
proof
[(triple7)]
("rabbit" "sees" "mouse" "+")
triple7
The rabbit does not see the mouse.
False
1
inv-proof
[(triple7)]
("rabbit" "sees" "mouse" "-")
triple7
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit needs the mouse.
Unknown
random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse needs the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the mouse.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel does not eat the mouse.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the mouse.[(triple12)]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple9
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple12