The bear chases the rabbit. The bear chases the squirrel. The bear chases the tiger. The bear eats the squirrel. The bear is big. The bear needs the rabbit. The rabbit chases the squirrel. The squirrel chases the tiger. The tiger needs the rabbit. The tiger needs the squirrel. If something eats the tiger and it chases the tiger then the tiger eats the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something eats the tiger and it chases the tiger then the tiger eats the rabbit.
((("something" "eats" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
The bear needs the rabbit.
True
1
proof
[(triple6)]
("bear" "needs" "rabbit" "+")
triple6
The bear does not chase the tiger.
False
1
inv-proof
[(triple3)]
("bear" "chases" "tiger" "-")
triple3
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@1: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The rabbit chases the bear.
Unknown
random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "+")
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear chases the tiger.[(triple3)] The bear eats the squirrel.[(triple4)] The bear is big.[(triple5)] The bear needs the rabbit.[(triple6)] The rabbit chases the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger needs the squirrel.[(triple10)]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple9
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple10