「「通り難いとすると「御贈りするけど鮟鱇でない」ということは間違いである」物はある」ということは成り立たない
fact1: 「仮に通り難いとすれば御贈りするし鮟鱇だということはない」物はある fact2: もし何らかのものは鮟鱇であるなら「それは化粧品メーカーだし加えて追撃しない」ということは成り立たない fact3: もし仮にそのマロンは通り難いなら「御贈りするけれど鮟鱇でない」ということは確かでない
fact3 -> hypothesis;
もしも「あの都市部は鮟鱇である」ということは間違っていないならば「化粧品メーカーである一方で追撃しない」ということは偽である
fact4 -> hypothesis;
$facts$ = fact1: 「仮に通り難いとすれば御贈りするし鮟鱇だということはない」物はある fact2: もし何らかのものは鮟鱇であるなら「それは化粧品メーカーだし加えて追撃しない」ということは成り立たない fact3: もし仮にそのマロンは通り難いなら「御贈りするけれど鮟鱇でない」ということは確かでない ; $hypothesis$ = 「「通り難いとすると「御贈りするけど鮟鱇でない」ということは間違いである」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「仮に通り難いとすれば御贈りするし鮟鱇だということはない」物はある
事実2: もし何らかのものは鮟鱇であるなら「それは化粧品メーカーだし加えて追撃しない」ということは成り立たない
事実3: もし仮にそのマロンは通り難いなら「御贈りするけれど鮟鱇でない」ということは確かでない

仮説: 「「通り難いとすると「御贈りするけど鮟鱇でない」ということは間違いである」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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