Dave is red. Erin is red. Fiona is cold. Fiona is green. Fiona is red. Fiona is smart. Fiona is white. If Erin is furry then Erin is not green. If something is red and not white then it is not furry. If Dave is cold then Dave is red.
Erin is blue.
@0: Dave is red.[(triple1)] Erin is red.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]