The dog does not eat the rabbit. The rabbit eats the dog. The squirrel eats the dog. The squirrel is not big. The squirrel is cold. The tiger does not eat the dog. The tiger needs the squirrel. If the rabbit is blue then the rabbit eats the tiger. If someone is rough and they do not need the tiger then the tiger eats the squirrel. Big people are round. If someone needs the squirrel then the squirrel is blue. All rough people are not big. If someone visits the tiger and the tiger does not eat the rabbit then the rabbit is round. If someone needs the dog and the dog does not need the tiger then they do not eat the squirrel. If the dog is cold then the dog is blue.
The tiger needs the squirrel.
@0: The dog does not eat the rabbit.[(triple1)] The rabbit eats the dog.[(triple2)] The squirrel eats the dog.[(triple3)] The squirrel is cold.[(triple5)] The squirrel is not big.[(triple4)] The tiger does not eat the dog.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The squirrel is blue.[(((triple7) -> rule4))]