Fiona is green. Fiona is rough. Fiona is smart. Green, rough things are quiet. If something is quiet then it is furry.
Fiona is furry.
@0: Fiona is green.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is quiet.[(((triple1 triple2) -> rule1))] @2: Fiona is furry.[(((((triple1 triple2) -> rule1)) -> rule2))]