Anne is not blue. Charlie is smart. Erin is blue. If something is cold and not blue then it is red.
Anne is not red.
@0: Anne is not blue.[(triple1)] Charlie is smart.[(triple2)] Erin is blue.[(triple3)]