Dave is cold. Erin is furry. Fiona is green. Harry is cold. If Dave is blue and Dave is kind then Dave is not white. If Erin is cold then Erin is blue.
Dave is furry.
@0: Dave is cold.[(triple1)] Erin is furry.[(triple2)] Fiona is green.[(triple3)] Harry is cold.[(triple4)]