\v=23
\v~=\w And|strong="H3117"\w* \w there|strong="H1961"\w* \w was|strong="H1961"\w* \w evening|strong="H6153"\w* \w and|strong="H3117"\w* \w there|strong="H1961"\w* \w was|strong="H1961"\w* \w morning|strong="H1242"\w*, \w a|strong="H1961"\w* \w fifth|strong="H2549"\w* \w day|strong="H3117"\w*. 
\¬v
\¬p