The mouse needs the rabbit. The rabbit eats the mouse. The rabbit eats the squirrel. The rabbit needs the mouse. The squirrel does not eat the rabbit. The squirrel is blue. The squirrel is round. The squirrel needs the rabbit. The squirrel visits the mouse. The squirrel visits the rabbit. If someone needs the squirrel and they eat the squirrel then the squirrel needs the rabbit. If someone eats the rabbit then the rabbit is red. If someone needs the mouse and they do not visit the squirrel then the squirrel visits the mouse. Nice people are not round. If someone is blue then they eat the mouse. If the rabbit is big and the squirrel does not need the rabbit then the squirrel is blue.
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone needs the squirrel and they eat the squirrel then the squirrel needs the rabbit.
((("someone" "needs" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If someone eats the rabbit then the rabbit is red.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone needs the mouse and they do not visit the squirrel then the squirrel visits the mouse.
((("someone" "needs" "mouse" "+") ("someone" "visits" "squirrel" "~")) -> ("squirrel" "visits" "mouse" "+"))
Nice people are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
If someone is blue then they eat the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "mouse" "+"))
If the rabbit is big and the squirrel does not need the rabbit then the squirrel is blue.
((("rabbit" "is" "big" "+") ("squirrel" "needs" "rabbit" "~")) -> ("squirrel" "is" "blue" "+"))
The squirrel does not eat the rabbit.
True
1
proof
[(triple5)]
("squirrel" "eats" "rabbit" "-")
triple5
The squirrel is not blue.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "blue" "-")
triple6
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "red" "-")
The mouse visits the rabbit.
Unknown
random
[@0: The mouse visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "rabbit" "+")
@0: The mouse needs the rabbit.[(triple1)] The rabbit eats the mouse.[(triple2)] The rabbit eats the squirrel.[(triple3)] The rabbit needs the mouse.[(triple4)] The squirrel does not eat the rabbit.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is round.[(triple7)] The squirrel needs the rabbit.[(triple8)] The squirrel visits the mouse.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The squirrel eats the mouse.[(((triple6) -> rule5))]
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple3
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple4
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple8
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple6) -> (rule5 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1