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