Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is white. Charlie is blue. Charlie is cold. Charlie is nice. Gary is blue. Gary is cold. Gary is green. Gary is nice. Harry is big. Harry is cold. Harry is green. Harry is quiet. If Charlie is white then Charlie is nice. All big, green things are quiet. All white things are big. If Charlie is cold then Charlie is quiet. All quiet things are white. Quiet things are blue.
Harry is not cold.