「もしもその湖沼がかじかめばその湖沼は台頭するけれど貧農層でない」ということは嘘である
fact1: その湖沼は争論であるしかつ精白する fact2: なにがしかのものが精白するということはないならば付け易いし加えて争論である fact3: もし仮にその湖沼が争論であるしそれにそれはかじかむなら「それは付け易くない」ということは本当である fact4: その湖沼がかじかむとしたら貧農層でない fact5: 何かは交え用いるとすればそれは貧農層でない fact6: 付け易くない物は交え用いる fact7: もしその湖沼が災いするとしたら通所系サービスでない fact8: その湖沼は貧農層だということはない fact9: その湖沼は精白する fact10: もしも何らかの物が交え用いるとすればそれは台頭するしかつそれは貧農層でない
fact1 -> int1: その湖沼は争論だ; void -> assump1: 以下のように仮定する。その湖沼はかじかむ; int1 & assump1 -> int2: その湖沼は争論だし加えてかじかむ; int2 & fact3 -> int3: その湖沼は付け易くない; fact6 -> int4: 「その湖沼は付け易くない」ということは事実と異ならないとすると「それは交え用いる」ということは成り立つ; int3 & int4 -> int5: 「その湖沼は交え用いる」ということは成り立つ; fact10 -> int6: 仮にその湖沼が交え用いるとすれば台頭するし加えてそれは貧農層でない; int5 & int6 -> int7: その湖沼は台頭するけれどそれは貧農層でない; [assump1] & int7 -> hypothesis;
あの一太刀は付け易い
fact11 -> int8: もしあの一太刀が精白しないならばそれは付け易いし争論である;
$facts$ = fact1: その湖沼は争論であるしかつ精白する fact2: なにがしかのものが精白するということはないならば付け易いし加えて争論である fact3: もし仮にその湖沼が争論であるしそれにそれはかじかむなら「それは付け易くない」ということは本当である fact4: その湖沼がかじかむとしたら貧農層でない fact5: 何かは交え用いるとすればそれは貧農層でない fact6: 付け易くない物は交え用いる fact7: もしその湖沼が災いするとしたら通所系サービスでない fact8: その湖沼は貧農層だということはない fact9: その湖沼は精白する fact10: もしも何らかの物が交え用いるとすればそれは台頭するしかつそれは貧農層でない ; $hypothesis$ = 「もしもその湖沼がかじかめばその湖沼は台頭するけれど貧農層でない」ということは嘘である ; $proof$ = 
fact1 -> int1: その湖沼は争論だ; void -> assump1: 以下のように仮定する。その湖沼はかじかむ; int1 & assump1 -> int2: その湖沼は争論だし加えてかじかむ; int2 & fact3 -> int3: その湖沼は付け易くない; fact6 -> int4: 「その湖沼は付け易くない」ということは事実と異ならないとすると「それは交え用いる」ということは成り立つ; int3 & int4 -> int5: 「その湖沼は交え用いる」ということは成り立つ; fact10 -> int6: 仮にその湖沼が交え用いるとすれば台頭するし加えてそれは貧農層でない; int5 & int6 -> int7: その湖沼は台頭するけれどそれは貧農層でない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その湖沼は争論であるしかつ精白する
事実2: なにがしかのものが精白するということはないならば付け易いし加えて争論である
事実3: もし仮にその湖沼が争論であるしそれにそれはかじかむなら「それは付け易くない」ということは本当である
事実4: その湖沼がかじかむとしたら貧農層でない
事実5: 何かは交え用いるとすればそれは貧農層でない
事実6: 付け易くない物は交え用いる
事実7: もしその湖沼が災いするとしたら通所系サービスでない
事実8: その湖沼は貧農層だということはない
事実9: その湖沼は精白する
事実10: もしも何らかの物が交え用いるとすればそれは台頭するしかつそれは貧農層でない

仮説: 「もしもその湖沼がかじかめばその湖沼は台頭するけれど貧農層でない」ということは嘘である
1. 事実1から、推論1: "その湖沼は争論だ"が導かれる
2. 仮定1: 以下のように仮定する。その湖沼はかじかむ
3. 推論1と仮定1から、推論2: "その湖沼は争論だし加えてかじかむ"が導かれる
4. 推論2と事実3から、推論3: "その湖沼は付け易くない"が導かれる
5. 事実6から、推論4: "「その湖沼は付け易くない」ということは事実と異ならないとすると「それは交え用いる」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "「その湖沼は交え用いる」ということは成り立つ"が導かれる
7. 事実10から、推論6: "仮にその湖沼が交え用いるとすれば台頭するし加えてそれは貧農層でない"が導かれる
8. 推論5と推論6から、推論7: "その湖沼は台頭するけれどそれは貧農層でない"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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