\v=13
\v~=\w The|strong="H0935"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w the|strong="H0935"\w* \w north|strong="H6828"\w* \w will|strong="H4428"\w* \w return|strong="H7725"\w*, \w and|strong="H0935"\w* \w will|strong="H4428"\w* send \w out|strong="H4480"\w* \w a|strong="H0935"\w* \w multitude|strong="H1995"\w* \w greater|strong="H1419"\w* \w than|strong="H4480"\w* \w the|strong="H0935"\w* \w former|strong="H7223"\w*. \w He|strong="H4480"\w* \w will|strong="H4428"\w* \w come|strong="H0935"\w* \w on|strong="H0935"\w* \w at|strong="H4428"\w* \w the|strong="H0935"\w* \w end|strong="H7093"\w* \w of|strong="H4428"\w* \w the|strong="H0935"\w* \w times|strong="H6256"\w*, even \w of|strong="H4428"\w* \w years|strong="H8141"\w*, \w with|strong="H0935"\w* \w a|strong="H0935"\w* \w great|strong="H1419"\w* \w army|strong="H2428"\w* \w and|strong="H0935"\w* \w with|strong="H0935"\w* \w abundant|strong="H7227"\w* \w supplies|strong="H7399"\w*. 
\¬v
\¬p