The lion does not chase the rabbit. The lion eats the rabbit. The lion is big. The lion is not kind. The lion is nice. The lion is not red. The lion is young. The lion does not need the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is nice. The rabbit needs the lion. If something is red then it needs the lion.
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion is young.
("lion" "is" "young" "+")
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If something is red then it needs the lion.
((("something" "is" "red" "+")) -> ("something" "needs" "lion" "+"))
The lion does not need the rabbit.
True
1
proof
[(triple8)]
("lion" "needs" "rabbit" "-")
triple8
The rabbit does not chase the lion.
False
1
inv-proof
[(triple9)]
("rabbit" "chases" "lion" "-")
triple9
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The lion does not chase the rabbit.[(triple1)] The lion does not need the rabbit.[(triple8)] The lion eats the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is nice.[(triple5)] The lion is not kind.[(triple4)] The lion is not red.[(triple6)] The lion is young.[(triple7)] The rabbit chases the lion.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is nice.[(triple11)] The rabbit needs the lion.[(triple12)]
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
triple8
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not kind.
("lion" "is" "kind" "-")
triple4
The lion is not red.
("lion" "is" "red" "-")
triple6
The lion is young.
("lion" "is" "young" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple9
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple12