Theorem: printable-not-whitespace-not-whitespace
(defthm printable-not-whitespace-not-whitespace (implies (vl-whitespace-p x) (not (vl-printable-not-whitespace-p x))))