The dog chases the tiger. The dog is big. The dog is cold. The dog is green. The dog is rough. The dog is young. The dog likes the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is big. The tiger is green. The tiger is rough. The tiger is young. The tiger likes the dog. The tiger needs the dog. If the tiger likes the dog and the tiger is rough then the tiger chases the dog. If someone needs the dog then they chase the tiger.
The tiger likes the tiger.
@0: The dog chases the tiger.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the tiger.[(triple8)] The tiger chases the dog.[(triple9 OR ((triple14 triple12) -> rule1))] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the dog.[(triple15)] @1: The tiger chases the tiger.[(((triple15) -> rule2))]