Anne is quiet. Fiona is not green. All quiet people are smart. All smart people are not blue.
Fiona is furry.
@0: Anne is quiet.[(triple1)] Fiona is not green.[(triple2)] @1: Anne is smart.[(((triple1) -> rule1))] @2: Anne is not blue.[(((((triple1) -> rule1)) -> rule2))]