Bob is big. Bob is blue. Bob is cold. Bob is not nice. Bob is not round. Bob is smart. Erin is blue. Erin is cold. Erin is nice. Erin is smart. All big people are furry. If someone is round then they are cold. Big people are not round. If someone is round and smart then they are nice. If Bob is nice and Bob is not furry then Bob is smart. If someone is not nice and not blue then they are not round.
Bob is not round.