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