「仮に「「予想しなくてその上地下歌劇場だ」ということは正しい」ということは誤りだとすれば巣・Ｅな」ものはある
fact1: もしも「「そのＮＡＤは予想しないが地下歌劇場だ」ということは誤りだ」ということは成り立つなら巣・Ｅである
$facts$ = fact1: もしも「「そのＮＡＤは予想しないが地下歌劇場だ」ということは誤りだ」ということは成り立つなら巣・Ｅである ; $hypothesis$ = 「仮に「「予想しなくてその上地下歌劇場だ」ということは正しい」ということは誤りだとすれば巣・Ｅな」ものはある ; $proof$ = 
事実1: もしも「「そのＮＡＤは予想しないが地下歌劇場だ」ということは誤りだ」ということは成り立つなら巣・Ｅである

仮説: 「仮に「「予想しなくてその上地下歌劇場だ」ということは正しい」ということは誤りだとすれば巣・Ｅな」ものはある