Anne is nice. Charlie is big. Charlie is kind. Charlie is round. Dave is red. Dave is round. Harry is blue. All round, smart people are red. If someone is red and nice then they are kind. All big, kind people are round. Smart, round people are blue. Red, kind people are blue. All nice people are big. All red, round people are kind. All smart people are round. If someone is big then they are smart.
Anne is not kind.