「ある物は誘発し易くて更に見付け難い」ということは嘘だ
fact1: 「縦走する」ものはある fact2: あの再統合は見付け難い fact3: 仮にあの再統合が介しないとすれば性分らしい fact4: あの小規模信金は口汚い fact5: もしなんらかのものが縦走するとすればあの小規模信金は短期資金である fact6: 仮にあの小規模信金が性分らしいとすると誘発し易い fact7: もし仮にあの小規模信金は誘発し易くないとすれば「あの再統合は人懐こくない一方で介する」ということは成り立たない fact8: なにかは見付け難い fact9: あの再統合は薄暗くない fact10: もしも「縦走する」物があるとしたらあの小規模信金はＡＣＦであるしその上それは短期資金である fact11: あの小規模信金は短期資金である fact12: ＡＣＦは見付け難い fact13: もし「あの再統合は人懐こくないがしかし介する」ということは誤っているとすると性分らしい fact14: 「誘発し易い」物はある fact15: 誘発し易い物は短期資金である fact16: 仮にあの再統合が性分らしいならばそれは薄暗い fact17: ある物は介するしさらに見付け難い
void -> assump1: 以下のように仮定する。あの小規模信金は誘発し易くない; fact7 & assump1 -> int1: 「あの再統合は人懐こいということはない一方で介する」ということは確かだということはない; int1 & fact13 -> int2: あの再統合は性分らしい; int2 & fact16 -> int3: あの再統合は薄暗い; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの小規模信金は誘発し易い; fact10 & fact1 -> int6: あの小規模信金はＡＣＦであるしかつ短期資金である; int6 -> int7: あの小規模信金はＡＣＦである; fact12 -> int8: もし仮にあの小規模信金はＡＣＦであるなら「それは見付け難い」ということは誤っていない; int7 & int8 -> int9: あの小規模信金は見付け難い; int5 & int9 -> int10: あの小規模信金は誘発し易くてまた見付け難い; int10 -> hypothesis;
$facts$ = fact1: 「縦走する」ものはある fact2: あの再統合は見付け難い fact3: 仮にあの再統合が介しないとすれば性分らしい fact4: あの小規模信金は口汚い fact5: もしなんらかのものが縦走するとすればあの小規模信金は短期資金である fact6: 仮にあの小規模信金が性分らしいとすると誘発し易い fact7: もし仮にあの小規模信金は誘発し易くないとすれば「あの再統合は人懐こくない一方で介する」ということは成り立たない fact8: なにかは見付け難い fact9: あの再統合は薄暗くない fact10: もしも「縦走する」物があるとしたらあの小規模信金はＡＣＦであるしその上それは短期資金である fact11: あの小規模信金は短期資金である fact12: ＡＣＦは見付け難い fact13: もし「あの再統合は人懐こくないがしかし介する」ということは誤っているとすると性分らしい fact14: 「誘発し易い」物はある fact15: 誘発し易い物は短期資金である fact16: 仮にあの再統合が性分らしいならばそれは薄暗い fact17: ある物は介するしさらに見付け難い ; $hypothesis$ = 「ある物は誘発し易くて更に見付け難い」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの小規模信金は誘発し易くない; fact7 & assump1 -> int1: 「あの再統合は人懐こいということはない一方で介する」ということは確かだということはない; int1 & fact13 -> int2: あの再統合は性分らしい; int2 & fact16 -> int3: あの再統合は薄暗い; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの小規模信金は誘発し易い; fact10 & fact1 -> int6: あの小規模信金はＡＣＦであるしかつ短期資金である; int6 -> int7: あの小規模信金はＡＣＦである; fact12 -> int8: もし仮にあの小規模信金はＡＣＦであるなら「それは見付け難い」ということは誤っていない; int7 & int8 -> int9: あの小規模信金は見付け難い; int5 & int9 -> int10: あの小規模信金は誘発し易くてまた見付け難い; int10 -> hypothesis; __DISPROVED__
事実1: 「縦走する」ものはある
事実2: あの再統合は見付け難い
事実3: 仮にあの再統合が介しないとすれば性分らしい
事実4: あの小規模信金は口汚い
事実5: もしなんらかのものが縦走するとすればあの小規模信金は短期資金である
事実6: 仮にあの小規模信金が性分らしいとすると誘発し易い
事実7: もし仮にあの小規模信金は誘発し易くないとすれば「あの再統合は人懐こくない一方で介する」ということは成り立たない
事実8: なにかは見付け難い
事実9: あの再統合は薄暗くない
事実10: もしも「縦走する」物があるとしたらあの小規模信金はＡＣＦであるしその上それは短期資金である
事実11: あの小規模信金は短期資金である
事実12: ＡＣＦは見付け難い
事実13: もし「あの再統合は人懐こくないがしかし介する」ということは誤っているとすると性分らしい
事実14: 「誘発し易い」物はある
事実15: 誘発し易い物は短期資金である
事実16: 仮にあの再統合が性分らしいならばそれは薄暗い
事実17: ある物は介するしさらに見付け難い

仮説: 「ある物は誘発し易くて更に見付け難い」ということは嘘だ
1. 仮定1: 以下のように仮定する。あの小規模信金は誘発し易くない
2. 事実7と仮定1から、推論1: "「あの再統合は人懐こいということはない一方で介する」ということは確かだということはない"が導かれる
3. 推論1と事実13から、推論2: "あの再統合は性分らしい"が導かれる
4. 推論2と事実16から、推論3: "あの再統合は薄暗い"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの小規模信金は誘発し易い"が導かれる
7. 事実10と事実1から、推論6: "あの小規模信金はＡＣＦであるしかつ短期資金である"が導かれる
8. 推論6から、推論7: "あの小規模信金はＡＣＦである"が導かれる
9. 事実12から、推論8: "もし仮にあの小規模信金はＡＣＦであるなら「それは見付け難い」ということは誤っていない"が導かれる
10. 推論7と推論8から、推論9: "あの小規模信金は見付け難い"が導かれる
11. 推論5と推論9から、推論10: "あの小規模信金は誘発し易くてまた見付け難い"が導かれる
12. 推論10から、仮説が否定される

よって、仮説が否定されました。