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