The cat chases the squirrel. The cat is not blue. The cat does not need the tiger. The cow is blue. The squirrel does not chase the cow. The squirrel likes the cat. The tiger needs the squirrel. If the tiger needs the cat then the tiger needs the cow. If someone needs the squirrel then they do not chase the tiger. If the tiger likes the cow then the cow is young. If someone needs the cat and they are young then they like the cat. If someone likes the cat and they need the cat then they are nice. If someone likes the tiger then they are blue.
The cow chases the cat.
@0: The cat chases the squirrel.[(triple1)] The cat does not need the tiger.[(triple3)] The cat is not blue.[(triple2)] The cow is blue.[(triple4)] The squirrel does not chase the cow.[(triple5)] The squirrel likes the cat.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The tiger does not chase the tiger.[(((triple7) -> rule2))]