The tiger is cold. Kind things are cold. If the tiger is round and the tiger is red then the tiger is kind. If something is cold then it is round.
The tiger is cold.
@0: The tiger is cold.[(triple1)] @1: The tiger is round.[(((triple1) -> rule3))]