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