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