\v=6
\v~=\w and|strong="H6213"\w* \w he|strong="H6213"\w* \w shall|strong="H3808"\w* \w restore|strong="H7999"\w* \w the|strong="H5921"\w* \w lamb|strong="H3535"\w* \w fourfold|strong="H0706"\w*, \w because|strong="H5921"\w* \w he|strong="H6213"\w* \w did|strong="H6213"\w* \w this|strong="H2088"\w* \w thing|strong="H1697"\w*, \w and|strong="H6213"\w* \w because|strong="H5921"\w* \w he|strong="H6213"\w* \w had|strong="H2550"\w* \w no|strong="H3808"\w* \w pity|strong="H2550"\w*. 
\¬v
\¬p