The bear needs the lion. The lion chases the bear. The lion eats the bear. The lion is not cold. The lion is round. The lion is young. The lion needs the bear. If someone is young then they are blue. If someone needs the bear and the bear is round then they eat the bear.
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the bear and the bear is round then they eat the bear.
((("someone" "needs" "bear" "+") ("bear" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
The lion eats the bear.
True
1
proof
[(triple3)]
("lion" "eats" "bear" "+")
triple3
The lion does not chase the bear.
False
1
inv-proof
[(triple2)]
("lion" "chases" "bear" "-")
triple2
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear needs the lion.[(triple1)] The lion chases the bear.[(triple2)] The lion eats the bear.[(triple3)] The lion is not cold.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the bear.[(triple7)] @1: The lion is blue.[(((triple6) -> rule1))]
The bear needs the lion.
("bear" "needs" "lion" "+")
triple1
The lion chases the bear.
("lion" "chases" "bear" "+")
triple2
The lion eats the bear.
("lion" "eats" "bear" "+")
triple3
The lion is not cold.
("lion" "is" "cold" "-")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
((triple6) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1