\v=20
\v~=\w We|strong="G2249"\w* \w know|strong="G1097"\w* \w that|strong="G3754"\w* \w the|strong="G3588"\w* \w Son|strong="G5207"\w* \w of|strong="G5207"\w* \w God|strong="G2316"\w* \w has|strong="G2316"\w* \w come|strong="G2240"\w* \w and|strong="G2532"\w* \w has|strong="G2316"\w* \w given|strong="G1325"\w* \w us|strong="G1325"\w* \w an|strong="G1510"\w* \w understanding|strong="G1271"\w*, \w that|strong="G3754"\w* \w we|strong="G2249"\w* \w know|strong="G1097"\w* \w him|strong="G0846"\w* \w who|strong="G3588"\w* \w is|strong="G1510"\w* \w true|strong="G0228"\w*; \w and|strong="G2532"\w* \w we|strong="G2249"\w* \w are|strong="G1510"\w* \w in|strong="G1722"\w* \w him|strong="G0846"\w* \w who|strong="G3588"\w* \w is|strong="G1510"\w* \w true|strong="G0228"\w*, \w in|strong="G1722"\w* \w his|strong="G0846"\w* \w Son|strong="G5207"\w* \w Jesus|strong="G2424"\w* \w Christ|strong="G5547"\w*. \w This|strong="G3778"\w* \w is|strong="G1510"\w* \w the|strong="G3588"\w* \w true|strong="G0228"\w* \w God|strong="G2316"\w* \w and|strong="G2532"\w* \w eternal|strong="G0166"\w* \w life|strong="G2222"\w*. 
\¬v
\¬p