\v=12
\v~=\w Una|strong="H0259"\w* \w vez|strong="H6471"\w* \w más|strong="H5750"\w*, \w Noé|strong="H5146"\w* \w esperó|strong="H3176"\w* \w otros|strong="H5750"\w* \w siete|strong="H7651"\w* \w días|strong="H3117"\w* \w más|strong="H5750"\w*, \w y|strong="H1571"\w* \w entonces|strong="H3117"\w* \w volvió|strong="H7725"\w* \w a|strong="H0413"\w* enviar \w a|strong="H0413"\w* \w la|strong="H1931"\w* \w paloma|strong="H3123"\w*, \w pero|strong="H3588"\w* \w esta|strong="H2063"\w* \w vez|strong="H6471"\w* \w la|strong="H1931"\w* \w paloma|strong="H3123"\w* \w no|strong="H3808"\w* regresó. 
\¬v
\¬p