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