Charlie is nice. Charlie is red. Dave is not smart. Erin is blue. Erin is not red. Harry is cold. Harry is not white. If someone is nice and cold then they are not red.
Dave is not cold.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Dave is not smart.[(triple3)] Erin is blue.[(triple4)] Erin is not red.[(triple5)] Harry is cold.[(triple6)] Harry is not white.[(triple7)]