The bald eagle is not kind. The dog visits the bald eagle. The lion chases the bald eagle. The lion is not round. The lion needs the bald eagle. The lion visits the bald eagle. The lion visits the dog. If something is cold and it needs the bald eagle then it is kind. If something chases the lion and it visits the lion then the lion is round. If something visits the bald eagle and it is cold then it visits the dog. If the bald eagle visits the dog and the bald eagle does not need the lion then the lion does not visit the bald eagle. If something chases the dog then it does not need the bald eagle. If something visits the bald eagle and it does not need the dog then the dog is not blue.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something is cold and it needs the bald eagle then it is kind.
((("something" "is" "cold" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something chases the lion and it visits the lion then the lion is round.
((("something" "chases" "lion" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "round" "+"))
If something visits the bald eagle and it is cold then it visits the dog.
((("something" "visits" "bald eagle" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "dog" "+"))
If the bald eagle visits the dog and the bald eagle does not need the lion then the lion does not visit the bald eagle.
((("bald eagle" "visits" "dog" "+") ("bald eagle" "needs" "lion" "~")) -> ("lion" "visits" "bald eagle" "-"))
If something chases the dog then it does not need the bald eagle.
((("something" "chases" "dog" "+")) -> ("something" "needs" "bald eagle" "-"))
If something visits the bald eagle and it does not need the dog then the dog is not blue.
((("something" "visits" "bald eagle" "+") ("something" "needs" "dog" "~")) -> ("dog" "is" "blue" "-"))
The lion visits the bald eagle.
True
1
proof
[(triple6)]
("lion" "visits" "bald eagle" "+")
triple6
The bald eagle is kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "+")
triple1
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "dog" "-")
The lion chases the dog.
Unknown
random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "+")
@0: The bald eagle is not kind.[(triple1)] The dog visits the bald eagle.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is not round.[(triple4)] The lion needs the bald eagle.[(triple5)] The lion visits the bald eagle.[(triple6)] The lion visits the dog.[(triple7)]
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion is not round.
("lion" "is" "round" "-")
triple4
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
The lion visits the dog.
("lion" "visits" "dog" "+")
triple7