\v=12
\v~=\w He|strong="G2532"\w* \w sternly|strong="G2008"\w* \w warned|strong="G2008"\w* \w them|strong="G0846"\w* \w that|strong="G2443"\w* \w they|strong="G0846"\w* \w should|strong="G2443"\w* \w not|strong="G3361"\w* \w make|strong="G4160"\w* \w him|strong="G0846"\w* \w known|strong="G5318"\w*. 
\¬v
\¬p