\v=9
\v~=\w The|strong="G3588"\w* \w great|strong="G3173"\w* \w dragon|strong="G1404"\w* \w was|strong="G3588"\w* \w thrown|strong="G0906"\w* down, \w the|strong="G3588"\w* \w old|strong="G0744"\w* \w serpent|strong="G3789"\w*, \w he|strong="G2532"\w* \w who|strong="G3588"\w* \w is|strong="G3588"\w* \w called|strong="G2564"\w* \w the|strong="G3588"\w* \w devil|strong="G1228"\w* \w and|strong="G2532"\w* \w Satan|strong="G4567"\w*, \w the|strong="G3588"\w* deceiver \w of|strong="G1093"\w* \w the|strong="G3588"\w* \w whole|strong="G3650"\w* \w world|strong="G3625"\w*. \w He|strong="G2532"\w* \w was|strong="G3588"\w* \w thrown|strong="G0906"\w* down \w to|strong="G1519"\w* \w the|strong="G3588"\w* \w earth|strong="G1093"\w*, \w and|strong="G2532"\w* \w his|strong="G0846"\w* \w angels|strong="G0032"\w* \w were|strong="G3588"\w* \w thrown|strong="G0906"\w* down \w with|strong="G3326"\w* \w him|strong="G0846"\w*. 
\¬v
\¬p