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 is not round.
@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))]