\v=16
\v~=\w I|strong="H7665"\w* \w will|strong="H7725"\w* \w seek|strong="H1245"\w* \w that|strong="H7725"\w* \w which|strong="H0834"\w* \w was|strong="H2389"\w* \w lost|strong="H0006"\w*, \w and|strong="H7725"\w* \w will|strong="H7725"\w* \w bring|strong="H7725"\w* \w back|strong="H7725"\w* \w that|strong="H7725"\w* \w which|strong="H0834"\w* \w was|strong="H2389"\w* \w driven|strong="H5080"\w* \w away|strong="H7725"\w*, \w and|strong="H7725"\w* \w will|strong="H7725"\w* \w bind|strong="H2280"\w* \w up|strong="H2280"\w* \w that|strong="H7725"\w* \w which|strong="H0834"\w* \w was|strong="H2389"\w* \w broken|strong="H7665"\w*, \w and|strong="H7725"\w* \w will|strong="H7725"\w* \w strengthen|strong="H2388"\w* \w that|strong="H7725"\w* \w which|strong="H0834"\w* \w was|strong="H2389"\w* \w sick|strong="H2470"\w*: \w but|strong="H2388"\w* \w the|strong="H7725"\w* \w fat|strong="H8082"\w* \w and|strong="H7725"\w* \w the|strong="H7725"\w* \w strong|strong="H2388"\w* \w I|strong="H7665"\w* \w will|strong="H7725"\w* \w destroy|strong="H8045"\w*; \w I|strong="H7665"\w* \w will|strong="H7725"\w* \w feed|strong="H7462"\w* \w them|strong="H7725"\w* \w in|strong="H7725"\w* \w justice|strong="H4941"\w*. 
\¬v
\¬p