Anne is not blue. Anne is not cold. Anne is rough. Anne is not young. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is not young. Erin is big. Erin is blue. Erin is rough. Erin is round. Erin is young. If Erin is not young and Erin is not blue then Erin is rough.
Dave is cold.
@0: Anne is not blue.[(triple1)] Anne is not cold.[(triple2)] Anne is not young.[(triple4)] Anne is rough.[(triple3)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is not young.[(triple11)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Erin is big.[(triple12)] Erin is blue.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16)]