Bob is big. Bob is blue. Bob is green. Bob is smart. Dave is green. Dave is smart. Erin is blue. Erin is green. Erin is red. Erin is smart. Erin is white. Gary is quiet. All quiet things are green. Green, big things are blue. All smart, white things are not quiet. Green, quiet things are big. All smart, big things are quiet. All blue things are smart. Smart, big things are red. If something is white and not red then it is quiet. If something is blue and not green then it is not white.
Dave is not white.