The dog eats the tiger. The dog is cold. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog sees the tiger. The dog visits the tiger. The tiger eats the dog. The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. The tiger sees the dog. The tiger visits the dog. If something visits the tiger then the tiger eats the dog.
The tiger does not visit the tiger.
@0: The dog eats the tiger.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog sees the tiger.[(triple7)] The dog visits the tiger.[(triple8)] The tiger eats the dog.[(triple9 OR ((triple8) -> rule1))] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the dog.[(triple15)] The tiger visits the dog.[(triple16)]