Charlie is not white. Dave is green. Dave is not round. Fiona is cold. Fiona is not round. Fiona is smart. Gary is green. White people are not round. If someone is blue and not green then they are not round. All blue, rough people are cold.
Charlie is not cold.
@0: Charlie is not white.[(triple1)] Dave is green.[(triple2)] Dave is not round.[(triple3)] Fiona is cold.[(triple4)] Fiona is not round.[(triple5)] Fiona is smart.[(triple6)] Gary is green.[(triple7)]