The tiger is big. The tiger is not nice. The tiger is young. Young things are rough. If something is rough and not young then it is kind.
The tiger eats the tiger.
@0: The tiger is big.[(triple1)] The tiger is not nice.[(triple2)] The tiger is young.[(triple3)] @1: The tiger is rough.[(((triple3) -> rule1))]