The dog chases the tiger. The tiger chases the dog. If someone chases the tiger then the tiger eats the dog. If someone likes the dog and the dog chases the tiger then they are big.
The dog is not big.
@0: The dog chases the tiger.[(triple1)] The tiger chases the dog.[(triple2)] @1: The tiger eats the dog.[(((triple1) -> rule1))]