Anne is not young. Charlie is nice. Charlie is red. Charlie is white. Charlie is not young. Fiona is not cold. Fiona is nice. Green people are white. If Anne is red and Anne is nice then Anne is not cold.
Anne is not white.
@0: Anne is not young.[(triple1)] Charlie is nice.[(triple2)] Charlie is not young.[(triple5)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Fiona is nice.[(triple7)] Fiona is not cold.[(triple6)]