Bob is quiet. Charlie is big. Charlie is red. Charlie is round. Charlie is white. Dave is quiet. Dave is not rough. Dave is round. Dave is white. Erin is quiet. Erin is red. Erin is not rough. Erin is round. Erin is white. If something is quiet and red then it is blue. All quiet things are white. All big, blue things are red. If Erin is round and Erin is big then Erin is red. If something is white and round then it is big. Big, white things are blue. All white things are quiet. If something is white then it is round. If something is not round and not red then it is rough.
Bob is not blue.