The tiger is big. The tiger is blue. The tiger is kind. If someone is kind then they are cold.
The tiger is big.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule1))]