The bear chases the lion. The lion needs the bear. The tiger is blue. If something chases the bear and it chases the lion then the lion chases the tiger.
The bear chases the lion.
("bear" "chases" "lion" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If something chases the bear and it chases the lion then the lion chases the tiger.
((("something" "chases" "bear" "+") ("something" "chases" "lion" "+")) -> ("lion" "chases" "tiger" "+"))
The lion needs the bear.
True
1
proof
[(triple2)]
("lion" "needs" "bear" "+")
triple2
The tiger is not blue.
False
1
inv-proof
[(triple3)]
("tiger" "is" "blue" "-")
triple3
The lion does not chase the tiger.
Unknown
inv-rconc
[@1: The lion chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "tiger" "-")
The bear needs the tiger.
Unknown
random
[@0: The bear needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "tiger" "+")
@0: The bear chases the lion.[(triple1)] The lion needs the bear.[(triple2)] The tiger is blue.[(triple3)]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The lion needs the bear.
("lion" "needs" "bear" "+")
triple2
The tiger is blue.
("tiger" "is" "blue" "+")
triple3