Anne is big. Anne is not green. Anne is kind. Anne is quiet. Anne is red. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is smart. Charlie is young. Red people are young. Green people are smart. If someone is red then they are kind. All big, red people are smart. If someone is red and kind then they are big. If Anne is red and Anne is not smart then Anne is green. If someone is red and not smart then they are young. If someone is not big and not green then they are quiet.
Anne is not big.