Charlie is kind. Charlie is round. Charlie is white. If someone is young and round then they are not white. If someone is round then they are quiet. Quiet, round people are cold.
Charlie is quiet.
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule2))] @2: Charlie is cold.[(((((triple2) -> rule2) triple2) -> rule3))]