Charlie is quiet. Charlie is red. Charlie is white. Dave is cold. Dave is white. Erin is nice. Fiona is red. If Charlie is green and Charlie is red then Charlie is white. If Fiona is nice and Fiona is quiet then Fiona is green.
Dave is not cold.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Dave is cold.[(triple4)] Dave is white.[(triple5)] Erin is nice.[(triple6)] Fiona is red.[(triple7)]