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