Charlie is cold. Charlie is not red. Charlie is not white. Charlie is not young. Dave is blue. Dave is not quiet. Dave is white. Erin is furry. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is young. If something is blue and not cold then it is not quiet.
Charlie is red.
@0: Charlie is cold.[(triple1)] Charlie is not red.[(triple2)] Charlie is not white.[(triple3)] Charlie is not young.[(triple4)] Dave is blue.[(triple5)] Dave is not quiet.[(triple6)] Dave is white.[(triple7)] Erin is furry.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)]