とある物は御聞きするしそれに周回する
fact1: その発作性は大きいしそれは発する fact2: 「御聞きする」物はある fact3: もしあるものが続けるならそれは試薬特級だ fact4: もし仮にあのバインディングが均等割り額でそれが大きいならそのイズムは均等割り額でない fact5: そのキナーゼ活性は周回する fact6: あのバインディングは姉らしい fact7: 仮に何らかの物は町村民だとしたら「それは引き易くないけどすべすべする」ということは嘘だ fact8: あのバインディングは遠隔研修会だ fact9: あの落とし物が周回するということはないならばあのバインディングが均等割り額だしかつ大きい fact10: 仮にあの日柄は試薬特級であるならばそれはビットマップデータである fact11: 何かは均等割り額でないとすれば「破れ難いし御聞きする」ということは事実である fact12: この四拍は御聞きする fact13: あの落とし物は大きい fact14: あのバインディングは均等割り額である fact15: もしもあの落とし物が大きいならあのバインディングは大きい fact16: あのバインディングは破れ難いし均等割り額だ fact17: あのバインディングは当て付けがましいし加えて完工する fact18: あの落とし物は均等割り額だ fact19: 「この調査は引き易くないがしかしすべすべする」ということは嘘だとするとあの落とし物は周回しない fact20: あの落とし物は周回する fact21: あの基礎疾患は大きい fact22: 「周回する」物はある fact23: もし仮になにがしかのものが大きいならば周回する fact24: 破れ難い物は御聞きする fact25: もしもあの落とし物が御聞きするとすればそれは歩き回る
fact16 -> int1: あのバインディングは破れ難い; fact24 -> int2: もしあのバインディングが破れ難いとするとそれは御聞きする; int1 & int2 -> int3: 「あのバインディングは御聞きする」ということは事実である; fact13 & fact15 -> int4: あのバインディングは大きい; fact23 -> int5: 仮にあのバインディングが大きいなら周回する; int4 & int5 -> int6: あのバインディングは周回する; int3 & int6 -> int7: あのバインディングは御聞きするし更にそれは周回する; int7 -> hypothesis;
そのイズムは御聞きする
fact27 -> int8: 仮に「そのイズムは均等割り額でない」ということは確かであるならばそれは破れ難いしそれに御聞きする; fact26 -> int9: もしも「「この調査は町村民でない」ということは成り立つ」ということは偽であるとすると「それは引き易くない一方ですべすべする」ということは事実と異なる;
$facts$ = fact1: その発作性は大きいしそれは発する fact2: 「御聞きする」物はある fact3: もしあるものが続けるならそれは試薬特級だ fact4: もし仮にあのバインディングが均等割り額でそれが大きいならそのイズムは均等割り額でない fact5: そのキナーゼ活性は周回する fact6: あのバインディングは姉らしい fact7: 仮に何らかの物は町村民だとしたら「それは引き易くないけどすべすべする」ということは嘘だ fact8: あのバインディングは遠隔研修会だ fact9: あの落とし物が周回するということはないならばあのバインディングが均等割り額だしかつ大きい fact10: 仮にあの日柄は試薬特級であるならばそれはビットマップデータである fact11: 何かは均等割り額でないとすれば「破れ難いし御聞きする」ということは事実である fact12: この四拍は御聞きする fact13: あの落とし物は大きい fact14: あのバインディングは均等割り額である fact15: もしもあの落とし物が大きいならあのバインディングは大きい fact16: あのバインディングは破れ難いし均等割り額だ fact17: あのバインディングは当て付けがましいし加えて完工する fact18: あの落とし物は均等割り額だ fact19: 「この調査は引き易くないがしかしすべすべする」ということは嘘だとするとあの落とし物は周回しない fact20: あの落とし物は周回する fact21: あの基礎疾患は大きい fact22: 「周回する」物はある fact23: もし仮になにがしかのものが大きいならば周回する fact24: 破れ難い物は御聞きする fact25: もしもあの落とし物が御聞きするとすればそれは歩き回る ; $hypothesis$ = とある物は御聞きするしそれに周回する ; $proof$ = 
fact16 -> int1: あのバインディングは破れ難い; fact24 -> int2: もしあのバインディングが破れ難いとするとそれは御聞きする; int1 & int2 -> int3: 「あのバインディングは御聞きする」ということは事実である; fact13 & fact15 -> int4: あのバインディングは大きい; fact23 -> int5: 仮にあのバインディングが大きいなら周回する; int4 & int5 -> int6: あのバインディングは周回する; int3 & int6 -> int7: あのバインディングは御聞きするし更にそれは周回する; int7 -> hypothesis; __PROVED__
事実1: その発作性は大きいしそれは発する
事実2: 「御聞きする」物はある
事実3: もしあるものが続けるならそれは試薬特級だ
事実4: もし仮にあのバインディングが均等割り額でそれが大きいならそのイズムは均等割り額でない
事実5: そのキナーゼ活性は周回する
事実6: あのバインディングは姉らしい
事実7: 仮に何らかの物は町村民だとしたら「それは引き易くないけどすべすべする」ということは嘘だ
事実8: あのバインディングは遠隔研修会だ
事実9: あの落とし物が周回するということはないならばあのバインディングが均等割り額だしかつ大きい
事実10: 仮にあの日柄は試薬特級であるならばそれはビットマップデータである
事実11: 何かは均等割り額でないとすれば「破れ難いし御聞きする」ということは事実である
事実12: この四拍は御聞きする
事実13: あの落とし物は大きい
事実14: あのバインディングは均等割り額である
事実15: もしもあの落とし物が大きいならあのバインディングは大きい
事実16: あのバインディングは破れ難いし均等割り額だ
事実17: あのバインディングは当て付けがましいし加えて完工する
事実18: あの落とし物は均等割り額だ
事実19: 「この調査は引き易くないがしかしすべすべする」ということは嘘だとするとあの落とし物は周回しない
事実20: あの落とし物は周回する
事実21: あの基礎疾患は大きい
事実22: 「周回する」物はある
事実23: もし仮になにがしかのものが大きいならば周回する
事実24: 破れ難い物は御聞きする
事実25: もしもあの落とし物が御聞きするとすればそれは歩き回る

仮説: とある物は御聞きするしそれに周回する
1. 事実16から、推論1: "あのバインディングは破れ難い"が導かれる
2. 事実24から、推論2: "もしあのバインディングが破れ難いとするとそれは御聞きする"が導かれる
3. 推論1と推論2から、推論3: "「あのバインディングは御聞きする」ということは事実である"が導かれる
4. 事実13と事実15から、推論4: "あのバインディングは大きい"が導かれる
5. 事実23から、推論5: "仮にあのバインディングが大きいなら周回する"が導かれる
6. 推論4と推論5から、推論6: "あのバインディングは周回する"が導かれる
7. 推論3と推論6から、推論7: "あのバインディングは御聞きするし更にそれは周回する"が導かれる
8. 推論7から、仮説が導かれる

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