The lion is green. The squirrel chases the lion. The squirrel eats the lion. The squirrel eats the tiger. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel likes the lion. The squirrel likes the tiger. The tiger chases the lion. The tiger is green. The tiger likes the squirrel. If the squirrel does not chase the tiger then the squirrel chases the lion. If someone eats the tiger and they are cold then the tiger likes the lion.
The lion does not chase the lion.
@0: The lion is green.[(triple1)] The squirrel chases the lion.[(triple2)] The squirrel eats the lion.[(triple3)] The squirrel eats the tiger.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is rough.[(triple6)] The squirrel is round.[(triple7)] The squirrel likes the lion.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger chases the lion.[(triple10)] The tiger is green.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The tiger likes the lion.[(((triple4 triple5) -> rule2))]