\v=13
\v~=\w Then|strong="H7725"\w* \w they|strong="H0376"\w* \w tore|strong="H7167"\w* \w their|strong="H5921"\w* \w clothes|strong="H8071"\w*, \w and|strong="H7725"\w* \w each|strong="H0376"\w* \w man|strong="H0376"\w* \w loaded|strong="H6006"\w* \w his|strong="H5921"\w* \w donkey|strong="H2543"\w*, \w and|strong="H7725"\w* \w returned|strong="H7725"\w* \w to|strong="H7725"\w* \w the|strong="H5921"\w* \w city|strong="H5892"\w*. 
\¬v
\¬p