The dog needs the tiger. The tiger is big. If someone is big then they like the dog. If someone likes the dog then the dog likes the tiger. If the tiger visits the dog then the dog likes the tiger.
The dog is cold.
@0: The dog needs the tiger.[(triple1)] The tiger is big.[(triple2)] @1: The tiger likes the dog.[(((triple2) -> rule1))] @2: The dog likes the tiger.[(((((triple2) -> rule1)) -> rule2))]