The tiger is big. All big people are cold. If someone is cold then they are nice.
The tiger is young.
@0: The tiger is big.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule1))] @2: The tiger is nice.[(((((triple1) -> rule1)) -> rule2))]