\p
\v=7
\v~=(\w Samuel|strong="H8050"\w* \w aún|strong="H2962"\w* \w no|strong="H3808"\w* \w había|strong="H1961"\w* \w llegado|strong="H0935"\w* \w a|strong="H3068"\w* conocer \w al|strong="H0413"\w* \w Señor|strong="H3068"\w* \w y|strong="H1571"\w* \w no|strong="H3808"\w* \w había|strong="H1961"\w* recibido \w ningún|strong="H3605"\w* mensaje \w de|strong="H1697"\w* \w él|strong="H1931"\w*). 
\¬v
\¬p