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