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