\v=17
\v~=\w that|strong="G2443"\w* \w it|strong="G1223"\w* \w might|strong="H1369"\w* \w be|strong="G2443"\w* \w fulfilled|strong="G4137"\w* \w which|strong="G3588"\w* \w was|strong="G3588"\w* \w spoken|strong="G3004"\w* \w through|strong="G1223"\w* \w Isaiah|strong="G2268"\w* \w the|strong="G1223"\w* \w prophet|strong="G4396"\w*, \w saying|strong="G3004"\w*, 
\¬v
\¬p