Bob is quiet. Dave is red. Erin is white. Fiona is cold. Red, quiet people are white. All white, cold people are round.
Erin is not white.
@0: Bob is quiet.[(triple1)] Dave is red.[(triple2)] Erin is white.[(triple3)] Fiona is cold.[(triple4)]