The dog chases the tiger. The dog is cold. The dog is nice. The dog is red. The dog is round. The dog is young. The dog likes the tiger. The dog needs the tiger. The tiger chases the dog. The tiger is cold. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the dog. The tiger needs the dog. If someone chases the dog then the dog likes the tiger. If someone is nice and they like the dog then the dog likes the tiger. If someone chases the dog then the dog chases the tiger.
The dog does not need the dog.
@0: The dog chases the tiger.[(triple1 OR ((triple9) -> rule3))] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog likes the tiger.[(triple7 OR ((triple9) -> rule1) OR ((triple11 triple14) -> rule2))] The dog needs the tiger.[(triple8)] The tiger chases the dog.[(triple9)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the dog.[(triple15)]