The bear eats the rabbit. The bear eats the squirrel. The bear is cold. The bear is rough. The bear needs the lion. The lion is round. The lion needs the bear. The lion needs the rabbit. The rabbit eats the squirrel. The rabbit is cold. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit needs the bear. The rabbit needs the squirrel. The squirrel eats the bear. The squirrel eats the lion. If someone is rough then they need the squirrel.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If someone is rough then they need the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "+"))
The bear eats the rabbit.
True
1
proof
[(triple1)]
("bear" "eats" "rabbit" "+")
triple1
The rabbit does not need the squirrel.
False
1
inv-proof
[(triple14)]
("rabbit" "needs" "squirrel" "-")
triple14
The lion does not need the squirrel.
Unknown
inv-rconc
[@1: The lion needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "squirrel" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear needs the lion.[(triple5)] The lion is round.[(triple6)] The lion needs the bear.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is cold.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit likes the squirrel.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel eats the bear.[(triple15)] The squirrel eats the lion.[(triple16)] @1: The bear needs the squirrel.[(((triple4) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple8
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple14
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple15
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple16
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple4) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1