\v=12
\v~=\w He|strong="H3117"\w* \w waited|strong="H3176"\w* \w yet|strong="H5750"\w* \w another|strong="H0312"\w* \w seven|strong="H7651"\w* \w days|strong="H3117"\w*, \w and|strong="H7725"\w* \w sent|strong="H7971"\w* \w out|strong="H7971"\w* \w the|strong="H0853"\w* \w dove|strong="H3123"\w*; \w and|strong="H7725"\w* \w she|strong="H3808"\w* \w didn’t|strong="H3808"\w* \w return|strong="H7725"\w* \w to|strong="H0413"\w* \w him|strong="H0413"\w* \w any|strong="H5750"\w* \w more|strong="H5750"\w*. 
\¬v
\¬p