Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Erin is cold. Erin is white. Fiona is cold. Fiona is not green. Fiona is nice. Gary is white. If Gary is round then Gary is not white.
Fiona is blue.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is cold.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Gary is white.[(triple10)]