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