The tiger is big. All red people are young. Big, rough people are young. All rough, nice people are young. If someone is big then they are red. All red people are nice. If someone is nice and young then they are rough.
The tiger is red.
@0: The tiger is big.[(triple1)] @1: The tiger is red.[(((triple1) -> rule4))] @2: The tiger is nice.[(((((triple1) -> rule4)) -> rule5))] The tiger is young.[(((((triple1) -> rule4)) -> rule1))] @3: The tiger is rough.[(((((((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4)) -> rule1)) -> rule6))]