Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is smart. Charlie is smart. Erin is smart. Fiona is furry. Fiona is rough. Fiona is smart. If something is nice and smart then it is round. Smart, round things are red. All smart, red things are round.
Bob is not red.