The tiger is big. The tiger is not cold. The tiger is green. The tiger is rough. The tiger is not young. If someone is cold then they are not young. If someone is young and not rough then they are big. Rough, young people are not big. If the tiger is rough then the tiger is green. If someone is cold then they are green. All cold people are not green.
The tiger does not need the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple3 OR ((triple4) -> rule4))] The tiger is not cold.[(triple2)] The tiger is not young.[(triple5)] The tiger is rough.[(triple4)]