\v=17
\v~=Haya yalifanyika ili litimie lile lililonenwa kwa kinywa cha nabii Isaya kwamba:
\¬p
\q1
\p~<<q1=“Mwenyewe alitwaa udhaifu wetu
\¬q1
\q2
\p~<<q2=na alichukua magonjwa yetu.”
\¬q2
\¬v