The lion eats the tiger. The lion is big. The squirrel eats the tiger. The squirrel is young. The tiger chases the squirrel. The tiger is big. The tiger needs the lion. If someone needs the tiger then the tiger eats the squirrel. All nice people are round. If someone needs the lion then the lion is nice. If someone needs the tiger then the tiger eats the squirrel. If someone is round then they need the squirrel. If someone needs the tiger then they eat the squirrel. If someone is nice and they chase the squirrel then the squirrel needs the tiger. If someone chases the tiger and the tiger needs the lion then they are young.
The squirrel chases the lion.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The squirrel eats the tiger.[(triple3)] The squirrel is young.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is big.[(triple6)] The tiger needs the lion.[(triple7)] @1: The lion is nice.[(((triple7) -> rule3))] @2: The lion is round.[(((((triple7) -> rule3)) -> rule2))] @3: The lion needs the squirrel.[(((((((triple7) -> rule3)) -> rule2)) -> rule5))]