Bob is big. Bob is white. Dave is white. If something is smart and big then it is quiet. If something is big and not cold then it is smart. If something is white and not rough then it is not red. If something is not cold then it is big. White, smart things are not rough. If Bob is big then Bob is smart. If something is rough and not cold then it is quiet. If something is not smart and not quiet then it is not cold.
Dave is white.