\v=7
\v~=\w puesto|strong="H3588"\w* \w que|strong="H1961"\w* \w ya|strong="H3528"\w* \w había|strong="H1961"\w* \w más|strong="H5750"\w* \w que|strong="H1961"\w* \w suficiente|strong="H8505"\w* \w para|strong="H1961"\w* \w hacer|strong="H6213"\w* \w todo|strong="H3605"\w* \w el|strong="H3605"\w* \w trabajo|strong="H5999"\w* \w necesario|strong="H4941"\w*. 
\¬v
\¬p