Dave is nice. Erin is big. Gary is smart. Red people are round. All big, smart people are red. Big people are smart. If someone is red and not green then they are big. If someone is red and nice then they are big. Big, nice people are quiet. All big, round people are nice. All smart people are big.
Dave is not quiet.