もし仮に「この本件課税処分は分流する」ということは成り立てばその同・前は講義しないかもしくは買い主であるかどちらもだ
fact1: もしなにがしかの物が買い主でないとすれば属性ダイアログであるかあるいは分流する fact2: この本件課税処分は死刑で予想する fact3: とある物が講義するとしたらそれは買い主だということはない fact4: その同・前は回転出来るかあるいはそれは吸引管である fact5: もしこの本件課税処分が属性ダイアログだとするとその同・前は講義しないかまたはそれは買い主だ fact6: 仮にさもしくない物が分流するとしたら属性ダイアログだ fact7: この本件課税処分はさもしくない fact8: さもしい物は鈍くないけど分厚い fact9: もしもこの本件課税処分が講義するとしたらその同・前はさもしくないかもしくはそれは分流するかまたはどちらもだ fact10: 仮になにかは属性ダイアログであるかあるいは分流するとするとそのピンチはさもしい fact11: なにがしかの物は死刑であるとしたら講義する
void -> assump1: 以下のように仮定する。この本件課税処分は分流する; fact7 & assump1 -> int1: この本件課税処分はさもしくないけど分流する; fact6 -> int2: もし仮にこの本件課税処分はさもしくないがしかし分流すればそれは属性ダイアログだ; int1 & int2 -> int3: この本件課税処分は属性ダイアログだ; int3 & fact5 -> int4: その同・前は講義しないか買い主であるかもしくは両方だ; [assump1] & int4 -> hypothesis;
そのピンチは鈍いということはないがしかしそれは分厚い
fact16 -> int5: そのピンチがさもしいなら鈍くないけど分厚い; fact15 -> int6: もし仮にこの本件課税処分が買い主でないとしたら属性ダイアログであるかまたは分流するかもしくは両方ともである; fact12 -> int7: もしもこの本件課税処分が講義するとすれば買い主でない; fact17 -> int8: この本件課税処分が死刑ならそれは講義する; fact13 -> int9: この本件課税処分は死刑だ; int8 & int9 -> int10: この本件課税処分は講義する; int7 & int10 -> int11: この本件課税処分は買い主であるということはない; int6 & int11 -> int12: この本件課税処分は属性ダイアログであるか分流するかもしくはどちらもだ; int12 -> int13: 「属性ダイアログであるかあるいは分流するかあるいは両方である」物はある; int13 & fact14 -> int14: そのピンチはさもしい; int5 & int14 -> hypothesis;
$facts$ = fact1: もしなにがしかの物が買い主でないとすれば属性ダイアログであるかあるいは分流する fact2: この本件課税処分は死刑で予想する fact3: とある物が講義するとしたらそれは買い主だということはない fact4: その同・前は回転出来るかあるいはそれは吸引管である fact5: もしこの本件課税処分が属性ダイアログだとするとその同・前は講義しないかまたはそれは買い主だ fact6: 仮にさもしくない物が分流するとしたら属性ダイアログだ fact7: この本件課税処分はさもしくない fact8: さもしい物は鈍くないけど分厚い fact9: もしもこの本件課税処分が講義するとしたらその同・前はさもしくないかもしくはそれは分流するかまたはどちらもだ fact10: 仮になにかは属性ダイアログであるかあるいは分流するとするとそのピンチはさもしい fact11: なにがしかの物は死刑であるとしたら講義する ; $hypothesis$ = もし仮に「この本件課税処分は分流する」ということは成り立てばその同・前は講義しないかもしくは買い主であるかどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この本件課税処分は分流する; fact7 & assump1 -> int1: この本件課税処分はさもしくないけど分流する; fact6 -> int2: もし仮にこの本件課税処分はさもしくないがしかし分流すればそれは属性ダイアログだ; int1 & int2 -> int3: この本件課税処分は属性ダイアログだ; int3 & fact5 -> int4: その同・前は講義しないか買い主であるかもしくは両方だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしなにがしかの物が買い主でないとすれば属性ダイアログであるかあるいは分流する
事実2: この本件課税処分は死刑で予想する
事実3: とある物が講義するとしたらそれは買い主だということはない
事実4: その同・前は回転出来るかあるいはそれは吸引管である
事実5: もしこの本件課税処分が属性ダイアログだとするとその同・前は講義しないかまたはそれは買い主だ
事実6: 仮にさもしくない物が分流するとしたら属性ダイアログだ
事実7: この本件課税処分はさもしくない
事実8: さもしい物は鈍くないけど分厚い
事実9: もしもこの本件課税処分が講義するとしたらその同・前はさもしくないかもしくはそれは分流するかまたはどちらもだ
事実10: 仮になにかは属性ダイアログであるかあるいは分流するとするとそのピンチはさもしい
事実11: なにがしかの物は死刑であるとしたら講義する

仮説: もし仮に「この本件課税処分は分流する」ということは成り立てばその同・前は講義しないかもしくは買い主であるかどちらもだ
1. 仮定1: 以下のように仮定する。この本件課税処分は分流する
2. 事実7と仮定1から、推論1: "この本件課税処分はさもしくないけど分流する"が導かれる
3. 事実6から、推論2: "もし仮にこの本件課税処分はさもしくないがしかし分流すればそれは属性ダイアログだ"が導かれる
4. 推論1と推論2から、推論3: "この本件課税処分は属性ダイアログだ"が導かれる
5. 推論3と事実5から、推論4: "その同・前は講義しないか買い主であるかもしくは両方だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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