The lion chases the tiger. The lion does not see the squirrel. The rabbit likes the lion. The squirrel does not chase the tiger. The squirrel sees the tiger. The tiger chases the squirrel. The tiger sees the rabbit. If someone sees the tiger then they like the squirrel. If someone sees the tiger and they are not young then the tiger chases the squirrel. If the rabbit sees the tiger then the tiger is cold.
The rabbit likes the lion.
@0: The lion chases the tiger.[(triple1)] The lion does not see the squirrel.[(triple2)] The rabbit likes the lion.[(triple3)] The squirrel does not chase the tiger.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The squirrel likes the squirrel.[(((triple5) -> rule1))]