Anne is blue. Anne is not cold. Anne is nice. Anne is quiet. Anne is not red. Anne is not round. Anne is not smart. Dave is blue. Dave is not cold. Dave is nice. Dave is not quiet. Dave is not red. Dave is round. Dave is not smart. All red, cold things are nice. All red, cold things are quiet.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is not red.[(triple5)] Anne is not round.[(triple6)] Anne is not smart.[(triple7)] Anne is quiet.[(triple4)] Dave is blue.[(triple8)] Dave is nice.[(triple10)] Dave is not cold.[(triple9)] Dave is not quiet.[(triple11)] Dave is not red.[(triple12)] Dave is not smart.[(triple14)] Dave is round.[(triple13)]