The lion chases the squirrel. The lion is blue. The lion is not kind. The lion is round. The lion is young. The lion likes the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel does not like the lion. The squirrel visits the lion. If something chases the lion then it chases the squirrel.
The squirrel chases the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion is blue.[(triple2)] The lion is not kind.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion likes the squirrel.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel does not like the lion.[(triple14)] The squirrel is blue.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the lion.[(triple15)] @1: The squirrel chases the squirrel.[(((triple8) -> rule1))]