\v=4
\v~=\w If|strong="H3588"\w* \w the|strong="H0853"\w* stolen property \w is|strong="H0376"\w* found \w in|strong="H0376"\w* \w his|strong="H7971"\w* hand alive, \w whether|strong="H0176"\w* \w it|strong="H3588"\w* \w is|strong="H0376"\w* ox, donkey, \w or|strong="H0176"\w* sheep, \w he|strong="H3588"\w* \w shall|strong="H0376"\w* \w pay|strong="H7999"\w* double. 
\¬v
\¬p