Anne is kind. Erin is kind. If Erin is not blue then Erin is cold. All kind people are rough.
Anne is not kind.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] @1: Anne is rough.[(((triple1) -> rule2))] Erin is rough.[(((triple2) -> rule2))]