The bear is green. The bear is red. The bear needs the lion. The lion eats the tiger. The lion is cold. The lion is red. The lion does not need the tiger. The lion visits the bear. The tiger is blue. The tiger is red. If someone needs the bear and they are not blue then they are green. If someone visits the lion then they are red. If someone visits the bear then the bear eats the lion.
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone needs the bear and they are not blue then they are green.
((("someone" "needs" "bear" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
If someone visits the lion then they are red.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone visits the bear then the bear eats the lion.
((("someone" "visits" "bear" "+")) -> ("bear" "eats" "lion" "+"))
The lion visits the bear.
True
1
proof
[(triple8)]
("lion" "visits" "bear" "+")
triple8
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "green" "-")
The tiger needs the lion.
Unknown
random
[@0: The tiger needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "lion" "+")
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear needs the lion.[(triple3)] The lion does not need the tiger.[(triple7)] The lion eats the tiger.[(triple4)] The lion is cold.[(triple5)] The lion is red.[(triple6)] The lion visits the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger is red.[(triple10)] @1: The bear eats the lion.[(((triple8) -> rule3))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The lion does not need the tiger.
("lion" "needs" "tiger" "-")
triple7
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple10
The bear eats the lion.
("bear" "eats" "lion" "+")
((triple8) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1