\v=23
\v~=“\w We|strong="G2532"\w* \w found|strong="G2147"\w* \w the|strong="G3956"\w* \w prison|strong="G1201"\w* \w shut|strong="G2808"\w* \w and|strong="G2532"\w* \w locked|strong="G2808"\w*, \w and|strong="G2532"\w* \w the|strong="G3956"\w* \w guards|strong="G5441"\w* \w standing|strong="G2476"\w* \w before|strong="G1909"\w* \w the|strong="G3956"\w* \w doors|strong="G2374"\w*, \w but|strong="G1161"\w* \w when|strong="G2532"\w* \w we|strong="G2532"\w* \w opened|strong="G0455"\w* \w them|strong="G2147"\w*, \w we|strong="G2532"\w* \w found|strong="G2147"\w* \w no|strong="G3762"\w* \w one|strong="G3762"\w* \w inside|strong="G2080"\w*!” 
\¬v
\¬p