Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Nice people are green. All cold, green people are red. All quiet, smart people are nice. If Bob is green and Bob is big then Bob is smart. If Bob is nice and Bob is green then Bob is big. If someone is quiet and cold then they are red.
Bob is not cold.