\v=2
\v~=\w Then|strong="G2532"\w* \w a|strong="G2192"\w* \w white|strong="G3022"\w* \w horse|strong="G2462"\w* \w appeared|strong="G3708"\w*, \w and|strong="G2532"\w* \w he|strong="G2532"\w* \w who|strong="G3588"\w* \w sat|strong="G2521"\w* \w on|strong="G1909"\w* \w it|strong="G0846"\w* \w had|strong="G2192"\w* \w a|strong="G2192"\w* \w bow|strong="G5115"\w*. \w A|strong="G2192"\w* \w crown|strong="G4735"\w* \w was|strong="G3588"\w* \w given|strong="G1325"\w* \w to|strong="G2443"\w* \w him|strong="G0846"\w*, \w and|strong="G2532"\w* \w he|strong="G2532"\w* \w came|strong="G1831"\w* \w out|strong="G1831"\w* \w conquering|strong="G3528"\w*, \w and|strong="G2532"\w* \w to|strong="G2443"\w* \w conquer|strong="G3528"\w*. 
\¬v
\¬p