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