The bear is round. The rabbit is big. The squirrel chases the bear. The tiger needs the squirrel. If something chases the rabbit then it needs the bear. If something is round then it likes the squirrel. If something likes the tiger and the tiger likes the bear then the bear is young. If the rabbit is young and the rabbit needs the bear then the rabbit chases the tiger. If something needs the tiger and the tiger needs the rabbit then the tiger chases the rabbit. If something is round and kind then it chases the tiger. If something chases the rabbit and the rabbit chases the squirrel then it is kind. If something likes the squirrel then the squirrel is round.
The squirrel does not need the rabbit.
@0: The bear is round.[(triple1)] The rabbit is big.[(triple2)] The squirrel chases the bear.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The bear likes the squirrel.[(((triple1) -> rule2))] @2: The squirrel is round.[(((((triple1) -> rule2)) -> rule8))] @3: The squirrel likes the squirrel.[(((((((triple1) -> rule2)) -> rule8)) -> rule2))]