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