Bob is cold. Fiona is round. Young people are smart. All cold people are white. All big, smart people are round. If someone is smart and cold then they are round. Cold people are not young. If someone is smart and not blue then they are not round. If someone is not round then they are cold. If someone is smart and not cold then they are white.
Bob is blue.