Bob is big. Charlie is not big. Charlie is cold. Gary is cold. Gary is rough. Gary is young. Harry is young. Young people are cold. All cold, smart people are rough. If someone is young then they are big. If someone is big then they are smart. If someone is young and not cold then they are white. If Harry is cold and Harry is not big then Harry is not rough.
Charlie is not young.