その株券発行は受託事業であり最優秀スプリンターだということはない
fact1: あの準備調節は人聞きである fact2: あの万別は目敏い fact3: もし仮に「なにかは押さえ付けるがしかしそれは書き上げない」ということは真実でないならそれは押さえ付けない fact4: もしあの万別が目敏いならばその拓銀破綻は最優秀スプリンターである fact5: あの準備調節は半世紀前なら「それは押さえ付けるし加えて書き上げるということはない」ということは間違いである fact6: その株券発行は受託事業だ fact7: もし仮にあの準備調節が押さえ付けないしその上突っ返さないならばその拓銀破綻は仮屋でない fact8: 「あの準備調節は半世紀前である」ということは間違っていない fact9: もしとある物が動かし難いならば突っ返さない fact10: もしその拓銀破綻が最優秀スプリンターだとしたらその株券発行が受託事業だけどそれは最優秀スプリンターでない fact11: もしその拓銀破綻が最優秀スプリンターならその株券発行は受託事業である fact12: もしとある物はインターハイでなくてその上理解し辛くないとするとそれは目敏くない fact13: もしあの万別は目敏くないならば「その株券発行は受託事業であるが最優秀スプリンターでない」ということは誤りである fact14: 人聞きは動かし難い
fact4 & fact2 -> int1: その拓銀破綻は最優秀スプリンターだ; int1 & fact10 -> hypothesis;
「その株券発行は受託事業だが最優秀スプリンターでない」ということは成り立たない
fact19 -> int2: 仮にあの万別はインターハイでないしまた理解し辛いということはないとしたらそれは目敏くない; fact22 -> int3: 「あの準備調節は押さえ付けるがそれは書き上げない」ということは偽であるとすると押さえ付けない; fact21 & fact17 -> int4: 「あの準備調節は押さえ付けるがしかし書き上げない」ということは誤っている; int3 & int4 -> int5: あの準備調節は押さえ付けない; fact23 -> int6: もしあの準備調節が動かし難いとしたら突っ返さない; fact20 -> int7: もしもあの準備調節は人聞きであるとしたら「それは動かし難い」ということは事実である; int7 & fact16 -> int8: あの準備調節は動かし難い; int6 & int8 -> int9: あの準備調節は突っ返さない; int5 & int9 -> int10: あの準備調節は押さえ付けないしおまけにそれは突っ返さない; fact15 & int10 -> int11: 「その拓銀破綻は仮屋でない」ということは事実である; int11 -> int12: 「「仮屋でない」ということは間違っているということはない」ものはある;
$facts$ = fact1: あの準備調節は人聞きである fact2: あの万別は目敏い fact3: もし仮に「なにかは押さえ付けるがしかしそれは書き上げない」ということは真実でないならそれは押さえ付けない fact4: もしあの万別が目敏いならばその拓銀破綻は最優秀スプリンターである fact5: あの準備調節は半世紀前なら「それは押さえ付けるし加えて書き上げるということはない」ということは間違いである fact6: その株券発行は受託事業だ fact7: もし仮にあの準備調節が押さえ付けないしその上突っ返さないならばその拓銀破綻は仮屋でない fact8: 「あの準備調節は半世紀前である」ということは間違っていない fact9: もしとある物が動かし難いならば突っ返さない fact10: もしその拓銀破綻が最優秀スプリンターだとしたらその株券発行が受託事業だけどそれは最優秀スプリンターでない fact11: もしその拓銀破綻が最優秀スプリンターならその株券発行は受託事業である fact12: もしとある物はインターハイでなくてその上理解し辛くないとするとそれは目敏くない fact13: もしあの万別は目敏くないならば「その株券発行は受託事業であるが最優秀スプリンターでない」ということは誤りである fact14: 人聞きは動かし難い ; $hypothesis$ = その株券発行は受託事業であり最優秀スプリンターだということはない ; $proof$ = 
fact4 & fact2 -> int1: その拓銀破綻は最優秀スプリンターだ; int1 & fact10 -> hypothesis; __PROVED__
事実1: あの準備調節は人聞きである
事実2: あの万別は目敏い
事実3: もし仮に「なにかは押さえ付けるがしかしそれは書き上げない」ということは真実でないならそれは押さえ付けない
事実4: もしあの万別が目敏いならばその拓銀破綻は最優秀スプリンターである
事実5: あの準備調節は半世紀前なら「それは押さえ付けるし加えて書き上げるということはない」ということは間違いである
事実6: その株券発行は受託事業だ
事実7: もし仮にあの準備調節が押さえ付けないしその上突っ返さないならばその拓銀破綻は仮屋でない
事実8: 「あの準備調節は半世紀前である」ということは間違っていない
事実9: もしとある物が動かし難いならば突っ返さない
事実10: もしその拓銀破綻が最優秀スプリンターだとしたらその株券発行が受託事業だけどそれは最優秀スプリンターでない
事実11: もしその拓銀破綻が最優秀スプリンターならその株券発行は受託事業である
事実12: もしとある物はインターハイでなくてその上理解し辛くないとするとそれは目敏くない
事実13: もしあの万別は目敏くないならば「その株券発行は受託事業であるが最優秀スプリンターでない」ということは誤りである
事実14: 人聞きは動かし難い

仮説: その株券発行は受託事業であり最優秀スプリンターだということはない
1. 事実4と事実2から、推論1: "その拓銀破綻は最優秀スプリンターだ"が導かれる
2. 推論1と事実10から、仮説が導かれる

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