Charlie is smart. Round people are young. All smart people are round. If someone is young then they are quiet.
Charlie is quiet.
@0: Charlie is smart.[(triple1)] @1: Charlie is round.[(((triple1) -> rule2))] @2: Charlie is young.[(((((triple1) -> rule2)) -> rule1))] @3: Charlie is quiet.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]