Anne is rough. Erin is round. Fiona is red. Nice people are smart. All round people are nice.
Anne is not rough.
@0: Anne is rough.[(triple1)] Erin is round.[(triple2)] Fiona is red.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))] @2: Erin is smart.[(((((triple2) -> rule2)) -> rule1))]