この鉤針は河川流量でない
fact1: この一部上場企業は交ぜる fact2: あらゆる物は成り難くない fact3: もしなにかは交ぜるか好ましとすれば河川流量であるということはない fact4: 仮になんらかの物が互い隔世代でないとするとそれは交ぜるしおまけに好まし fact5: もし仮に「「互い隔世代であるということはないけど河川流量だ」ということは本当でない」ものがあるならその急使は河川流量でない fact6: 仮にこの規模別傾向は乗船手続きだとしたら「この分国は粘り強いがしかしそれは成り難いということはない」ということは誤りである fact7: もしあの怠業が交ぜるとしたらこの鉤針は河川流量である fact8: この鉤針は内視鏡治療だ fact9: 仮にあるものは成り難いということはないならば「互い隔世代でないけれど河川流量である」ということは誤っている fact10: なんらかのものは暴走するかまたは拉致るとしたらそれは発動出来ない fact11: この鉤針は交ぜる
fact11 -> int1: この鉤針は交ぜるかまたは好ましかまたは両方である; fact3 -> int2: 仮にこの鉤針は交ぜるかもしくは好ましとすればそれは河川流量でない; int1 & int2 -> hypothesis;
fact11 -> int1: ({A}{a} v {B}{a}); fact3 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
その急使は継続し難いかもしくはそれは好ましかもしくは両方である
fact13 -> int3: 仮に「あの怠業は成り難くない」ということは確かであるとすると「それは互い隔世代でないがしかし河川流量だ」ということは偽だ; fact14 -> int4: あの怠業は成り難くない; int3 & int4 -> int5: 「あの怠業は互い隔世代でないが河川流量だ」ということは誤りだ; int5 -> int6: 互い隔世代でないが河川流量だというものはない; int6 -> int7: 「この鉤針は互い隔世代でないが河川流量である」ということは事実と異なる; int7 -> int8: 「「互い隔世代でないし更に河川流量だ」ということは成り立たない」ものはある; int8 & fact12 -> int9: その急使は河川流量でない;
$facts$ = fact1: この一部上場企業は交ぜる fact2: あらゆる物は成り難くない fact3: もしなにかは交ぜるか好ましとすれば河川流量であるということはない fact4: 仮になんらかの物が互い隔世代でないとするとそれは交ぜるしおまけに好まし fact5: もし仮に「「互い隔世代であるということはないけど河川流量だ」ということは本当でない」ものがあるならその急使は河川流量でない fact6: 仮にこの規模別傾向は乗船手続きだとしたら「この分国は粘り強いがしかしそれは成り難いということはない」ということは誤りである fact7: もしあの怠業が交ぜるとしたらこの鉤針は河川流量である fact8: この鉤針は内視鏡治療だ fact9: 仮にあるものは成り難いということはないならば「互い隔世代でないけれど河川流量である」ということは誤っている fact10: なんらかのものは暴走するかまたは拉致るとしたらそれは発動出来ない fact11: この鉤針は交ぜる ; $hypothesis$ = この鉤針は河川流量でない ; $proof$ = 
fact11 -> int1: この鉤針は交ぜるかまたは好ましかまたは両方である; fact3 -> int2: 仮にこの鉤針は交ぜるかもしくは好ましとすればそれは河川流量でない; int1 & int2 -> hypothesis; __PROVED__
事実1: この一部上場企業は交ぜる
事実2: あらゆる物は成り難くない
事実3: もしなにかは交ぜるか好ましとすれば河川流量であるということはない
事実4: 仮になんらかの物が互い隔世代でないとするとそれは交ぜるしおまけに好まし
事実5: もし仮に「「互い隔世代であるということはないけど河川流量だ」ということは本当でない」ものがあるならその急使は河川流量でない
事実6: 仮にこの規模別傾向は乗船手続きだとしたら「この分国は粘り強いがしかしそれは成り難いということはない」ということは誤りである
事実7: もしあの怠業が交ぜるとしたらこの鉤針は河川流量である
事実8: この鉤針は内視鏡治療だ
事実9: 仮にあるものは成り難いということはないならば「互い隔世代でないけれど河川流量である」ということは誤っている
事実10: なんらかのものは暴走するかまたは拉致るとしたらそれは発動出来ない
事実11: この鉤針は交ぜる

仮説: この鉤針は河川流量でない
1. 事実11から、推論1: "この鉤針は交ぜるかまたは好ましかまたは両方である"が導かれる
2. 事実3から、推論2: "仮にこの鉤針は交ぜるかもしくは好ましとすればそれは河川流量でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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