Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. All furry, round things are green. If something is smart then it is furry. All round, big things are green. Smart things are red. Big things are smart. If something is round and smart then it is green. Kind things are red. If something is furry then it is kind.
Anne is not big.