\v=16
\v~=\w And|strong="H4430"\w* \w Daniel|strong="H1841"\w* \w went|strong="H5954"\w* \w in|strong="H5954"\w*, \w and|strong="H4430"\w* \w desired|strong="H1156"\w* \w of|strong="H4481"\w* \w the|strong="H4481"\w* \w king|strong="H4430"\w* \w that|strong="H1768"\w* \w he|strong="H1768"\w* \w would|strong="H0014"\w* \w appoint|strong="H6485"\w* \w him|strong="H4481"\w* \w a|strong="H2166"\w* \w time|strong="H2166"\w*, \w and|strong="H4430"\w* \w he|strong="H1768"\w* \w would|strong="H0014"\w* \w show|strong="H7200"\w* \w the|strong="H4481"\w* \w king|strong="H4430"\w* \w the|strong="H4481"\w* \w interpretation|strong="H6591"\w*. 
\¬v
\¬p