Bob is not cold. Dave is cold. Dave is not green. Erin is cold. Erin is furry. Erin is nice. Erin is not rough. If something is not rough then it is blue. If something is cold and not rough then it is red. Nice things are not rough. All cold, furry things are green. If something is furry and not cold then it is not red. If Erin is red and Erin is furry then Erin is blue. If something is nice and not red then it is blue. If something is red and not green then it is nice.
Bob is red.