Bob is blue. Dave is green. Gary is blue. Cold people are blue. If Gary is rough and Gary is cold then Gary is green. All cold, blue people are not big. Green people are cold. If Bob is cold and Bob is not rough then Bob is not furry. If someone is not furry and not cold then they are big.
Bob is blue.