Anne is big. Harry is white. Big, furry things are cold. All big things are not furry. All smart, kind things are white.
Anne is smart.
@0: Anne is big.[(triple1)] Harry is white.[(triple2)] @1: Anne is not furry.[(((triple1) -> rule2))]