\v=9
\v~=\w And|strong="G2532"\w* \w when|strong="G2532"\w* \w they|strong="G2532"\w* \w had|strong="G2532"\w* \w taken|strong="G2983"\w* \w security|strong="G2425"\w* \w from|strong="G3844"\w* \w Jason|strong="G2394"\w* \w and|strong="G2532"\w* \w the|strong="G2532"\w* \w rest|strong="G3062"\w*, \w they|strong="G2532"\w* \w let|strong="G2983"\w* \w them|strong="G3588"\w* \w go|strong="G2532"\w*. 
\¬v
\¬p