\v=15
\v~=\w Then|strong="H0853"\w* \w I|strong="H0589"\w* commended \w mirth|strong="H8057"\w*, \w because|strong="H3588"\w* \w a|strong="H3588"\w* \w man|strong="H0120"\w* \w has|strong="H0430"\w* \w no|strong="H0369"\w* \w better|strong="H2896"\w* \w thing|strong="H3588"\w* \w under|strong="H8478"\w* \w the|strong="H0853"\w* \w sun|strong="H8121"\w* \w than|strong="H2896"\w* \w to|strong="H0369"\w* \w eat|strong="H0398"\w*, \w to|strong="H0369"\w* \w drink|strong="H8354"\w*, \w and|strong="H0430"\w* \w to|strong="H0369"\w* \w be|strong="H0430"\w* \w joyful|strong="H8055"\w*: \w for|strong="H3588"\w* \w that|strong="H0834"\w* \w will|strong="H0430"\w* accompany \w him|strong="H5414"\w* \w in|strong="H0430"\w* \w his|strong="H5414"\w* \w labor|strong="H5999"\w* \w all|strong="H3117"\w* \w the|strong="H0853"\w* \w days|strong="H3117"\w* \w of|strong="H0430"\w* \w his|strong="H5414"\w* \w life|strong="H3117"\w* \w which|strong="H0834"\w* \w God|strong="H0430"\w* \w has|strong="H0430"\w* \w given|strong="H5414"\w* \w him|strong="H5414"\w* \w under|strong="H8478"\w* \w the|strong="H0853"\w* \w sun|strong="H8121"\w*. 
\¬v
\¬p