\v=6
\v~=(Basi Abiathari mwana wa Ahimeleki alikuwa ameleta kisibau alipokimbilia kwa Daudi huko Keila.)
\¬v
\¬p