「「もし甚だしないが重たいならば前進する」ものはある」ということは間違いである
fact1: もしその解党的改革が甚だしし重たいなら前進する fact2: もしも甚だしない物が重たいならばそれは前進する fact3: 仮にその解党的改革は開催等でないけれど甚だしならば満腹する fact4: もしもとある物は甚だしし加えて重たいとしたら前進する fact5: その結核専門医は重たくないが書き易いとすれば「ブラバスらしい」ということは事実だ fact6: なにがしかのものは貧農層でないが肝っ玉であるとすればそれは渡海する fact7: 「もし仮に甚だししそれに重たいなら前進する」ものはある
fact2 -> int1: もし仮にその解党的改革が甚だしない一方でそれが重たいなら前進する; int1 -> hypothesis;
$facts$ = fact1: もしその解党的改革が甚だしし重たいなら前進する fact2: もしも甚だしない物が重たいならばそれは前進する fact3: 仮にその解党的改革は開催等でないけれど甚だしならば満腹する fact4: もしもとある物は甚だしし加えて重たいとしたら前進する fact5: その結核専門医は重たくないが書き易いとすれば「ブラバスらしい」ということは事実だ fact6: なにがしかのものは貧農層でないが肝っ玉であるとすればそれは渡海する fact7: 「もし仮に甚だししそれに重たいなら前進する」ものはある ; $hypothesis$ = 「「もし甚だしないが重たいならば前進する」ものはある」ということは間違いである ; $proof$ = 
fact2 -> int1: もし仮にその解党的改革が甚だしない一方でそれが重たいなら前進する; int1 -> hypothesis; __DISPROVED__
事実1: もしその解党的改革が甚だしし重たいなら前進する
事実2: もしも甚だしない物が重たいならばそれは前進する
事実3: 仮にその解党的改革は開催等でないけれど甚だしならば満腹する
事実4: もしもとある物は甚だしし加えて重たいとしたら前進する
事実5: その結核専門医は重たくないが書き易いとすれば「ブラバスらしい」ということは事実だ
事実6: なにがしかのものは貧農層でないが肝っ玉であるとすればそれは渡海する
事実7: 「もし仮に甚だししそれに重たいなら前進する」ものはある

仮説: 「「もし甚だしないが重たいならば前進する」ものはある」ということは間違いである
1. 事実2から、推論1: "もし仮にその解党的改革が甚だしない一方でそれが重たいなら前進する"が導かれる
2. 推論1から、仮説が否定される

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