The tiger is young. Young, nice things are round. All nice things are big. Young things are nice.
The tiger is not big.
@0: The tiger is young.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule3))] @2: The tiger is big.[(((((triple1) -> rule3)) -> rule2))] The tiger is round.[(((triple1 ((triple1) -> rule3)) -> rule1))]