その二重積分型は御勉強するかもしくはそれは打ち首でないかあるいは両方だ
fact1: 仮にＢチャネルはサザンオールスターズだとしたら「端境期である」ということは確かである fact2: 何かはＢチャネルでないがサザンオールスターズであるならばそれは端境期である fact3: その二重積分型は御勉強するか打ち首だ fact4: 仮にこの問題練習は対応し得ないならば「この五十万円程度はＢチャネルでない」ということは本当だ fact5: もしこの対処法がプロらしいならこの問題練習は対応し得ない fact6: この対処法はプロらしい fact7: もしもなにがしかのものは端境期なら「御勉強する」ということは成り立つ fact8: この五十万円程度が御勉強すればその二重積分型は御勉強するかまたは打ち首である fact9: この五十万円程度が御勉強するとするとその二重積分型は御勉強するかまたは打ち首でない fact10: もしもこの問題練習は対応し得ないとしたら「この五十万円程度はＢチャネルでないけれどサザンオールスターズだ」ということは本当だ fact11: 何らかのものはプロらしいとすると「御勉強するかまたは打ち首でないかまたは両方である」ということは成り立たない
fact5 & fact6 -> int1: この問題練習は対応し得るということはない; int1 & fact10 -> int2: この五十万円程度はＢチャネルでないけれどサザンオールスターズである; fact2 -> int3: 「この五十万円程度がＢチャネルでないがしかしサザンオールスターズだとするとこの五十万円程度は端境期だ」ということは本当だ; int2 & int3 -> int4: 「この五十万円程度は端境期である」ということは事実だ; fact7 -> int5: この五十万円程度は端境期であるとすれば御勉強する; int4 & int5 -> int6: この五十万円程度は御勉強する; int6 & fact9 -> hypothesis;
「その二重積分型は御勉強するかまたはそれは打ち首でないか両方ともである」ということは事実と異なる
fact12 -> int7: もし仮にその二重積分型はプロらしいとすると「「それは御勉強するかもしくは打ち首でないかもしくはどちらもだ」ということは成り立つ」ということは事実と異なる;
$facts$ = fact1: 仮にＢチャネルはサザンオールスターズだとしたら「端境期である」ということは確かである fact2: 何かはＢチャネルでないがサザンオールスターズであるならばそれは端境期である fact3: その二重積分型は御勉強するか打ち首だ fact4: 仮にこの問題練習は対応し得ないならば「この五十万円程度はＢチャネルでない」ということは本当だ fact5: もしこの対処法がプロらしいならこの問題練習は対応し得ない fact6: この対処法はプロらしい fact7: もしもなにがしかのものは端境期なら「御勉強する」ということは成り立つ fact8: この五十万円程度が御勉強すればその二重積分型は御勉強するかまたは打ち首である fact9: この五十万円程度が御勉強するとするとその二重積分型は御勉強するかまたは打ち首でない fact10: もしもこの問題練習は対応し得ないとしたら「この五十万円程度はＢチャネルでないけれどサザンオールスターズだ」ということは本当だ fact11: 何らかのものはプロらしいとすると「御勉強するかまたは打ち首でないかまたは両方である」ということは成り立たない ; $hypothesis$ = その二重積分型は御勉強するかもしくはそれは打ち首でないかあるいは両方だ ; $proof$ = 
fact5 & fact6 -> int1: この問題練習は対応し得るということはない; int1 & fact10 -> int2: この五十万円程度はＢチャネルでないけれどサザンオールスターズである; fact2 -> int3: 「この五十万円程度がＢチャネルでないがしかしサザンオールスターズだとするとこの五十万円程度は端境期だ」ということは本当だ; int2 & int3 -> int4: 「この五十万円程度は端境期である」ということは事実だ; fact7 -> int5: この五十万円程度は端境期であるとすれば御勉強する; int4 & int5 -> int6: この五十万円程度は御勉強する; int6 & fact9 -> hypothesis; __PROVED__
事実1: 仮にＢチャネルはサザンオールスターズだとしたら「端境期である」ということは確かである
事実2: 何かはＢチャネルでないがサザンオールスターズであるならばそれは端境期である
事実3: その二重積分型は御勉強するか打ち首だ
事実4: 仮にこの問題練習は対応し得ないならば「この五十万円程度はＢチャネルでない」ということは本当だ
事実5: もしこの対処法がプロらしいならこの問題練習は対応し得ない
事実6: この対処法はプロらしい
事実7: もしもなにがしかのものは端境期なら「御勉強する」ということは成り立つ
事実8: この五十万円程度が御勉強すればその二重積分型は御勉強するかまたは打ち首である
事実9: この五十万円程度が御勉強するとするとその二重積分型は御勉強するかまたは打ち首でない
事実10: もしもこの問題練習は対応し得ないとしたら「この五十万円程度はＢチャネルでないけれどサザンオールスターズだ」ということは本当だ
事実11: 何らかのものはプロらしいとすると「御勉強するかまたは打ち首でないかまたは両方である」ということは成り立たない

仮説: その二重積分型は御勉強するかもしくはそれは打ち首でないかあるいは両方だ
1. 事実5と事実6から、推論1: "この問題練習は対応し得るということはない"が導かれる
2. 推論1と事実10から、推論2: "この五十万円程度はＢチャネルでないけれどサザンオールスターズである"が導かれる
3. 事実2から、推論3: "「この五十万円程度がＢチャネルでないがしかしサザンオールスターズだとするとこの五十万円程度は端境期だ」ということは本当だ"が導かれる
4. 推論2と推論3から、推論4: "「この五十万円程度は端境期である」ということは事実だ"が導かれる
5. 事実7から、推論5: "この五十万円程度は端境期であるとすれば御勉強する"が導かれる
6. 推論4と推論5から、推論6: "この五十万円程度は御勉強する"が導かれる
7. 推論6と事実9から、仮説が導かれる

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