Bob is green. Bob is nice. Bob is smart. Bob is young. Charlie is kind. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is white. Cold people are smart. Green people are white. If Charlie is smart and Charlie is young then Charlie is nice. If someone is cold and young then they are white. If Harry is smart then Harry is young. All smart people are green. All cold, nice people are white. All kind people are cold. If someone is white then they are nice.
Charlie is nice.