あの手掛かり無しは仕方無くない
fact1: あの一定範囲は木目細かいけれど仕方無くない fact2: あの手掛かり無しは質問しない fact3: 仕方無いものが対応であるということはないとしたらあの柔肌は質問しない fact4: あの夫婦別姓は質問しない fact5: そのデータフォルダ容量は戦わない fact6: もし仮に何かは戦わないとしたら受験勉強でないし加えて瞬く fact7: もし「そのデータフォルダ容量は戦わないけど清し」ということは偽であるとしたらあの手掛かり無しは手強い fact8: もしそのデータフォルダ容量が戦うならばあの手掛かり無しは手強い fact9: もしあの柔肌は質問しないならば「あの手掛かり無しは手強いしまた清し」ということは間違っている fact10: もしもあの手掛かり無しは手強いが質問しないなら「それは仕方無い」ということは確かだ fact11: そのデータフォルダ容量は清しない
void -> assump1: 以下のように仮定する。そのデータフォルダ容量は戦わないけれどそれは清し; assump1 -> int1: そのデータフォルダ容量は清し; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのデータフォルダ容量は戦わない一方で清し」ということは偽だ; int3 & fact7 -> int4: あの手掛かり無しは手強い; int4 & fact2 -> int5: あの手掛かり無しは手強いけど質問しない; int5 & fact10 -> hypothesis;
そのデータフォルダ容量は受験勉強でないけど瞬く
fact14 -> int6: もし仮にそのデータフォルダ容量が戦わないならそれは受験勉強でないしさらにそれは瞬く;
$facts$ = fact1: あの一定範囲は木目細かいけれど仕方無くない fact2: あの手掛かり無しは質問しない fact3: 仕方無いものが対応であるということはないとしたらあの柔肌は質問しない fact4: あの夫婦別姓は質問しない fact5: そのデータフォルダ容量は戦わない fact6: もし仮に何かは戦わないとしたら受験勉強でないし加えて瞬く fact7: もし「そのデータフォルダ容量は戦わないけど清し」ということは偽であるとしたらあの手掛かり無しは手強い fact8: もしそのデータフォルダ容量が戦うならばあの手掛かり無しは手強い fact9: もしあの柔肌は質問しないならば「あの手掛かり無しは手強いしまた清し」ということは間違っている fact10: もしもあの手掛かり無しは手強いが質問しないなら「それは仕方無い」ということは確かだ fact11: そのデータフォルダ容量は清しない ; $hypothesis$ = あの手掛かり無しは仕方無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのデータフォルダ容量は戦わないけれどそれは清し; assump1 -> int1: そのデータフォルダ容量は清し; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのデータフォルダ容量は戦わない一方で清し」ということは偽だ; int3 & fact7 -> int4: あの手掛かり無しは手強い; int4 & fact2 -> int5: あの手掛かり無しは手強いけど質問しない; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: あの一定範囲は木目細かいけれど仕方無くない
事実2: あの手掛かり無しは質問しない
事実3: 仕方無いものが対応であるということはないとしたらあの柔肌は質問しない
事実4: あの夫婦別姓は質問しない
事実5: そのデータフォルダ容量は戦わない
事実6: もし仮に何かは戦わないとしたら受験勉強でないし加えて瞬く
事実7: もし「そのデータフォルダ容量は戦わないけど清し」ということは偽であるとしたらあの手掛かり無しは手強い
事実8: もしそのデータフォルダ容量が戦うならばあの手掛かり無しは手強い
事実9: もしあの柔肌は質問しないならば「あの手掛かり無しは手強いしまた清し」ということは間違っている
事実10: もしもあの手掛かり無しは手強いが質問しないなら「それは仕方無い」ということは確かだ
事実11: そのデータフォルダ容量は清しない

仮説: あの手掛かり無しは仕方無くない
1. 仮定1: 以下のように仮定する。そのデータフォルダ容量は戦わないけれどそれは清し
2. 仮定1から、推論1: "そのデータフォルダ容量は清し"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「そのデータフォルダ容量は戦わない一方で清し」ということは偽だ"が導かれる
5. 推論3と事実7から、推論4: "あの手掛かり無しは手強い"が導かれる
6. 推論4と事実2から、推論5: "あの手掛かり無しは手強いけど質問しない"が導かれる
7. 推論5と事実10から、仮説が否定される

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