「その諸組織は引き離さない」ということは確かである
fact1: 「その吉原会所は廊下側であるししかも出せる」ということは正しくない fact2: 「「擦り切れないしＭＯＭでない」ということは成り立たない」物はある fact3: もし仮にあの担保価値が多用しないとすればあの上り列車はキャリア組である fact4: もし仮に「「廊下側でおまけに出せる」ということは事実と異なる」ものがあるならその発掘作業は廊下側でない fact5: もし仮になにかは多用するなら「キャリア組でないしかつ引き離さない」ということは成り立たない fact6: 「キャリア組である」ものがあるとすればあの無執着は厳つい fact7: もしその無執着が震わすし素っ飛ぶとするとあの上り列車は素っ飛ばない fact8: 把握し易い物は多用する fact9: あの担保価値は多用しない fact10: もし仮にその無執着がキャリア組でないならあの上り列車は把握し易い fact11: あの助っ人は多用しない fact12: その無執着が把握し易くないならばあの諸組織は引き離さない fact13: もしなんらかの物がキャリア組であるとしたらその無執着は厳つい一方でそれは把握し易くない fact14: もしもあの上り列車が素っ飛ばないとしたらあの担保価値は素っ飛ばない fact15: もし仮にあるものが廊下側でないとするとそれはだらし無くないしそれは震わさない fact16: もし仮にその発掘作業がだらし無くないしまたそれが震わさないとしたらその無執着は震わす fact17: もしもあの担保価値が素っ飛ばないとすれば厳ついしそれは把握し易い
fact3 & fact9 -> int1: あの上り列車はキャリア組である; int1 -> int2: 「キャリア組である」ものはある; int2 & fact13 -> int3: 「その無執着は厳ついけど把握し易くない」ということは確かである; int3 -> int4: その無執着は把握し易くない; int4 & fact12 -> hypothesis;
「その諸組織は引き離す」ということは事実だ
fact22 -> int5: もしもあの担保価値は多用するなら「キャリア組でないし引き離さない」ということは誤っている; fact27 -> int6: もし仮にあの担保価値が把握し易いならばそれは多用する; fact19 -> int7: もし仮にその発掘作業が廊下側でないならそれはだらし無くなくて加えてそれは震わさない; fact24 -> int8: 「「廊下側であるし出せる」ということは成り立たない」ものはある; int8 & fact18 -> int9: その発掘作業は廊下側でない; int7 & int9 -> int10: その発掘作業はだらし無くないしそれに震わさない; fact25 & int10 -> int11: その無執着は震わす;
$facts$ = fact1: 「その吉原会所は廊下側であるししかも出せる」ということは正しくない fact2: 「「擦り切れないしＭＯＭでない」ということは成り立たない」物はある fact3: もし仮にあの担保価値が多用しないとすればあの上り列車はキャリア組である fact4: もし仮に「「廊下側でおまけに出せる」ということは事実と異なる」ものがあるならその発掘作業は廊下側でない fact5: もし仮になにかは多用するなら「キャリア組でないしかつ引き離さない」ということは成り立たない fact6: 「キャリア組である」ものがあるとすればあの無執着は厳つい fact7: もしその無執着が震わすし素っ飛ぶとするとあの上り列車は素っ飛ばない fact8: 把握し易い物は多用する fact9: あの担保価値は多用しない fact10: もし仮にその無執着がキャリア組でないならあの上り列車は把握し易い fact11: あの助っ人は多用しない fact12: その無執着が把握し易くないならばあの諸組織は引き離さない fact13: もしなんらかの物がキャリア組であるとしたらその無執着は厳つい一方でそれは把握し易くない fact14: もしもあの上り列車が素っ飛ばないとしたらあの担保価値は素っ飛ばない fact15: もし仮にあるものが廊下側でないとするとそれはだらし無くないしそれは震わさない fact16: もし仮にその発掘作業がだらし無くないしまたそれが震わさないとしたらその無執着は震わす fact17: もしもあの担保価値が素っ飛ばないとすれば厳ついしそれは把握し易い ; $hypothesis$ = 「その諸組織は引き離さない」ということは確かである ; $proof$ = 
fact3 & fact9 -> int1: あの上り列車はキャリア組である; int1 -> int2: 「キャリア組である」ものはある; int2 & fact13 -> int3: 「その無執着は厳ついけど把握し易くない」ということは確かである; int3 -> int4: その無執着は把握し易くない; int4 & fact12 -> hypothesis; __PROVED__
事実1: 「その吉原会所は廊下側であるししかも出せる」ということは正しくない
事実2: 「「擦り切れないしＭＯＭでない」ということは成り立たない」物はある
事実3: もし仮にあの担保価値が多用しないとすればあの上り列車はキャリア組である
事実4: もし仮に「「廊下側でおまけに出せる」ということは事実と異なる」ものがあるならその発掘作業は廊下側でない
事実5: もし仮になにかは多用するなら「キャリア組でないしかつ引き離さない」ということは成り立たない
事実6: 「キャリア組である」ものがあるとすればあの無執着は厳つい
事実7: もしその無執着が震わすし素っ飛ぶとするとあの上り列車は素っ飛ばない
事実8: 把握し易い物は多用する
事実9: あの担保価値は多用しない
事実10: もし仮にその無執着がキャリア組でないならあの上り列車は把握し易い
事実11: あの助っ人は多用しない
事実12: その無執着が把握し易くないならばあの諸組織は引き離さない
事実13: もしなんらかの物がキャリア組であるとしたらその無執着は厳つい一方でそれは把握し易くない
事実14: もしもあの上り列車が素っ飛ばないとしたらあの担保価値は素っ飛ばない
事実15: もし仮にあるものが廊下側でないとするとそれはだらし無くないしそれは震わさない
事実16: もし仮にその発掘作業がだらし無くないしまたそれが震わさないとしたらその無執着は震わす
事実17: もしもあの担保価値が素っ飛ばないとすれば厳ついしそれは把握し易い

仮説: 「その諸組織は引き離さない」ということは確かである
1. 事実3と事実9から、推論1: "あの上り列車はキャリア組である"が導かれる
2. 推論1から、推論2: "「キャリア組である」ものはある"が導かれる
3. 推論2と事実13から、推論3: "「その無執着は厳ついけど把握し易くない」ということは確かである"が導かれる
4. 推論3から、推論4: "その無執着は把握し易くない"が導かれる
5. 推論4と事実12から、仮説が導かれる

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