The dog eats the tiger. The dog is big. The dog is blue. The dog is kind. The dog is red. The dog is rough. The dog does not need the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is big. The tiger is not blue. The tiger is not kind. The tiger is not red. The tiger is rough. The tiger needs the dog. The tiger does not visit the dog. If something visits the dog then the dog is not big. If something is blue and it needs the dog then it needs the tiger. If something visits the tiger then it does not need the tiger. If something visits the tiger then it does not need the dog. If something eats the tiger then the tiger eats the dog. If the tiger is red then the tiger is not blue. If the dog needs the tiger and the tiger eats the dog then the tiger needs the dog. If the tiger is kind then the tiger visits the dog.
The tiger does not need the tiger.
@0: The dog does not need the tiger.[(triple7 OR ((triple8) -> rule3))] The dog eats the tiger.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog visits the tiger.[(triple8)] The tiger does not visit the dog.[(triple16)] The tiger eats the dog.[(triple9 OR ((triple1) -> rule5))] The tiger is big.[(triple10)] The tiger is not blue.[(triple11)] The tiger is not kind.[(triple12)] The tiger is not red.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the dog.[(triple15)] @1: The dog does not need the dog.[(((triple8) -> rule4))]