\v=15
\v~=\w He|strong="G2532"\w* \w laid|strong="G2007"\w* \w his|strong="G0846"\w* \w hands|strong="G5495"\w* \w on|strong="G5495"\w* \w them|strong="G0846"\w*, \w and|strong="G2532"\w* \w departed|strong="G4198"\w* \w from|strong="G2532"\w* \w there|strong="G1564"\w*. 
\¬v
\¬p