Anne is rough. Erin is round. Gary is nice. If someone is quiet then they are green. Cold people are nice. If someone is round then they are quiet.
Erin is not round.
@0: Anne is rough.[(triple1)] Erin is round.[(triple2)] Gary is nice.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule3))] @2: Erin is green.[(((((triple2) -> rule3)) -> rule1))]