この分子質量は再配分する
fact1: もし仮に何かは笑い掛けないならば気高くて更にそれは涙脆い fact2: もしもこの小隊長が見窄らしいならばこの分子質量は再配分する fact3: 仮にあのステップ部が分乗するならあのリスクヘッジは分乗する fact4: この小隊長は長衣であるし見窄らしい fact5: もし仮に「このＲＩＺＥは合わせ易くない」ということは確かであるとしたら「その市場システムはアンダースタンディングでなくてまた時価ヘッジ会計でない」ということは嘘だ fact6: もし仮にあのリスクヘッジがあくどいし更に分乗するとすると「あの滌除制度は笑い掛けない」ということは成り立つ fact7: あの滌除制度は気高いとすると「この小隊長は考え難いか看護婦でないかどちらもだ」ということは誤っている fact8: もし仮にこの小隊長が再配分するとしたらこの分子質量は見窄らしい fact9: その市場システムがあくどいならあのリスクヘッジはあくどい fact10: このＲＩＺＥは合わせ易くない fact11: もし仮に「その市場システムはアンダースタンディングであるということはなくてそれに時価ヘッジ会計でない」ということは誤りだとすればそれは時価ヘッジ会計である fact12: もしこの小隊長が再配分するし見窄らしいならばこの分子質量は再配分しない fact13: 仮に「「とある物は考え難いかまたは看護婦でないかあるいはどちらもだ」ということは本当だ」ということは偽であるなら長衣であるということはない fact14: もしもこの小隊長が再配分しないならばその負荷調整は見窄らしいししかも長衣だ fact15: 「その市場システムは時価ヘッジ会計だ」ということは成り立つとするとあくどい fact16: 仮に「ある物は長衣でない」ということは確かであるとすればそれは再配分するし更に見窄らしい
fact4 -> int1: この小隊長は見窄らしい; int1 & fact2 -> hypothesis;
この分子質量は再配分しない
fact25 -> int2: もし仮にこの小隊長は長衣であるということはないとすれば再配分するしその上見窄らしい; fact19 -> int3: もし仮に「この小隊長は考え難いかもしくは看護婦でないかもしくは両方だ」ということは成り立つということはないなら長衣であるということはない; fact17 -> int4: あの滌除制度が笑い掛けないとすればそれは気高くて加えて涙脆い; fact21 & fact22 -> int5: 「その市場システムはアンダースタンディングでなくて時価ヘッジ会計だということはない」ということは偽だ; fact27 & int5 -> int6: その市場システムは時価ヘッジ会計である; fact26 & int6 -> int7: 「その市場システムはあくどい」ということは成り立つ; fact23 & int7 -> int8: あのリスクヘッジはあくどい;
$facts$ = fact1: もし仮に何かは笑い掛けないならば気高くて更にそれは涙脆い fact2: もしもこの小隊長が見窄らしいならばこの分子質量は再配分する fact3: 仮にあのステップ部が分乗するならあのリスクヘッジは分乗する fact4: この小隊長は長衣であるし見窄らしい fact5: もし仮に「このＲＩＺＥは合わせ易くない」ということは確かであるとしたら「その市場システムはアンダースタンディングでなくてまた時価ヘッジ会計でない」ということは嘘だ fact6: もし仮にあのリスクヘッジがあくどいし更に分乗するとすると「あの滌除制度は笑い掛けない」ということは成り立つ fact7: あの滌除制度は気高いとすると「この小隊長は考え難いか看護婦でないかどちらもだ」ということは誤っている fact8: もし仮にこの小隊長が再配分するとしたらこの分子質量は見窄らしい fact9: その市場システムがあくどいならあのリスクヘッジはあくどい fact10: このＲＩＺＥは合わせ易くない fact11: もし仮に「その市場システムはアンダースタンディングであるということはなくてそれに時価ヘッジ会計でない」ということは誤りだとすればそれは時価ヘッジ会計である fact12: もしこの小隊長が再配分するし見窄らしいならばこの分子質量は再配分しない fact13: 仮に「「とある物は考え難いかまたは看護婦でないかあるいはどちらもだ」ということは本当だ」ということは偽であるなら長衣であるということはない fact14: もしもこの小隊長が再配分しないならばその負荷調整は見窄らしいししかも長衣だ fact15: 「その市場システムは時価ヘッジ会計だ」ということは成り立つとするとあくどい fact16: 仮に「ある物は長衣でない」ということは確かであるとすればそれは再配分するし更に見窄らしい ; $hypothesis$ = この分子質量は再配分する ; $proof$ = 
fact4 -> int1: この小隊長は見窄らしい; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に何かは笑い掛けないならば気高くて更にそれは涙脆い
事実2: もしもこの小隊長が見窄らしいならばこの分子質量は再配分する
事実3: 仮にあのステップ部が分乗するならあのリスクヘッジは分乗する
事実4: この小隊長は長衣であるし見窄らしい
事実5: もし仮に「このＲＩＺＥは合わせ易くない」ということは確かであるとしたら「その市場システムはアンダースタンディングでなくてまた時価ヘッジ会計でない」ということは嘘だ
事実6: もし仮にあのリスクヘッジがあくどいし更に分乗するとすると「あの滌除制度は笑い掛けない」ということは成り立つ
事実7: あの滌除制度は気高いとすると「この小隊長は考え難いか看護婦でないかどちらもだ」ということは誤っている
事実8: もし仮にこの小隊長が再配分するとしたらこの分子質量は見窄らしい
事実9: その市場システムがあくどいならあのリスクヘッジはあくどい
事実10: このＲＩＺＥは合わせ易くない
事実11: もし仮に「その市場システムはアンダースタンディングであるということはなくてそれに時価ヘッジ会計でない」ということは誤りだとすればそれは時価ヘッジ会計である
事実12: もしこの小隊長が再配分するし見窄らしいならばこの分子質量は再配分しない
事実13: 仮に「「とある物は考え難いかまたは看護婦でないかあるいはどちらもだ」ということは本当だ」ということは偽であるなら長衣であるということはない
事実14: もしもこの小隊長が再配分しないならばその負荷調整は見窄らしいししかも長衣だ
事実15: 「その市場システムは時価ヘッジ会計だ」ということは成り立つとするとあくどい
事実16: 仮に「ある物は長衣でない」ということは確かであるとすればそれは再配分するし更に見窄らしい

仮説: この分子質量は再配分する
1. 事実4から、推論1: "この小隊長は見窄らしい"が導かれる
2. 推論1と事実2から、仮説が導かれる

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