\v=11
\v~=\w When|strong="G2532"\w* \w they|strong="G0846"\w* \w heard|strong="G0191"\w* \w that|strong="G3754"\w* \w he|strong="G2532"\w* \w was|strong="G0846"\w* \w alive|strong="G2198"\w* \w and|strong="G2532"\w* \w had|strong="G3748"\w* \w been|strong="G2532"\w* \w seen|strong="G2300"\w* \w by|strong="G5259"\w* \w her|strong="G0846"\w*, \w they|strong="G0846"\w* \w disbelieved|strong="G0569"\w*. 
\¬v
\¬p