Bob is smart. Charlie is big. Charlie is round. Gary is big. Harry is green. Harry is red. Harry is not round. All white, smart people are cold. All green people are red. If someone is red then they are white. If Bob is cold and Bob is smart then Bob is green. If someone is red and cold then they are big. All green people are cold. Green people are white. If someone is smart then they are white. Round people are cold.
Bob is not big.