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