Fiona is nice. All white, quiet people are nice. If someone is white then they are quiet. Nice people are white.
Fiona is quiet.
@0: Fiona is nice.[(triple1)] @1: Fiona is white.[(((triple1) -> rule3))] @2: Fiona is quiet.[(((((triple1) -> rule3)) -> rule2))]