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 does not visit the tiger.
@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))]