The tiger is nice. Young people are kind. All kind, big people are cold. Kind people are big. Nice people are kind. If someone is young and cold then they are big. All cold people are big.
The tiger visits the tiger.
@0: The tiger is nice.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule4))] @2: The tiger is big.[(((((triple1) -> rule4)) -> rule3))] @3: The tiger is cold.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule2))]