Bob is white. Dave is cold. Dave is furry. Dave is kind. Erin is blue. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is not red. If Erin is red then Erin is white.
Erin is not white.
@0: Bob is white.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Erin is blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is not red.[(triple10)]