あの達磨は難攻不落だ
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: この青信号は峙つかもしくはそれは難攻不落であるか両方ともである
fact5 -> int1: この漢音は疾し; int1 & fact22 -> int2: この青信号は悍ましい; fact2 -> int3: 「この青信号は細いしさらに峙つ」ということは偽である; fact18 -> int4: 仮に「「この青信号は細くて更に峙つ」ということは成り立つということはない」ということは成り立つとするとそれは峙たない; int3 & int4 -> int5: この青信号は峙たない; int2 & int5 -> int6: この青信号は悍ましいけれど峙たない; int6 -> int7: 「悍ましいがしかし峙たない」ものはある; int7 & fact21 -> int8: あの達磨は軍全体だ; int8 -> int9: あの達磨は当月でないかもしくは軍全体であるか両方ともである; fact10 -> int10: もし仮にあの達磨は当月でないかあるいは軍全体であるか両方であるならば難攻不落でない; int9 & int10 -> hypothesis;
あの達磨は難攻不落である
fact27 -> int11: あの達磨が疾しないとするとそれは難攻不落であるしその上狭い;
$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$ = 
fact5 -> int1: この漢音は疾し; int1 & fact22 -> int2: この青信号は悍ましい; fact2 -> int3: 「この青信号は細いしさらに峙つ」ということは偽である; fact18 -> int4: 仮に「「この青信号は細くて更に峙つ」ということは成り立つということはない」ということは成り立つとするとそれは峙たない; int3 & int4 -> int5: この青信号は峙たない; int2 & int5 -> int6: この青信号は悍ましいけれど峙たない; int6 -> int7: 「悍ましいがしかし峙たない」ものはある; int7 & fact21 -> int8: あの達磨は軍全体だ; int8 -> int9: あの達磨は当月でないかもしくは軍全体であるか両方ともである; fact10 -> int10: もし仮にあの達磨は当月でないかあるいは軍全体であるか両方であるならば難攻不落でない; int9 & int10 -> hypothesis; __DISPROVED__
事実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. 事実5から、推論1: "この漢音は疾し"が導かれる
2. 推論1と事実22から、推論2: "この青信号は悍ましい"が導かれる
3. 事実2から、推論3: "「この青信号は細いしさらに峙つ」ということは偽である"が導かれる
4. 事実18から、推論4: "仮に「「この青信号は細くて更に峙つ」ということは成り立つということはない」ということは成り立つとするとそれは峙たない"が導かれる
5. 推論3と推論4から、推論5: "この青信号は峙たない"が導かれる
6. 推論2と推論5から、推論6: "この青信号は悍ましいけれど峙たない"が導かれる
7. 推論6から、推論7: "「悍ましいがしかし峙たない」ものはある"が導かれる
8. 推論7と事実21から、推論8: "あの達磨は軍全体だ"が導かれる
9. 推論8から、推論9: "あの達磨は当月でないかもしくは軍全体であるか両方ともである"が導かれる
10. 事実10から、推論10: "もし仮にあの達磨は当月でないかあるいは軍全体であるか両方であるならば難攻不落でない"が導かれる
11. 推論9と推論10から、仮説が否定される

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