The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is young. Nice people are young.
The tiger is not nice.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is nice.[(triple4)] The tiger is young.[(triple5 OR ((triple4) -> rule1))]