Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. If Dave is nice then Dave is big. All red, green things are nice. If Dave is smart and Dave is white then Dave is red. If something is quiet and smart then it is nice. All red things are big. If Dave is quiet then Dave is smart. Big things are smart. All quiet things are big.
Dave is not quiet.