Bob is smart. Charlie is blue. Dave is round. Harry is smart. If Harry is round then Harry is blue. Round, blue people are young. If someone is big then they are cold. All young, big people are blue. Smart people are blue. If someone is smart then they are round. If someone is round and rough then they are cold. All blue, smart people are big.
Bob is cold.