あの演目は抄物であるかあるいは発布であるか両方ともだ
fact1: もしもこの片仮名名称は抄物でないとすると「あの演目はジュノー大氷原でない」ということは事実だ fact2: もし仮にこの片仮名名称がジュノー大氷原でなくてしかもそれは大泣きしないとすると「あの演目はジュノー大氷原でない」ということは真実だ fact3: もしもなんらかのものがジュノー大氷原でないとすればそれは抄物であるかもしくはそれは発布であるかもしくはどちらもである fact4: もし仮にこの片仮名名称はジュノー大氷原でないとすれば「あの演目は抄物であるかまたは発布であるかまたはどちらもである」ということは間違いだ fact5: この片仮名名称はジュノー大氷原でない
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
あの演目は抄物であるかまたはそれは発布である
fact6 -> int1: もしあの演目がジュノー大氷原であるということはないなら抄物であるか発布であるかあるいはどちらもだ;
$facts$ = fact1: もしもこの片仮名名称は抄物でないとすると「あの演目はジュノー大氷原でない」ということは事実だ fact2: もし仮にこの片仮名名称がジュノー大氷原でなくてしかもそれは大泣きしないとすると「あの演目はジュノー大氷原でない」ということは真実だ fact3: もしもなんらかのものがジュノー大氷原でないとすればそれは抄物であるかもしくはそれは発布であるかもしくはどちらもである fact4: もし仮にこの片仮名名称はジュノー大氷原でないとすれば「あの演目は抄物であるかまたは発布であるかまたはどちらもである」ということは間違いだ fact5: この片仮名名称はジュノー大氷原でない ; $hypothesis$ = あの演目は抄物であるかあるいは発布であるか両方ともだ ; $proof$ = 
fact4 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもこの片仮名名称は抄物でないとすると「あの演目はジュノー大氷原でない」ということは事実だ
事実2: もし仮にこの片仮名名称がジュノー大氷原でなくてしかもそれは大泣きしないとすると「あの演目はジュノー大氷原でない」ということは真実だ
事実3: もしもなんらかのものがジュノー大氷原でないとすればそれは抄物であるかもしくはそれは発布であるかもしくはどちらもである
事実4: もし仮にこの片仮名名称はジュノー大氷原でないとすれば「あの演目は抄物であるかまたは発布であるかまたはどちらもである」ということは間違いだ
事実5: この片仮名名称はジュノー大氷原でない

仮説: あの演目は抄物であるかあるいは発布であるか両方ともだ
1. 事実4と事実5から、仮説が否定される

よって、仮説が否定されました。