Bob is cold. Bob is green. Gary is furry. All green people are round. All furry, young people are round. All cold, furry people are red. If someone is green then they are quiet. Round people are green. Red, round people are green. All red people are young. Round, young people are cold.
Bob is not red.