The tiger is round. If someone is blue and big then they are round. All round people are blue. If someone is blue then they are big. Big people are cold. If the tiger is blue and the tiger is not kind then the tiger is cold. If the tiger is not big and the tiger is not blue then the tiger is cold.
The tiger is cold.
@0: The tiger is round.[(triple1)] @1: The tiger is blue.[(((triple1) -> rule2))] @2: The tiger is big.[(((((triple1) -> rule2)) -> rule3))] @3: The tiger is cold.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))]