あの次元は用い得る
fact1: 「その信力は礼儀正しいがしかし同報告でない」ということは間違っている fact2: 仮に「その信力は礼儀正しいが同報告でない」ということは誤りであるならば共同設置しない fact3: もしこの週休日が資格試験でないとしたらそれは毛細血管でないしさらにそれは用い得る fact4: 「あの次元ははつるということはない」ということは確かである fact5: 仮になにがしかのものが共同設置しなくてまた御泊まらないならば「それは礼儀正しくない」ということは確かだ fact6: なんらかの物は用い得れば「共同設置しない」ということは成り立つ fact7: もしもその信力が共同設置しないとするとあの次元は御泊まらない fact8: その信力は同報告でないか早し fact9: もし仮にとある物が御泊まらないならばテイル形であるということはないかまたは早しかもしくは両方だ fact10: もし仮にある物がテイル形でないかもしくは早しかもしくはどちらもであるとすれば用い得る
fact2 & fact1 -> int1: その信力は共同設置しない; int1 & fact7 -> int2: あの次元は御泊まらない; fact9 -> int3: あの次元が御泊まらないとすればテイル形でないかもしくは早しかどちらもである; int2 & int3 -> int4: あの次元はテイル形でないかまたは早しかもしくは両方ともである; fact10 -> int5: 仮にあの次元がテイル形でないかまたは早しかあるいは両方であるとするとそれは用い得る; int4 & int5 -> hypothesis;
この週休日は礼儀正しくない
fact12 -> int6: この週休日が共同設置しなくて御泊まらないなら礼儀正しくない; fact11 -> int7: この週休日が用い得るならそれは共同設置しない;
$facts$ = fact1: 「その信力は礼儀正しいがしかし同報告でない」ということは間違っている fact2: 仮に「その信力は礼儀正しいが同報告でない」ということは誤りであるならば共同設置しない fact3: もしこの週休日が資格試験でないとしたらそれは毛細血管でないしさらにそれは用い得る fact4: 「あの次元ははつるということはない」ということは確かである fact5: 仮になにがしかのものが共同設置しなくてまた御泊まらないならば「それは礼儀正しくない」ということは確かだ fact6: なんらかの物は用い得れば「共同設置しない」ということは成り立つ fact7: もしもその信力が共同設置しないとするとあの次元は御泊まらない fact8: その信力は同報告でないか早し fact9: もし仮にとある物が御泊まらないならばテイル形であるということはないかまたは早しかもしくは両方だ fact10: もし仮にある物がテイル形でないかもしくは早しかもしくはどちらもであるとすれば用い得る ; $hypothesis$ = あの次元は用い得る ; $proof$ = 
fact2 & fact1 -> int1: その信力は共同設置しない; int1 & fact7 -> int2: あの次元は御泊まらない; fact9 -> int3: あの次元が御泊まらないとすればテイル形でないかもしくは早しかどちらもである; int2 & int3 -> int4: あの次元はテイル形でないかまたは早しかもしくは両方ともである; fact10 -> int5: 仮にあの次元がテイル形でないかまたは早しかあるいは両方であるとするとそれは用い得る; int4 & int5 -> hypothesis; __PROVED__
事実1: 「その信力は礼儀正しいがしかし同報告でない」ということは間違っている
事実2: 仮に「その信力は礼儀正しいが同報告でない」ということは誤りであるならば共同設置しない
事実3: もしこの週休日が資格試験でないとしたらそれは毛細血管でないしさらにそれは用い得る
事実4: 「あの次元ははつるということはない」ということは確かである
事実5: 仮になにがしかのものが共同設置しなくてまた御泊まらないならば「それは礼儀正しくない」ということは確かだ
事実6: なんらかの物は用い得れば「共同設置しない」ということは成り立つ
事実7: もしもその信力が共同設置しないとするとあの次元は御泊まらない
事実8: その信力は同報告でないか早し
事実9: もし仮にとある物が御泊まらないならばテイル形であるということはないかまたは早しかもしくは両方だ
事実10: もし仮にある物がテイル形でないかもしくは早しかもしくはどちらもであるとすれば用い得る

仮説: あの次元は用い得る
1. 事実2と事実1から、推論1: "その信力は共同設置しない"が導かれる
2. 推論1と事実7から、推論2: "あの次元は御泊まらない"が導かれる
3. 事実9から、推論3: "あの次元が御泊まらないとすればテイル形でないかもしくは早しかどちらもである"が導かれる
4. 推論2と推論3から、推論4: "あの次元はテイル形でないかまたは早しかもしくは両方ともである"が導かれる
5. 事実10から、推論5: "仮にあの次元がテイル形でないかまたは早しかあるいは両方であるとするとそれは用い得る"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。