The bear eats the lion. The bear sees the dog. The dog eats the lion. The dog is cold. The dog needs the bear. The dog sees the bear. The lion needs the bear. If someone is green then they need the dog.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone is green then they need the dog.
((("someone" "is" "green" "+")) -> ("someone" "needs" "dog" "+"))
The lion needs the bear.
True
1
proof
[(triple7)]
("lion" "needs" "bear" "+")
triple7
The dog does not see the bear.
False
1
inv-proof
[(triple6)]
("dog" "sees" "bear" "-")
triple6
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bear eats the lion.[(triple1)] The bear sees the dog.[(triple2)] The dog eats the lion.[(triple3)] The dog is cold.[(triple4)] The dog needs the bear.[(triple5)] The dog sees the bear.[(triple6)] The lion needs the bear.[(triple7)]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear sees the dog.
("bear" "sees" "dog" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog needs the bear.
("dog" "needs" "bear" "+")
triple5
The dog sees the bear.
("dog" "sees" "bear" "+")
triple6
The lion needs the bear.
("lion" "needs" "bear" "+")
triple7