Anne is cold. Charlie is nice. Fiona is blue. Harry is blue. If something is blue then it is white. All blue things are green. All cold, white things are green. All cold, blue things are green. White, green things are nice. All big things are white.
Anne is blue.