Anne is cold. Anne is not rough. Dave is not red. Dave is rough. Erin is cold. Erin is not green. Erin is red. Erin is rough. Erin is young. Gary is quiet. All cold, white people are not red. All red, green people are not white. If someone is green and not rough then they are white. All green, red people are quiet. All cold, green people are young. Quiet, rough people are not cold.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is not rough.[(triple2)] Dave is not red.[(triple3)] Dave is rough.[(triple4)] Erin is cold.[(triple5)] Erin is not green.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is quiet.[(triple10)]