Bob is blue. Bob is furry. Bob is nice. Bob is rough. Dave is blue. Dave is red. Dave is rough. Dave is round. Harry is cold. Harry is furry. Harry is nice. Harry is red. If someone is rough then they are cold.
Bob is not red.