Anne is big. Anne is not nice. Anne is red. Anne is smart. Charlie is not big. Charlie is not furry. Charlie is nice. Charlie is not smart. Charlie is young. Harry is big. Harry is furry. Harry is round. All nice, round things are not young. If something is round and not furry then it is smart. If something is round and big then it is nice.
Anne is red.