The dog chases the tiger. The dog is big. The dog is red. The dog is round. The dog needs the tiger. The dog visits the tiger. The tiger chases the dog. The tiger is big. The tiger is green. The tiger is red. The tiger needs the dog. The tiger visits the dog. If someone needs the dog and they are round then the dog chases the tiger. If someone chases the tiger then they visit the tiger. If someone is cold then they need the dog. If someone visits the dog then the dog is round. If someone chases the dog then the dog needs the tiger. If someone chases the tiger and the tiger visits the dog then they chase the dog.
The dog is red.
@0: The dog chases the tiger.[(triple1)] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4 OR ((triple12) -> rule4))] The dog needs the tiger.[(triple5 OR ((triple7) -> rule5) OR ((((triple1 triple12) -> rule6)) -> rule5))] The dog visits the tiger.[(triple6 OR ((triple1) -> rule2))] The tiger chases the dog.[(triple7)] The tiger is big.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger needs the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog chases the dog.[(((triple1 triple12) -> rule6))]