Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is not round. Anne is smart. Anne is not young. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is not smart. Charlie is young. Cold, smart people are red.
Anne is not blue.