The dog chases the tiger. The dog is cold. The dog is round. The dog is young. The dog needs the rabbit. The dog does not visit the rabbit. The dog visits the tiger. The rabbit chases the tiger. The rabbit is cold. The rabbit is round. The rabbit is not young. The rabbit visits the dog. The rabbit visits the tiger. The tiger chases the dog. The tiger needs the rabbit. If something needs the tiger and it does not visit the dog then the tiger is red. If something needs the tiger and the tiger needs the dog then the tiger is red. If something chases the dog then the dog chases the rabbit.
The tiger visits the tiger.
@0: The dog chases the tiger.[(triple1)] The dog does not visit the rabbit.[(triple6)] The dog is cold.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple5)] The dog visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is not young.[(triple11)] The rabbit is round.[(triple10)] The rabbit visits the dog.[(triple12)] The rabbit visits the tiger.[(triple13)] The tiger chases the dog.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The dog chases the rabbit.[(((triple14) -> rule3))]