Anne is big. Anne is round. Anne is smart. Bob is big. Bob is not rough. Bob is not round. Gary is round. All smart, big people are round. All blue, rough people are smart. All furry, round people are big. If Anne is big then Anne is blue. If someone is not nice then they are furry. Rough people are blue. If someone is not rough and not big then they are furry. If someone is nice and not furry then they are not smart.
Bob is not round.