The bald eagle is red. The lion likes the bald eagle. The lion visits the bald eagle. If something eats the lion then the lion visits the bald eagle. If the lion is rough then the lion eats the bald eagle. If something is rough then it likes the bald eagle. If something visits the lion and the lion likes the bald eagle then the lion is blue. If something likes the lion and it visits the lion then it eats the lion. If something is nice then it likes the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something eats the lion then the lion visits the bald eagle.
((("something" "eats" "lion" "+")) -> ("lion" "visits" "bald eagle" "+"))
If the lion is rough then the lion eats the bald eagle.
((("lion" "is" "rough" "+")) -> ("lion" "eats" "bald eagle" "+"))
If something is rough then it likes the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "likes" "bald eagle" "+"))
If something visits the lion and the lion likes the bald eagle then the lion is blue.
((("something" "visits" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "is" "blue" "+"))
If something likes the lion and it visits the lion then it eats the lion.
((("something" "likes" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "eats" "lion" "+"))
If something is nice then it likes the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple3)]
("lion" "visits" "bald eagle" "+")
triple3
The bald eagle is not red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is red.[(triple1)] The lion likes the bald eagle.[(triple2)] The lion visits the bald eagle.[(triple3)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple3