The bald eagle chases the lion. The lion eats the bald eagle. If the lion chases the bald eagle then the lion eats the bald eagle. If someone eats the bald eagle and they are kind then the bald eagle sees the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
If the lion chases the bald eagle then the lion eats the bald eagle.
((("lion" "chases" "bald eagle" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they are kind then the bald eagle sees the lion.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "kind" "+")) -> ("bald eagle" "sees" "lion" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple2)]
("lion" "eats" "bald eagle" "+")
triple2
The lion does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("lion" "eats" "bald eagle" "-")
triple2
The bald eagle does not see the lion.
Unknown
inv-rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "lion" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The lion eats the bald eagle.[(triple2)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple2