\v=17
\v~=\w The|strong="G3588"\w* \w book|strong="G0975"\w* \w of|strong="G0975"\w* \w the|strong="G3588"\w* \w prophet|strong="G4396"\w* \w Isaiah|strong="G2268"\w* \w was|strong="G1510"\w* \w handed|strong="G1929"\w* \w to|strong="G2532"\w* \w him|strong="G0846"\w*. \w He|strong="G2532"\w* opened \w the|strong="G3588"\w* \w book|strong="G0975"\w*, \w and|strong="G2532"\w* \w found|strong="G2147"\w* \w the|strong="G3588"\w* \w place|strong="G5117"\w* \w where|strong="G3757"\w* \w it|strong="G0846"\w* \w was|strong="G1510"\w* \w written|strong="G1125"\w*, 
\¬v
\¬p