「この反乱鎮圧は御辛くなくて重しない」ということは間違っている
fact1: もしもなんらかのものが例外無いとすればそれは御辛くないしそれに重しない fact2: 「この反乱鎮圧は重しないししかも腑甲斐無くない」ということは成り立たない fact3: 「このみっともなさは破綻前だ」ということは成り立つとしたら「それは覚え難いが強いということはない」ということは成り立たない fact4: 御辛くないしまた重しない物はない fact5: 「「この反乱鎮圧は御辛いけれど重しない」ということは嘘である」ということは成り立つ fact6: もしも何らかのものは捏造でないとすれば「それは例外無くてかつそれは共同事業である」ということは成り立つ fact7: 「なにがしかの物は捏造であるがか弱くない」ということは間違っているとしたらそれは捏造でない fact8: もし何らかのものが捏造でないならば共同事業だしさらに例外無い fact9: それは免るないし更にそれはＣＨＣであるという物はない fact10: 「それは御辛いけれど重しないという物はない」ということは間違いでない fact11: 「この反乱鎮圧は御辛くない一方でそれは重し」ということは誤っている fact12: もし仮に「「このみっともなさは覚え難いが強くない」ということは事実である」ということは嘘ならそれは覚え難くない fact13: 仮に「例外無い」ものはあるとすれば「あの旧は重しないしまた維持費でない」ということは成り立つということはない fact14: もしあるものは覚え難くないとすると「捏造であるがしかしか弱くない」ということは間違っている
fact4 -> hypothesis;
fact4 -> hypothesis;
「あの旧は重しないしそれに維持費でない」ということは真実でない
fact16 -> int1: もし「このみっともなさは捏造でない」ということは事実であるとすれば例外無くておまけに共同事業だ; fact15 -> int2: 仮に「「このみっともなさは捏造である一方でか弱くない」ということは事実と異なる」ということは本当だとしたらそれは捏造でない; fact19 -> int3: もし仮にこのみっともなさは覚え難いということはないなら「捏造だけれどか弱くない」ということは誤っている;
$facts$ = fact1: もしもなんらかのものが例外無いとすればそれは御辛くないしそれに重しない fact2: 「この反乱鎮圧は重しないししかも腑甲斐無くない」ということは成り立たない fact3: 「このみっともなさは破綻前だ」ということは成り立つとしたら「それは覚え難いが強いということはない」ということは成り立たない fact4: 御辛くないしまた重しない物はない fact5: 「「この反乱鎮圧は御辛いけれど重しない」ということは嘘である」ということは成り立つ fact6: もしも何らかのものは捏造でないとすれば「それは例外無くてかつそれは共同事業である」ということは成り立つ fact7: 「なにがしかの物は捏造であるがか弱くない」ということは間違っているとしたらそれは捏造でない fact8: もし何らかのものが捏造でないならば共同事業だしさらに例外無い fact9: それは免るないし更にそれはＣＨＣであるという物はない fact10: 「それは御辛いけれど重しないという物はない」ということは間違いでない fact11: 「この反乱鎮圧は御辛くない一方でそれは重し」ということは誤っている fact12: もし仮に「「このみっともなさは覚え難いが強くない」ということは事実である」ということは嘘ならそれは覚え難くない fact13: 仮に「例外無い」ものはあるとすれば「あの旧は重しないしまた維持費でない」ということは成り立つということはない fact14: もしあるものは覚え難くないとすると「捏造であるがしかしか弱くない」ということは間違っている ; $hypothesis$ = 「この反乱鎮圧は御辛くなくて重しない」ということは間違っている ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが例外無いとすればそれは御辛くないしそれに重しない
事実2: 「この反乱鎮圧は重しないししかも腑甲斐無くない」ということは成り立たない
事実3: 「このみっともなさは破綻前だ」ということは成り立つとしたら「それは覚え難いが強いということはない」ということは成り立たない
事実4: 御辛くないしまた重しない物はない
事実5: 「「この反乱鎮圧は御辛いけれど重しない」ということは嘘である」ということは成り立つ
事実6: もしも何らかのものは捏造でないとすれば「それは例外無くてかつそれは共同事業である」ということは成り立つ
事実7: 「なにがしかの物は捏造であるがか弱くない」ということは間違っているとしたらそれは捏造でない
事実8: もし何らかのものが捏造でないならば共同事業だしさらに例外無い
事実9: それは免るないし更にそれはＣＨＣであるという物はない
事実10: 「それは御辛いけれど重しないという物はない」ということは間違いでない
事実11: 「この反乱鎮圧は御辛くない一方でそれは重し」ということは誤っている
事実12: もし仮に「「このみっともなさは覚え難いが強くない」ということは事実である」ということは嘘ならそれは覚え難くない
事実13: 仮に「例外無い」ものはあるとすれば「あの旧は重しないしまた維持費でない」ということは成り立つということはない
事実14: もしあるものは覚え難くないとすると「捏造であるがしかしか弱くない」ということは間違っている

仮説: 「この反乱鎮圧は御辛くなくて重しない」ということは間違っている
1. 事実4から、仮説が導かれる

よって、仮説が証明されました。