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