Anne is quiet. Fiona is green. All quiet, kind people are furry. If someone is green then they are kind. All kind people are quiet.
Fiona is not kind.
@0: Anne is quiet.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is quiet.[(((((triple2) -> rule2)) -> rule3))] @3: Fiona is furry.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule1))]