Bob is big. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. All big, smart things are red. All smart, green things are red. All green, round things are furry.
Bob is not green.