Anne is blue. Anne is green. Anne is quiet. Anne is smart. Charlie is blue. Charlie is round. Charlie is smart. Gary is smart. Gary is white. Harry is blue. Harry is cold. Harry is quiet. Harry is round. Harry is smart. Harry is white. All smart people are green. If someone is not blue then they are green. If someone is blue and not smart then they are white. Smart, round people are green. If Anne is white then Anne is round. If someone is not blue then they are not cold. If Charlie is cold then Charlie is round. If someone is not white then they are round.
Harry is not white.