Bob is cold. Bob is white. Charlie is cold. Charlie is round. Charlie is smart. Charlie is white. Dave is white. Erin is big. Erin is round. Erin is white. Smart people are blue. If Bob is round then Bob is white. If someone is white and cold then they are big. If someone is cold then they are blue. If someone is blue then they are white. If someone is big then they are blue. Smart people are white. All cold people are blue.
Bob is not cold.