Anne is cold. Anne is not red. Anne is not rough. Dave is cold. Dave is young. Erin is red. Fiona is not smart. If someone is young and not quiet then they are not nice. Quiet people are not red.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is not red.[(triple2)] Anne is not rough.[(triple3)] Dave is cold.[(triple4)] Dave is young.[(triple5)] Erin is red.[(triple6)] Fiona is not smart.[(triple7)]