The bear is round. Round things are big. If the bear is big then the bear is rough. If something is rough then it is not red.
The bear is not rough.
@0: The bear is round.[(triple1)] @1: The bear is big.[(((triple1) -> rule1))] @2: The bear is rough.[(((((triple1) -> rule1)) -> rule2))] @3: The bear is not red.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]