The dog visits the tiger. The tiger chases the dog. The tiger is rough. If someone needs the tiger then they are round. If someone chases the dog and the dog visits the tiger then they visit the dog. If someone visits the dog and they chase the dog then the dog chases the tiger. If someone chases the dog then the dog is rough. If someone needs the dog then the dog is green. If the tiger chases the dog and the tiger visits the dog then the tiger is big.
The dog is not round.
@0: The dog visits the tiger.[(triple1)] The tiger chases the dog.[(triple2)] The tiger is rough.[(triple3)] @1: The dog is rough.[(((triple2) -> rule4))] The tiger visits the dog.[(((triple2 triple1) -> rule2))] @2: The dog chases the tiger.[(((((triple2 triple1) -> rule2) triple2) -> rule3))] The tiger is big.[(((triple2 ((triple2 triple1) -> rule2)) -> rule6))]