The bear eats the rabbit. The bear is not blue. The bear is round. The mouse likes the bear. The rabbit is round. The rabbit sees the squirrel. The squirrel likes the bear. If someone eats the mouse then they see the mouse. If someone is red then they do not eat the squirrel. If someone likes the bear and they like the rabbit then the rabbit is not round. If someone likes the rabbit then the rabbit is red. If the mouse sees the bear then the mouse likes the rabbit. If someone likes the squirrel and the squirrel eats the mouse then the mouse is not big. If the squirrel is big then the squirrel sees the mouse. If the squirrel is round then the squirrel does not see the mouse.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is round.
("bear" "is" "round" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone eats the mouse then they see the mouse.
((("someone" "eats" "mouse" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is red then they do not eat the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "eats" "squirrel" "-"))
If someone likes the bear and they like the rabbit then the rabbit is not round.
((("someone" "likes" "bear" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "round" "-"))
If someone likes the rabbit then the rabbit is red.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If the mouse sees the bear then the mouse likes the rabbit.
((("mouse" "sees" "bear" "+")) -> ("mouse" "likes" "rabbit" "+"))
If someone likes the squirrel and the squirrel eats the mouse then the mouse is not big.
((("someone" "likes" "squirrel" "+") ("squirrel" "eats" "mouse" "+")) -> ("mouse" "is" "big" "-"))
If the squirrel is big then the squirrel sees the mouse.
((("squirrel" "is" "big" "+")) -> ("squirrel" "sees" "mouse" "+"))
If the squirrel is round then the squirrel does not see the mouse.
((("squirrel" "is" "round" "+")) -> ("squirrel" "sees" "mouse" "-"))
The bear is not blue.
True
1
proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The mouse does not like the bear.
False
1
inv-proof
[(triple4)]
("mouse" "likes" "bear" "-")
triple4
The squirrel does not see the mouse.
Unknown
inv-rconc
[@1: The squirrel sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is not blue.[(triple2)] The bear is round.[(triple3)] The mouse likes the bear.[(triple4)] The rabbit is round.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel likes the bear.[(triple7)]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple6
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple7