The dog chases the tiger. The dog does not see the lion. The lion chases the tiger. The lion is not red. The squirrel chases the lion. The squirrel chases the tiger. The squirrel is blue. The tiger does not chase the dog. The tiger chases the lion. The tiger is big. The tiger does not need the lion. The tiger sees the lion. If someone is rough and they see the tiger then they are green. If the tiger chases the dog and the tiger sees the lion then the lion needs the dog. If someone needs the squirrel and the squirrel sees the lion then they are big. If someone is green then they see the squirrel. If someone is big then they do not chase the tiger. If the dog is big then the dog does not see the squirrel. If someone is red and they do not see the lion then the lion is not big. If someone is red and they do not need the lion then the lion needs the tiger.
The dog is not blue.
@0: The dog chases the tiger.[(triple1)] The dog does not see the lion.[(triple2)] The lion chases the tiger.[(triple3)] The lion is not red.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel is blue.[(triple7)] The tiger chases the lion.[(triple9)] The tiger does not chase the dog.[(triple8)] The tiger does not need the lion.[(triple11)] The tiger is big.[(triple10)] The tiger sees the lion.[(triple12)] @1: The tiger does not chase the tiger.[(((triple10) -> rule5))]