The tiger is round. All green things are kind. All kind things are rough. All round things are kind. Rough things are cold. All cold, round things are kind. Round, cold things are rough.
The tiger does not need the tiger.
@0: The tiger is round.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule3))] @2: The tiger is rough.[(((((triple1) -> rule3)) -> rule2))] @3: The tiger is cold.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))]