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