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