Bob is white. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Dave is not green. Erin is red. All red, round things are quiet. Cold things are green. If Bob is white and Bob is quiet then Bob is nice. All white things are round. Red things are green. Green things are red. All round things are cold. If something is cold and not red then it is quiet.
Erin is not white.