\v=25
\v~=\w De|strong="H2022"\w* \w là|strong="H7725"\w*, \w il|strong="H7725"\w* \w se|strong="H3212"\w* \w rendit|strong="H3212"\w* \w au|strong="H7725"\w* \w Carmel|strong="H3760"\w* \w et|strong="H3212"\w* \w de|strong="H2022"\w* \w là|strong="H7725"\w*, \w il|strong="H7725"\w* \w retourna|strong="H7725"\w* \w à|strong="H3212"\w* \w Samarie|strong="H8111"\w*. 
\¬v
\¬p
\¬c