\v=30
\v~=\w Whom|strong="G3739"\w* \w he|strong="G2532"\w* \w predestined|strong="G4309"\w*, \w those|strong="G3778"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w called|strong="G2564"\w*. \w Whom|strong="G3739"\w* \w he|strong="G2532"\w* \w called|strong="G2564"\w*, \w those|strong="G3778"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w justified|strong="G1344"\w*. \w Whom|strong="G3739"\w* \w he|strong="G2532"\w* \w justified|strong="G1344"\w*, \w those|strong="G3778"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w glorified|strong="G1392"\w*. 
\¬v
\¬p