Bob is cold. Erin is blue. Erin is green. Erin is smart. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is smart. All big, young people are blue. Red, big people are green. Red people are big. If someone is red and not cold then they are young. If someone is big and green then they are young. If someone is red then they are smart. If someone is not cold then they are not big. If someone is big then they are red.
Bob is not green.