The lion does not eat the rabbit. The lion is kind. The lion is red. The lion is young. The lion needs the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is not kind. The rabbit does not see the lion. If someone needs the lion and they do not see the lion then the lion needs the rabbit. If someone needs the lion and they are not cold then they eat the lion.
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
If someone needs the lion and they do not see the lion then the lion needs the rabbit.
((("someone" "needs" "lion" "+") ("someone" "sees" "lion" "~")) -> ("lion" "needs" "rabbit" "+"))
If someone needs the lion and they are not cold then they eat the lion.
((("someone" "needs" "lion" "+") ("someone" "is" "cold" "~")) -> ("someone" "eats" "lion" "+"))
The lion sees the rabbit.
True
1
proof
[(triple6)]
("lion" "sees" "rabbit" "+")
triple6
The rabbit is not blue.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "blue" "-")
triple8
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The lion does not eat the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion needs the rabbit.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit does not see the lion.[(triple10)] The rabbit eats the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is not kind.[(triple9)]
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is red.
("lion" "is" "red" "+")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The rabbit does not see the lion.
("rabbit" "sees" "lion" "-")
triple10
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple9