The lion is not green. The lion is not red. The lion is not young. The lion does not see the tiger. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit likes the tiger. The rabbit needs the tiger. The tiger is big. The tiger is not red. The tiger needs the lion. The tiger needs the rabbit. The tiger does not see the lion. The tiger does not see the rabbit. If someone needs the tiger then they like the tiger.
The lion is not green.
("lion" "is" "green" "-")
The lion is not red.
("lion" "is" "red" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
If someone needs the tiger then they like the tiger.
((("someone" "needs" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
The rabbit is red.
True
1
proof
[(triple7)]
("rabbit" "is" "red" "+")
triple7
The rabbit is not green.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "green" "-")
triple6
The lion does not like the tiger.
Unknown
inv-rconc
[@1: The lion likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "tiger" "-")
The lion likes the rabbit.
Unknown
random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "+")
@0: The lion does not see the tiger.[(triple4)] The lion is not green.[(triple1)] The lion is not red.[(triple2)] The lion is not young.[(triple3)] The rabbit is blue.[(triple5)] The rabbit is green.[(triple6)] The rabbit is red.[(triple7)] The rabbit likes the tiger.[(triple8 OR ((triple9) -> rule1))] The rabbit needs the tiger.[(triple9)] The tiger does not see the lion.[(triple14)] The tiger does not see the rabbit.[(triple15)] The tiger is big.[(triple10)] The tiger is not red.[(triple11)] The tiger needs the lion.[(triple12)] The tiger needs the rabbit.[(triple13)]
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple4
The lion is not green.
("lion" "is" "green" "-")
triple1
The lion is not red.
("lion" "is" "red" "-")
triple2
The lion is not young.
("lion" "is" "young" "-")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple8
((triple9) -> (rule1 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The tiger does not see the lion.
("tiger" "sees" "lion" "-")
triple14
The tiger does not see the rabbit.
("tiger" "sees" "rabbit" "-")
triple15
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is not red.
("tiger" "is" "red" "-")
triple11
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple12
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple13