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