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