Anne is nice. Charlie is big. Dave is quiet. Harry is big. White, nice people are red. Quiet people are white. Big, blue people are red. If Anne is quiet then Anne is big. Nice people are quiet. All big people are nice.
Dave is not white.