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