The bear needs the tiger. The lion eats the bear. The squirrel is rough. The tiger needs the lion. If someone is cold then they chase the tiger. If someone is rough then they eat the tiger. If someone is round then they chase the bear. If the bear chases the lion then the bear needs the lion. If someone eats the tiger and the tiger eats the squirrel then the tiger is young. If the tiger is big and the tiger chases the lion then the tiger needs the bear. If someone is young and they chase the lion then the lion is rough. If someone is round then they eat the squirrel.
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone is cold then they chase the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is rough then they eat the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is round then they chase the bear.
((("someone" "is" "round" "+")) -> ("someone" "chases" "bear" "+"))
If the bear chases the lion then the bear needs the lion.
((("bear" "chases" "lion" "+")) -> ("bear" "needs" "lion" "+"))
If someone eats the tiger and the tiger eats the squirrel then the tiger is young.
((("someone" "eats" "tiger" "+") ("tiger" "eats" "squirrel" "+")) -> ("tiger" "is" "young" "+"))
If the tiger is big and the tiger chases the lion then the tiger needs the bear.
((("tiger" "is" "big" "+") ("tiger" "chases" "lion" "+")) -> ("tiger" "needs" "bear" "+"))
If someone is young and they chase the lion then the lion is rough.
((("someone" "is" "young" "+") ("someone" "chases" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone is round then they eat the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
The lion eats the bear.
True
1
proof
[(triple2)]
("lion" "eats" "bear" "+")
triple2
The tiger does not need the lion.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "lion" "-")
triple4
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
@0: The bear needs the tiger.[(triple1)] The lion eats the bear.[(triple2)] The squirrel is rough.[(triple3)] The tiger needs the lion.[(triple4)] @1: The squirrel eats the tiger.[(((triple3) -> rule2))]
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple1
The lion eats the bear.
("lion" "eats" "bear" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple4
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple3) -> (rule2 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1