The dog chases the tiger. The dog is green. The dog is round. The dog is young. The dog needs the tiger. The dog visits the tiger. The tiger is rough. The tiger is young. The tiger needs the dog. The tiger visits the dog. If someone visits the tiger then the tiger is rough.
The dog does not chase the tiger.
@0: The dog chases the tiger.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog needs the tiger.[(triple5)] The dog visits the tiger.[(triple6)] The tiger is rough.[(triple7 OR ((triple6) -> rule1))] The tiger is young.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the dog.[(triple10)]