あの本朝は喋り難くない
fact1: 仮に何らかのものはげっそりしないがしかし溜まれば喋り難くない fact2: この大ラーフェンスブルク会社は喋り難い fact3: 何もかもはげっそりするしそれは喋り難い fact4: 「あの本朝は雁である」ということは成り立つ fact5: その約二千人は急展開するしげっそりする
fact3 -> int1: あの本朝はげっそりするし喋り難い; int1 -> hypothesis;
あの本朝は喋り難くない
fact6 -> int2: もしあの本朝はげっそりしないけれど溜まるならそれは喋り難くない;
$facts$ = fact1: 仮に何らかのものはげっそりしないがしかし溜まれば喋り難くない fact2: この大ラーフェンスブルク会社は喋り難い fact3: 何もかもはげっそりするしそれは喋り難い fact4: 「あの本朝は雁である」ということは成り立つ fact5: その約二千人は急展開するしげっそりする ; $hypothesis$ = あの本朝は喋り難くない ; $proof$ = 
fact3 -> int1: あの本朝はげっそりするし喋り難い; int1 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものはげっそりしないがしかし溜まれば喋り難くない
事実2: この大ラーフェンスブルク会社は喋り難い
事実3: 何もかもはげっそりするしそれは喋り難い
事実4: 「あの本朝は雁である」ということは成り立つ
事実5: その約二千人は急展開するしげっそりする

仮説: あの本朝は喋り難くない
1. 事実3から、推論1: "あの本朝はげっそりするし喋り難い"が導かれる
2. 推論1から、仮説が否定される

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