Anne is quiet. Charlie is big. If Anne is quiet then Anne is red. If something is quiet and red then it is rough.
Charlie is smart.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2)] @1: Anne is red.[(((triple1) -> rule1))] @2: Anne is rough.[(((triple1 ((triple1) -> rule1)) -> rule2))]