\v=15
\v~=\w Si|strong="H3808"\w* \w son|strong="H3588"\w* propriétaire \w est|strong="H1330"\w* \w avec|strong="H7901"\w* \w elle|strong="H3588"\w*, \w il|strong="H3117"\w* \w ne|strong="H3808"\w* \w la|strong="H3588"\w* \w restituera|strong="H7725"\w* \w pas|strong="H3808"\w*. \w Si|strong="H3808"\w* c'est \w un|strong="H3588"\w* \w objet|strong="H3627"\w* \w loué|strong="H7916"\w*, \w il|strong="H3117"\w* \w est|strong="H1330"\w* \w venu|strong="H3318"\w* \w pour|strong="H3588"\w* \w son|strong="H3588"\w* bail. 
\¬v
\¬p