The tiger is big. The tiger is cold. The tiger is young. If the tiger is not blue then the tiger is young. If something is big and cold then it is kind.
The tiger is young.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is young.[(triple3)] @1: The tiger is kind.[(((triple1 triple2) -> rule2))]