Bob is blue. Dave is not cold. Erin is nice. If something is rough then it is round. If Erin is nice then Erin is blue. If Erin is quiet and Erin is not rough then Erin is not red. All nice things are cold. If Dave is blue then Dave is round. If something is not round then it is red. If something is rough and not red then it is quiet. If something is round and not quiet then it is cold.
Bob is not blue.