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