The bald eagle chases the lion. The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle is red. The dog needs the lion. The lion chases the rabbit. The lion eats the bald eagle. The lion eats the dog. The lion is big. The rabbit chases the dog. The rabbit eats the bald eagle. The rabbit needs the bald eagle. If something needs the dog and it chases the lion then it chases the dog. If something chases the lion then the lion is big.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something needs the dog and it chases the lion then it chases the dog.
((("something" "needs" "dog" "+") ("something" "chases" "lion" "+")) -> ("something" "chases" "dog" "+"))
If something chases the lion then the lion is big.
((("something" "chases" "lion" "+")) -> ("lion" "is" "big" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The dog does not need the lion.
False
1
inv-proof
[(triple5)]
("dog" "needs" "lion" "-")
triple5
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is red.[(triple4)] The dog needs the lion.[(triple5)] The lion chases the rabbit.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the dog.[(triple8)] The lion is big.[(triple9 OR ((triple1) -> rule2))] The rabbit chases the dog.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit needs the bald eagle.[(triple12)]
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 eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The dog needs the lion.
("dog" "needs" "lion" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
((triple1) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple12