「この廻り越しは付き難いということはない一方で公布・施行する」ということは成り立たない
fact1: あの統括者は流れ者であるかあるいはそれは腑甲斐無い fact2: もし仮に「あの統括者は流れ者だ」ということは成り立つならむくつけしない fact3: もしもあるものは避け切れるが前回調査でないならば「付き難くない」ということは成り立つ fact4: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しは付き難くないが公布・施行する」ということは誤っている fact5: あのＭ四カービンは避け切れる fact6: この廻り越しは苦いけれど付き難くない fact7: しおらしくないものは同録であるかまたは試合運びであるかもしくはどちらもだ fact8: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しが付き難いしその上公布・施行する」ということは誤りである fact9: 仮に「その断腸は出会い易くないけどそれは見難い」ということは成り立つということはないとするとあのＭ四カービンは見難いということはない fact10: あの受信簿は公布・施行する fact11: 腑甲斐無い物はむくつけしない fact12: 見難くない物はみっとも可愛くないしおまけに否めない fact13: この廻り越しは避け切れない fact14: もしもあのＬ四‐五椎間関節は改正しないとしたら「その断腸は出会い易くないけれど見難い」ということは真実でない fact15: もしもみっとも可愛くないものが否めないならそれはしおらしくない fact16: あのＭ四カービンが同録であるならば避け切れるしかつそれは前回調査でない fact17: もし仮にあのＭ四カービンが同録だとすれば避け切れる fact18: あのＭ四カービンは同録である fact19: 「この廻り越しは付き難いしまた公布・施行する」ということは成り立たない fact20: もし仮にあの統括者がむくつけしないとすればあのＬ四‐五椎間関節は改正しない
fact16 & fact18 -> int1: あのＭ四カービンは避け切れるがしかしそれは前回調査であるということはない; fact3 -> int2: 「あのＭ四カービンは避け切れるが前回調査でない」ということは事実だとしたらそれは付き難くない; int1 & int2 -> int3: あのＭ四カービンは付き難くない; int3 & fact4 -> hypothesis;
この廻り越しは付き難くない一方でそれは公布・施行する
fact21 -> int4: もし仮にあのＭ四カービンがしおらしいということはないならば同録であるか試合運びであるかもしくはどちらもだ; fact25 -> int5: 仮にあのＭ四カービンがみっとも可愛くないし否めないとすればそれはしおらしくない; fact24 -> int6: もしもあのＭ四カービンが見難いということはないとすればそれはみっとも可愛くないし否めない; fact28 -> int7: もしあの統括者が腑甲斐無いならむくつけしない; fact27 & fact23 & int7 -> int8: あの統括者はむくつけしということはない; fact26 & int8 -> int9: あのＬ四‐五椎間関節は改正しない; fact29 & int9 -> int10: 「その断腸は出会い易くないけれどそれは見難い」ということは間違いだ; fact22 & int10 -> int11: あのＭ四カービンは見難くない; int6 & int11 -> int12: あのＭ四カービンはみっとも可愛くないし更にそれは否めない; int5 & int12 -> int13: あのＭ四カービンはしおらしくない; int4 & int13 -> int14: あのＭ四カービンは同録であるかあるいは試合運びであるかもしくはどちらもである;
$facts$ = fact1: あの統括者は流れ者であるかあるいはそれは腑甲斐無い fact2: もし仮に「あの統括者は流れ者だ」ということは成り立つならむくつけしない fact3: もしもあるものは避け切れるが前回調査でないならば「付き難くない」ということは成り立つ fact4: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しは付き難くないが公布・施行する」ということは誤っている fact5: あのＭ四カービンは避け切れる fact6: この廻り越しは苦いけれど付き難くない fact7: しおらしくないものは同録であるかまたは試合運びであるかもしくはどちらもだ fact8: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しが付き難いしその上公布・施行する」ということは誤りである fact9: 仮に「その断腸は出会い易くないけどそれは見難い」ということは成り立つということはないとするとあのＭ四カービンは見難いということはない fact10: あの受信簿は公布・施行する fact11: 腑甲斐無い物はむくつけしない fact12: 見難くない物はみっとも可愛くないしおまけに否めない fact13: この廻り越しは避け切れない fact14: もしもあのＬ四‐五椎間関節は改正しないとしたら「その断腸は出会い易くないけれど見難い」ということは真実でない fact15: もしもみっとも可愛くないものが否めないならそれはしおらしくない fact16: あのＭ四カービンが同録であるならば避け切れるしかつそれは前回調査でない fact17: もし仮にあのＭ四カービンが同録だとすれば避け切れる fact18: あのＭ四カービンは同録である fact19: 「この廻り越しは付き難いしまた公布・施行する」ということは成り立たない fact20: もし仮にあの統括者がむくつけしないとすればあのＬ四‐五椎間関節は改正しない ; $hypothesis$ = 「この廻り越しは付き難いということはない一方で公布・施行する」ということは成り立たない ; $proof$ = 
fact16 & fact18 -> int1: あのＭ四カービンは避け切れるがしかしそれは前回調査であるということはない; fact3 -> int2: 「あのＭ四カービンは避け切れるが前回調査でない」ということは事実だとしたらそれは付き難くない; int1 & int2 -> int3: あのＭ四カービンは付き難くない; int3 & fact4 -> hypothesis; __PROVED__
事実1: あの統括者は流れ者であるかあるいはそれは腑甲斐無い
事実2: もし仮に「あの統括者は流れ者だ」ということは成り立つならむくつけしない
事実3: もしもあるものは避け切れるが前回調査でないならば「付き難くない」ということは成り立つ
事実4: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しは付き難くないが公布・施行する」ということは誤っている
事実5: あのＭ四カービンは避け切れる
事実6: この廻り越しは苦いけれど付き難くない
事実7: しおらしくないものは同録であるかまたは試合運びであるかもしくはどちらもだ
事実8: もしもあのＭ四カービンは付き難くないとすれば「この廻り越しが付き難いしその上公布・施行する」ということは誤りである
事実9: 仮に「その断腸は出会い易くないけどそれは見難い」ということは成り立つということはないとするとあのＭ四カービンは見難いということはない
事実10: あの受信簿は公布・施行する
事実11: 腑甲斐無い物はむくつけしない
事実12: 見難くない物はみっとも可愛くないしおまけに否めない
事実13: この廻り越しは避け切れない
事実14: もしもあのＬ四‐五椎間関節は改正しないとしたら「その断腸は出会い易くないけれど見難い」ということは真実でない
事実15: もしもみっとも可愛くないものが否めないならそれはしおらしくない
事実16: あのＭ四カービンが同録であるならば避け切れるしかつそれは前回調査でない
事実17: もし仮にあのＭ四カービンが同録だとすれば避け切れる
事実18: あのＭ四カービンは同録である
事実19: 「この廻り越しは付き難いしまた公布・施行する」ということは成り立たない
事実20: もし仮にあの統括者がむくつけしないとすればあのＬ四‐五椎間関節は改正しない

仮説: 「この廻り越しは付き難いということはない一方で公布・施行する」ということは成り立たない
1. 事実16と事実18から、推論1: "あのＭ四カービンは避け切れるがしかしそれは前回調査であるということはない"が導かれる
2. 事実3から、推論2: "「あのＭ四カービンは避け切れるが前回調査でない」ということは事実だとしたらそれは付き難くない"が導かれる
3. 推論1と推論2から、推論3: "あのＭ四カービンは付き難くない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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