\v=16
\v~=\w But|strong="G1161"\w* \w he|strong="G2532"\w* \w withdrew|strong="G5298"\w* \w himself|strong="H5315"\w* \w in|strong="G1722"\w* \w the|strong="G1722"\w* \w deserts|strong="G2048"\w*, \w and|strong="G2532"\w* \w prayed|strong="G4336"\w*. 
\¬v
\¬p