Anne is quiet. Anne is red. Anne is rough. Erin is quiet. Erin is red. Gary is cold. Gary is nice. If Erin is smart and Erin is quiet then Erin is round.
Erin is not round.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)]