Anne is furry. Fiona is nice. Nice people are smart. All red, big people are green. Smart, nice people are round.
Fiona is not nice.
@0: Anne is furry.[(triple1)] Fiona is nice.[(triple2)] @1: Fiona is smart.[(((triple2) -> rule1))] @2: Fiona is round.[(((((triple2) -> rule1) triple2) -> rule3))]