The cat eats the dog. The cat needs the tiger. The cow chases the tiger. The cow is kind. The dog chases the cat. The dog eats the cow. The dog is not cold. The dog needs the cat. The tiger chases the cat. The tiger does not eat the cat. The tiger is not red. The tiger needs the cow. If something needs the dog then the dog needs the tiger. If something needs the cow then it does not need the dog. If something eats the dog and it does not need the dog then it is kind.
The cow eats the cow.
@0: The cat eats the dog.[(triple1)] The cat needs the tiger.[(triple2)] The cow chases the tiger.[(triple3)] The cow is kind.[(triple4)] The dog chases the cat.[(triple5)] The dog eats the cow.[(triple6)] The dog is not cold.[(triple7)] The dog needs the cat.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not eat the cat.[(triple10)] The tiger is not red.[(triple11)] The tiger needs the cow.[(triple12)] @1: The tiger does not need the dog.[(((triple12) -> rule2))]