Anne is green. Charlie is not cold. Charlie is nice. Charlie is not red. Charlie is round. Charlie is white. Fiona is cold. Fiona is green. Fiona is not nice. Fiona is red. Fiona is round. Fiona is white. If someone is green and not white then they are cold.
Charlie is green.
@0: Anne is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is not nice.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]