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