The lion sees the squirrel. The lion sees the tiger. The rabbit is not green. The squirrel eats the tiger. The squirrel is green. The squirrel does not see the lion. The squirrel sees the rabbit. The tiger is green. The tiger needs the rabbit. The tiger needs the squirrel. If something sees the rabbit then it is big. If something eats the tiger and the tiger sees the lion then the tiger does not need the lion. If something is big and it does not eat the lion then it is blue. If something needs the lion and it needs the squirrel then it eats the squirrel. If something eats the squirrel and the squirrel eats the lion then the squirrel needs the lion. If something eats the tiger and it is nice then the tiger eats the rabbit. If the squirrel eats the lion and the squirrel does not need the lion then the lion is nice. If something is blue and it does not need the lion then the lion does not see the squirrel.
The tiger needs the tiger.
@0: The lion sees the squirrel.[(triple1)] The lion sees the tiger.[(triple2)] The rabbit is not green.[(triple3)] The squirrel does not see the lion.[(triple6)] The squirrel eats the tiger.[(triple4)] The squirrel is green.[(triple5)] The squirrel sees the rabbit.[(triple7)] The tiger is green.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The squirrel is big.[(((triple7) -> rule1))]