The cat is young. If someone is big then they are cold. If the cat is young then the cat is rough. Rough, young people are big.
The cat is cold.
@0: The cat is young.[(triple1)] @1: The cat is rough.[(((triple1) -> rule2))] @2: The cat is big.[(((((triple1) -> rule2) triple1) -> rule3))] @3: The cat is cold.[(((((((triple1) -> rule2) triple1) -> rule3)) -> rule1))]