The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle needs the cat. The cat chases the dog. The dog chases the bald eagle. The dog chases the cat. The dog chases the lion. The dog needs the lion. The lion chases the bald eagle. The lion likes the bald eagle. If something is green and it chases the dog then the dog chases the lion. If something chases the lion then the lion chases the cat. If something likes the lion and it needs the cat then the cat is red. If something is red then it chases the dog. If something needs the cat and the cat likes the lion then the cat likes the bald eagle. If the dog likes the cat and the dog likes the bald eagle then the cat likes the dog. If something needs the lion and it needs the dog then it is kind. If something needs the bald eagle and the bald eagle chases the cat then the cat needs the lion.
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 dog.
("cat" "chases" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something is green and it chases the dog then the dog chases the lion.
((("something" "is" "green" "+") ("something" "chases" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If something chases the lion then the lion chases the cat.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If something likes the lion and it needs the cat then the cat is red.
((("something" "likes" "lion" "+") ("something" "needs" "cat" "+")) -> ("cat" "is" "red" "+"))
If something is red then it chases the dog.
((("something" "is" "red" "+")) -> ("something" "chases" "dog" "+"))
If something needs the cat and the cat likes the lion then the cat likes the bald eagle.
((("something" "needs" "cat" "+") ("cat" "likes" "lion" "+")) -> ("cat" "likes" "bald eagle" "+"))
If the dog likes the cat and the dog likes the bald eagle then the cat likes the dog.
((("dog" "likes" "cat" "+") ("dog" "likes" "bald eagle" "+")) -> ("cat" "likes" "dog" "+"))
If something needs the lion and it needs the dog then it is kind.
((("something" "needs" "lion" "+") ("something" "needs" "dog" "+")) -> ("something" "is" "kind" "+"))
If something needs the bald eagle and the bald eagle chases the cat then the cat needs the lion.
((("something" "needs" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("cat" "needs" "lion" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple5)]
("dog" "chases" "bald eagle" "+")
triple5
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("lion" "chases" "bald eagle" "-")
triple9
The lion chases the cat.
True
2
proof
[(((triple2) -> rule2) OR ((triple7) -> rule2))]
("lion" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
((triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion does not chase the cat.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple7) -> rule2))]
("lion" "chases" "cat" "-")
((triple2) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
((triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "dog" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
@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 dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the cat.[(triple6)] The dog chases the lion.[(triple7)] The dog needs the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion likes the bald eagle.[(triple10)] @1: The lion chases the cat.[(((triple2) -> rule2) OR ((triple7) -> rule2))]
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 dog.
("cat" "chases" "dog" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog chases the lion.
("dog" "chases" "lion" "+")
triple7
The dog needs the lion.
("dog" "needs" "lion" "+")
triple8
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The lion chases the cat.
("lion" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
((triple7) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1