The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle needs the cat. The cat chases the bald eagle. The cat chases the dog. The cat chases the lion. The cat is green. The cat likes the bald eagle. The cat likes the dog. The cat likes the lion. The dog chases the lion. The lion likes the cat. If the cat needs the bald eagle then the bald eagle chases the dog. If something chases the dog and it chases the lion then it needs the lion. If something likes the lion then the lion needs the bald eagle. If something needs the bald eagle and the bald eagle likes the cat then it is green. If something chases the lion then the lion needs the bald eagle. If the cat needs the dog and the dog likes the bald eagle then the bald eagle is red.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
If the cat needs the bald eagle then the bald eagle chases the dog.
((("cat" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something chases the dog and it chases the lion then it needs the lion.
((("something" "chases" "dog" "+") ("something" "chases" "lion" "+")) -> ("something" "needs" "lion" "+"))
If something likes the lion then the lion needs the bald eagle.
((("something" "likes" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If something needs the bald eagle and the bald eagle likes the cat then it is green.
((("something" "needs" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("something" "is" "green" "+"))
If something chases the lion then the lion needs the bald eagle.
((("something" "chases" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If the cat needs the dog and the dog likes the bald eagle then the bald eagle is red.
((("cat" "needs" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
The dog chases the lion.
True
1
proof
[(triple11)]
("dog" "chases" "lion" "+")
triple11
The cat does not chase the dog.
False
1
inv-proof
[(triple5)]
("cat" "chases" "dog" "-")
triple5
The lion needs the bald eagle.
True
2
proof
[(((triple10) -> rule3) OR ((triple11) -> rule5) OR ((triple2) -> rule5) OR ((triple6) -> rule5))]
("lion" "needs" "bald eagle" "+")
((triple10) -> (rule3 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple11) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple2) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple6) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion does not need the bald eagle.
False
2
inv-proof
[(((triple10) -> rule3) OR ((triple11) -> rule5) OR ((triple2) -> rule5) OR ((triple6) -> rule5))]
("lion" "needs" "bald eagle" "-")
((triple10) -> (rule3 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple11) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple2) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple6) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the dog.[(triple5)] The cat chases the lion.[(triple6)] The cat is green.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the dog.[(triple9)] The cat likes the lion.[(triple10)] The dog chases the lion.[(triple11)] The lion likes the cat.[(triple12)] @1: The cat needs the lion.[(((triple5 triple6) -> rule2))] The lion needs the bald eagle.[(((triple10) -> rule3) OR ((triple11) -> rule5) OR ((triple2) -> rule5) OR ((triple6) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the dog.
("cat" "chases" "dog" "+")
triple5
The cat chases the lion.
("cat" "chases" "lion" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat likes the dog.
("cat" "likes" "dog" "+")
triple9
The cat likes the lion.
("cat" "likes" "lion" "+")
triple10
The dog chases the lion.
("dog" "chases" "lion" "+")
triple11
The lion likes the cat.
("lion" "likes" "cat" "+")
triple12
The cat needs the lion.
("cat" "needs" "lion" "+")
((triple5 triple6) -> (rule2 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple10) -> (rule3 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple11) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple2) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((triple6) -> (rule5 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1