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