Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. If something is red then it is kind. If something is green and kind then it is round. All smart things are round. All red, smart things are furry. If something is round and kind then it is red. If something is kind and smart then it is rough.
Anne is not red.