The bear needs the squirrel. The lion needs the rabbit. The rabbit needs the bear. The squirrel likes the bear. If someone needs the squirrel then they eat the lion.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone needs the squirrel then they eat the lion.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "lion" "+"))
The squirrel likes the bear.
True
1
proof
[(triple4)]
("squirrel" "likes" "bear" "+")
triple4
The rabbit does not need the bear.
False
1
inv-proof
[(triple3)]
("rabbit" "needs" "bear" "-")
triple3
The bear eats the lion.
True
2
proof
[(((triple1) -> rule1))]
("bear" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "eats" "lion" "-")
((triple1) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The rabbit does not eat the lion.
Unknown
inv-rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "lion" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
@0: The bear needs the squirrel.[(triple1)] The lion needs the rabbit.[(triple2)] The rabbit needs the bear.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear eats the lion.[(((triple1) -> rule1))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple4
The bear eats the lion.
("bear" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1