\v=42
\v~=\w It|strong="H1931"\w* \w is|strong="H3068"\w* \w a|strong="H3318"\w* \w night|strong="H3915"\w* \w to|strong="H3318"\w* \w be|strong="H3068"\w* \w much|strong="H3605"\w* \w observed|strong="H8107"\w* \w unto|strong="H3068"\w* \w Jehovah|strong="H3068"\w* \w for|strong="H4714"\w* \w bringing|strong="H3318"\w* \w them|strong="H3318"\w* \w out|strong="H3318"\w* \w from|strong="H3318"\w* \w the|strong="H3605"\w* \w land|strong="H0776"\w* \w of|strong="H1121"\w* \w Egypt|strong="H4714"\w*: \w this|strong="H2088"\w* \w is|strong="H3068"\w* \w that|strong="H3605"\w* \w night|strong="H3915"\w* \w of|strong="H1121"\w* \w Jehovah|strong="H3068"\w*, \w to|strong="H3318"\w* \w be|strong="H3068"\w* \w much|strong="H3605"\w* \w observed|strong="H8107"\w* \w of|strong="H1121"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w children|strong="H1121"\w* \w of|strong="H1121"\w* \w Israel|strong="H3478"\w* \w throughout|strong="H3605"\w* \w their|strong="H3605"\w* \w generations|strong="H1755"\w*. 
\¬v
\¬p