Anne is green. Bob is smart. Erin is green. If something is round and not big then it is green. If something is round and not big then it is not red. All red things are furry. Red things are green. All green things are not furry. All smart, red things are furry. All furry things are not round. Smart things are round.
Anne is smart.