\v=20
\v~=\w As|strong="G1161"\w* \w neither|strong="G3756"\w* \w sun|strong="G2246"\w* \w nor|strong="G3383"\w* \w stars|strong="H3556"\w* \w were|strong="G3588"\w* \w visible|strong="H2379"\w* \w for|strong="G1909"\w* \w several|strong="G4183"\w* \w days|strong="G2250"\w*, \w and|strong="G1161"\w*, \w as|strong="G1161"\w* \w the|strong="G3956"\w* \w gale|strong="H5492"\w* \w still|strong="H5750"\w* \w continued|strong="H5674"\w* \w severe|strong="H3515"\w*, \w all|strong="G3956"\w* \w hope|strong="G1680"\w* \w of|strong="G2250"\w* \w our|strong="G3956"\w* \w being|strong="G1161"\w* \w saved|strong="G4982"\w* \w was|strong="G3588"\w* \w at|strong="G1909"\w* \w last|strong="H0314"\w* \w abandoned|strong="G4014"\w*. 
\¬v
\¬p