Charlie is smart. Dave is quiet. Erin is green. If something is not big then it is quiet. All cold things are not big. All smart, cold things are green. If something is smart and not nice then it is cold. All quiet things are smart. If something is not white then it is quiet. If something is smart and quiet then it is cold. If something is quiet and not smart then it is not white.
Dave is not white.