\v=10
\v~=\w And|strong="G2532"\w*, \w when|strong="G2532"\w* \w the|strong="G2532"\w* \w messengers|strong="H4397"\w* \w returned|strong="G5290"\w* \w to|strong="G1519"\w* \w the|strong="G2532"\w* \w house|strong="G3624"\w*, \w they|strong="G2532"\w* \w found|strong="G2147"\w* \w the|strong="G2532"\w* \w slave|strong="G1401"\w* \w recovered|strong="H7725"\w*. 
\¬v
\¬p