次に仮定しているのは、分かりにくいかもしれませんが、8行目です。 8行目の3-4列目を「×」に仮定して、これが矛盾することを示したいわけです。 まず、必然的に4-5列目も「×」になりますね。