\v=30
\v~=\w He|strong="G1161"\w* \w then|strong="G3767"\w* \w having|strong="G3767"\w* \w received|strong="G2983"\w* \w the|strong="G1161"\w* \w sop|strong="G5596"\w* \w went|strong="G1831"\w* \w out|strong="G1831"\w* \w straightway|strong="G2112"\w*: \w and|strong="G1161"\w* \w it|strong="G1161"\w* \w was|strong="G1510"\w* \w night|strong="G3571"\w*. 
\¬v
\¬p