The tiger is big. The tiger is cold. The tiger is green. The tiger is rough. The tiger is young. All cold people are young.
The tiger is green.
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple2) -> rule1))]