Anne is cold. Charlie is not blue. Erin is blue. If someone is furry and white then they are cold. If someone is cold and green then they are not blue.
Charlie is not cold.
@0: Anne is cold.[(triple1)] Charlie is not blue.[(triple2)] Erin is blue.[(triple3)]