\v=4
\v~=\w If|strong="H3588"\w* \w the|strong="H3588"\w* \w theft|strong="H1591"\w* \w be|strong="H3588"\w* \w found|strong="H4672"\w* \w in|strong="H7971"\w* \w his|strong="H7971"\w* \w hand|strong="H3027"\w* \w alive|strong="H2416"\w*, \w whether|strong="H0518"\w* \w it|strong="H3588"\w* \w be|strong="H3588"\w* \w ox|strong="H7794"\w*, \w or|strong="H7704"\w* \w ass|strong="H2543"\w*, \w or|strong="H7704"\w* \w sheep|strong="H6629"\w*, \w he|strong="H3588"\w* \w shall|strong="H7704"\w* \w pay|strong="H7999"\w* \w double|strong="H8147"\w*. 
\¬v
\¬p