\v=11
\v~=\w Llegó|strong="H0935"\w* \w allí|strong="H8033"\w* \w después|strong="H0310"\w* \w de|strong="H3588"\w* \w la|strong="H1931"\w* puesta \w de|strong="H3588"\w* \w sol|strong="H8121"\w*, \w y|strong="H3588"\w* \w se|strong="H1931"\w* \w quedó|strong="H7604"\w* \w esa|strong="H1931"\w* \w noche|strong="H3915"\w* \w en|strong="H3588"\w* \w un|strong="H0259"\w* \w lugar|strong="H4725"\w*. \w Tomó|strong="H3947"\w* \w una|strong="H0259"\w* \w piedra|strong="H0068"\w*, \w la|strong="H1931"\w* \w puso|strong="H7760"\w* \w bajo|strong="H8478"\w* \w su|strong="H1931"\w* \w cabeza|strong="H7218"\w*, \w y|strong="H3588"\w* \w se|strong="H1931"\w* acostó \w a|strong="H3588"\w* dormir. 
\¬v
\¬p