Anne is white. Charlie is not cold. Charlie is not red. Charlie is rough. Charlie is white. Erin is blue. Fiona is quiet. If something is red then it is green. All red things are blue. All blue, red things are quiet.
Charlie is not quiet.
@0: Anne is white.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not red.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is blue.[(triple6)] Fiona is quiet.[(triple7)]