Bob is red. Bob is white. Charlie is not furry. Dave is big. Dave is blue. Dave is not rough. Gary is not white. If Dave is red then Dave is not rough. If something is rough and not blue then it is quiet. All rough things are not white. If Gary is quiet and Gary is not big then Gary is rough. If something is quiet and blue then it is not white. Quiet things are not rough. If Gary is red and Gary is furry then Gary is not blue. If something is big and not rough then it is furry.
Bob is not quiet.