\v=53
\v~=\w ye|strong="G2532"\w* \w who|strong="G3588"\w* \w received|strong="G2983"\w* \w the|strong="G2532"\w* \w law|strong="G3551"\w* \w as|strong="G1519"\w* \w it|strong="G2532"\w* \w was|strong="G3588"\w* \w ordained|strong="G1296"\w* \w by|strong="G2532"\w* \w angels|strong="H4397"\w*, \w and|strong="G2532"\w* \w kept|strong="G5442"\w* \w it|strong="G2532"\w* \w not|strong="G3756"\w*. 
\¬v
\¬p