Fiona is furry. Harry is white. All green, big things are white. If Fiona is furry then Fiona is quiet.
Fiona is furry.
@0: Fiona is furry.[(triple1)] Harry is white.[(triple2)] @1: Fiona is quiet.[(((triple1) -> rule2))]