The tiger is big. Big, red people are cold. If someone is young then they are red. If someone is rough and cold then they are red. If someone is big then they are rough. Cold, red people are young. If the tiger is rough then the tiger is big. All rough, cold people are big. All cold people are young.
The tiger is big.
@0: The tiger is big.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule4))]