\v=16
\v~=\w And|strong="G2532"\w* \w this|strong="G3778"\w* \w was|strong="G1096"\w* \w done|strong="G1096"\w* \w thrice|strong="G5151"\w*: \w and|strong="G2532"\w* \w straightway|strong="G2112"\w* \w the|strong="G2532"\w* \w vessel|strong="G4632"\w* \w was|strong="G1096"\w* \w received|strong="H3947"\w* \w up|strong="G1519"\w* \w into|strong="G1519"\w* \w heaven|strong="G3772"\w*. 
\¬v
\¬p