The tiger is round. If someone is blue and cold then they are young. All round people are blue. Blue, round people are cold.
The tiger does not need the tiger.
@0: The tiger is round.[(triple1)] @1: The tiger is blue.[(((triple1) -> rule2))] @2: The tiger is cold.[(((((triple1) -> rule2) triple1) -> rule3))] @3: The tiger is young.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule3)) -> rule1))]