Harry is furry. If something is furry then it is smart. All young, furry things are quiet. If something is smart and furry then it is white.
Harry is not furry.
@0: Harry is furry.[(triple1)] @1: Harry is smart.[(((triple1) -> rule1))] @2: Harry is white.[(((((triple1) -> rule1) triple1) -> rule3))]