The bald eagle is not red. The bald eagle visits the lion. The lion visits the bald eagle. If something eats the bald eagle and it is not round then it chases the lion. If the bald eagle eats the lion and the bald eagle does not chase the lion then the bald eagle is big.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something eats the bald eagle and it is not round then it chases the lion.
((("something" "eats" "bald eagle" "+") ("something" "is" "round" "~")) -> ("something" "chases" "lion" "+"))
If the bald eagle eats the lion and the bald eagle does not chase the lion then the bald eagle is big.
((("bald eagle" "eats" "lion" "+") ("bald eagle" "chases" "lion" "~")) -> ("bald eagle" "is" "big" "+"))
The bald eagle is not red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "-")
triple1
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "lion" "-")
triple2
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The bald eagle eats the lion.
Unknown
random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "+")
@0: The bald eagle is not red.[(triple1)] The bald eagle visits the lion.[(triple2)] The lion visits the bald eagle.[(triple3)]
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple3