Charlie is blue. Charlie is quiet. Charlie is red. If Charlie is round then Charlie is smart. All furry, kind things are smart. If something is red then it is round.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] @1: Charlie is round.[(((triple3) -> rule3))] @2: Charlie is smart.[(((((triple3) -> rule3)) -> rule1))]