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