Anne is red. Dave is kind. Harry is kind. All kind, blue people are white. Big people are nice. If Anne is blue then Anne is big. All blue people are big. Kind people are blue. All big people are blue. White people are big. All red people are kind.
Dave is red.