Anne is kind. Dave is kind. Fiona is smart. Gary is furry. All smart, red things are kind. All green things are quiet. All red things are quiet. All furry things are green. Smart, furry things are green. Green, quiet things are smart. If Fiona is green and Fiona is red then Fiona is quiet. If something is red and smart then it is furry.
Anne is smart.
@0: Anne is kind.[(triple1)] Dave is kind.[(triple2)] Fiona is smart.[(triple3)] Gary is furry.[(triple4)] @1: Gary is green.[(((triple4) -> rule4))] @2: Gary is quiet.[(((((triple4) -> rule4)) -> rule2))] @3: Gary is smart.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule2)) -> rule6))]