The bear chases the cow. The bear needs the cow. The bear needs the tiger. The cow needs the bear. The tiger chases the cow. The tiger eats the bear. The tiger needs the bear. If the cow chases the tiger then the tiger needs the cow. If someone needs the bear and they need the tiger then the bear needs the tiger. If someone is rough and they need the bear then the bear is red.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If the cow chases the tiger then the tiger needs the cow.
((("cow" "chases" "tiger" "+")) -> ("tiger" "needs" "cow" "+"))
If someone needs the bear and they need the tiger then the bear needs the tiger.
((("someone" "needs" "bear" "+") ("someone" "needs" "tiger" "+")) -> ("bear" "needs" "tiger" "+"))
If someone is rough and they need the bear then the bear is red.
((("someone" "is" "rough" "+") ("someone" "needs" "bear" "+")) -> ("bear" "is" "red" "+"))
The bear needs the cow.
True
1
proof
[(triple2)]
("bear" "needs" "cow" "+")
triple2
The tiger does not chase the cow.
False
1
inv-proof
[(triple5)]
("tiger" "chases" "cow" "-")
triple5
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "red" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear needs the cow.[(triple2)] The bear needs the tiger.[(triple3)] The cow needs the bear.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the bear.[(triple6)] The tiger needs the bear.[(triple7)]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The cow needs the bear.
("cow" "needs" "bear" "+")
triple4
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple5
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple6
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple7