Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is white. Charlie is not cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Gary is big. Gary is cold. Harry is cold. Harry is green. Harry is not white. All smart things are white. Kind, green things are smart. If something is quiet and kind then it is white. All big things are smart. If Bob is smart then Bob is white. If something is smart then it is big. If something is quiet then it is kind. If something is not white then it is not smart.
Gary is not quiet.