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