The tiger is big. The tiger is cold. The tiger is not kind. The tiger is round. The tiger is young. Round, big things are cold.
The tiger is cold.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple4 triple1) -> rule1))] The tiger is not kind.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]