The bear eats the lion. The dog needs the bear. The lion is cold. The lion needs the bear. The squirrel chases the bear. The squirrel is big. The squirrel needs the bear. If the squirrel chases the lion then the squirrel eats the dog. If something eats the bear then it needs the dog. If the squirrel needs the dog and the squirrel chases the lion then the dog eats the squirrel. If something is big then it chases the lion. If something chases the lion then the lion eats the bear. If something chases the squirrel then it chases the bear.
The squirrel does not chase the lion.
@0: The bear eats the lion.[(triple1)] The dog needs the bear.[(triple2)] The lion is cold.[(triple3)] The lion needs the bear.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel is big.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The squirrel chases the lion.[(((triple6) -> rule4))] @2: The lion eats the bear.[(((((triple6) -> rule4)) -> rule5))] The squirrel eats the dog.[(((((triple6) -> rule4)) -> rule1))] @3: The lion needs the dog.[(((((((triple6) -> rule4)) -> rule5)) -> rule2))]