\v=20
\v~=\w pero|strong="H3588"\w* \w sus|strong="H1931"\w* esperanzas \w se|strong="H3045"\w* desvanecieron: \w llegaron|strong="H0935"\w* \w y|strong="H3588"\w* \w no|strong="H3588"\w* encontraron \w nada|strong="H3808"\w*. 
\¬v
\¬p