Anne is green. Dave is big. Fiona is quiet. Harry is smart. All quiet, furry things are big. All quiet things are furry.
Fiona is green.
@0: Anne is green.[(triple1)] Dave is big.[(triple2)] Fiona is quiet.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule2))] @2: Fiona is big.[(((triple3 ((triple3) -> rule2)) -> rule1))]