Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is smart. Green things are round. If something is nice and blue then it is smart. All round, smart things are nice. If Charlie is round and Charlie is red then Charlie is cold. If something is green then it is smart. If something is blue then it is red. If Charlie is smart and Charlie is blue then Charlie is nice. Green, blue things are cold.
Harry is not blue.