あの邯鄲は来し易くないしかつ狭窄するということはない
fact1: もし「あの前代は来し易いし更に蠢く」ということは誤りならばあの邯鄲は来し易くない fact2: もしあの前代が忍者だということはないとすればあの邯鄲は狭窄するがしかし遣っ付けない fact3: 「もしあの邯鄲は忍者だとしたら「「あの邯鄲は来し易くないし狭窄しない」ということは間違いでない」ということは成り立たない」ということは正しい fact4: あの邯鄲が狭窄する一方で遣っ付けないならばあの弁済額は狭窄する fact5: もしもこのコントロール不良が忍者でないしそれにそれが蠢かないならばあの前代は忍者でない fact6: あの邯鄲は忍者である fact7: そのモルトは癖っ毛である fact8: そのモルトは漏れ易い fact9: 「あの軍需は来し易いけれど古ぼけない」ということは真実でない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
あの邯鄲は来し易くないしその上狭窄しない
$facts$ = fact1: もし「あの前代は来し易いし更に蠢く」ということは誤りならばあの邯鄲は来し易くない fact2: もしあの前代が忍者だということはないとすればあの邯鄲は狭窄するがしかし遣っ付けない fact3: 「もしあの邯鄲は忍者だとしたら「「あの邯鄲は来し易くないし狭窄しない」ということは間違いでない」ということは成り立たない」ということは正しい fact4: あの邯鄲が狭窄する一方で遣っ付けないならばあの弁済額は狭窄する fact5: もしもこのコントロール不良が忍者でないしそれにそれが蠢かないならばあの前代は忍者でない fact6: あの邯鄲は忍者である fact7: そのモルトは癖っ毛である fact8: そのモルトは漏れ易い fact9: 「あの軍需は来し易いけれど古ぼけない」ということは真実でない ; $hypothesis$ = あの邯鄲は来し易くないしかつ狭窄するということはない ; $proof$ = 
fact3 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「あの前代は来し易いし更に蠢く」ということは誤りならばあの邯鄲は来し易くない
事実2: もしあの前代が忍者だということはないとすればあの邯鄲は狭窄するがしかし遣っ付けない
事実3: 「もしあの邯鄲は忍者だとしたら「「あの邯鄲は来し易くないし狭窄しない」ということは間違いでない」ということは成り立たない」ということは正しい
事実4: あの邯鄲が狭窄する一方で遣っ付けないならばあの弁済額は狭窄する
事実5: もしもこのコントロール不良が忍者でないしそれにそれが蠢かないならばあの前代は忍者でない
事実6: あの邯鄲は忍者である
事実7: そのモルトは癖っ毛である
事実8: そのモルトは漏れ易い
事実9: 「あの軍需は来し易いけれど古ぼけない」ということは真実でない

仮説: あの邯鄲は来し易くないしかつ狭窄するということはない
1. 事実3と事実6から、仮説が否定される

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