Fiona is white. White things are quiet. If something is furry then it is quiet. All quiet things are kind.
Fiona is not red.
@0: Fiona is white.[(triple1)] @1: Fiona is quiet.[(((triple1) -> rule1))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule3))]