Anne is rough. Erin is cold. If something is round then it is rough. All blue, round things are quiet. If something is blue and quiet then it is rough. If something is cold and quiet then it is green. All rough, round things are green. All green things are round. If something is cold then it is blue. All rough things are round.
Erin is not green.
@0: Anne is rough.[(triple1)] Erin is cold.[(triple2)] @1: Anne is round.[(((triple1) -> rule8))] Erin is blue.[(((triple2) -> rule7))] @2: Anne is green.[(((triple1 ((triple1) -> rule8)) -> rule5))]