The tiger is young. If the tiger is young then the tiger is rough. If the tiger is big then the tiger is rough. If someone is big and not young then they are rough. Rough, big people are not kind. Young, round people are big. Rough people are round.
The tiger is rough.
@0: The tiger is young.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule1))] @2: The tiger is round.[(((((triple1) -> rule1)) -> rule6))] @3: The tiger is big.[(((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule5))] @4: The tiger is not kind.[(((((triple1) -> rule1) ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule4))]