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