\v=34
\v~=\w And|strong="G2532"\w* \w I|strong="G2532"\w* \w have|strong="G2532"\w* \w seen|strong="G3708"\w*, \w and|strong="G2532"\w* \w have|strong="G2532"\w* \w borne|strong="H3205"\w* \w witness|strong="G3140"\w* \w that|strong="G3754"\w* \w this|strong="G3778"\w* \w is|strong="G1510"\w* \w the|strong="G2532"\w* \w Son|strong="G5207"\w* \w of|strong="G5207"\w* \w God|strong="G2316"\w*. 
\¬v
\¬p