The bear is blue. The bear is round. The bear likes the squirrel. The bear needs the squirrel. The bear sees the squirrel. The mouse does not like the squirrel. The rabbit is cold. The rabbit likes the bear. The rabbit does not need the bear. The rabbit needs the mouse. The squirrel likes the mouse. The squirrel sees the rabbit. If someone is cold then they need the squirrel. If someone needs the bear and the bear likes the mouse then the mouse needs the rabbit. If the squirrel does not need the bear then the squirrel likes the bear. If someone sees the squirrel then the squirrel likes the mouse. If someone likes the rabbit then the rabbit needs the squirrel. If someone likes the mouse then they like the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone is cold then they need the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the bear and the bear likes the mouse then the mouse needs the rabbit.
((("someone" "needs" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("mouse" "needs" "rabbit" "+"))
If the squirrel does not need the bear then the squirrel likes the bear.
((("squirrel" "needs" "bear" "~")) -> ("squirrel" "likes" "bear" "+"))
If someone sees the squirrel then the squirrel likes the mouse.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "likes" "mouse" "+"))
If someone likes the rabbit then the rabbit needs the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone likes the mouse then they like the bear.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
The bear needs the squirrel.
True
1
proof
[(triple4)]
("bear" "needs" "squirrel" "+")
triple4
The bear does not see the squirrel.
False
1
inv-proof
[(triple5)]
("bear" "sees" "squirrel" "-")
triple5
The mouse does not need the squirrel.
Unknown
inv-rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the squirrel.[(triple4)] The bear sees the squirrel.[(triple5)] The mouse does not like the squirrel.[(triple6)] The rabbit does not need the bear.[(triple9)] The rabbit is cold.[(triple7)] The rabbit likes the bear.[(triple8)] The rabbit needs the mouse.[(triple10)] The squirrel likes the mouse.[(triple11 OR ((triple5) -> rule4))] The squirrel sees the rabbit.[(triple12)] @1: The rabbit needs the squirrel.[(((triple7) -> rule1))] The squirrel likes the bear.[(((triple11) -> rule6) OR ((((triple5) -> rule4)) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple5
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple6
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple8
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple11
((triple5) -> (rule4 % int1))
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int1
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple7) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple11) -> (rule6 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
int2