Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Charlie is big. Charlie is green. Charlie is smart. Fiona is green. Fiona is red. Fiona is smart. Harry is cold. Harry is smart. If something is green then it is blue.
Charlie is not red.