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