Charlie is round. Gary is not blue. Harry is quiet. Blue things are not nice. All blue things are nice. Round things are nice. Quiet things are round. Round things are not big. If something is quiet and not big then it is smart.
Harry is not quiet.
@0: Charlie is round.[(triple1)] Gary is not blue.[(triple2)] Harry is quiet.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule3))] Charlie is not big.[(((triple1) -> rule5))] Harry is round.[(((triple3) -> rule4))] @2: Harry is nice.[(((((triple3) -> rule4)) -> rule3))] Harry is not big.[(((((triple3) -> rule4)) -> rule5))] @3: Harry is smart.[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule6))]