The lion is young. The lion likes the squirrel. The lion needs the squirrel. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel needs the lion. If someone chases the lion then they are kind. If the lion likes the squirrel then the lion is kind.
The squirrel likes the squirrel.
@0: The lion is young.[(triple1)] The lion likes the squirrel.[(triple2)] The lion needs the squirrel.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is red.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The lion is kind.[(((triple2) -> rule2))]