その収入ランキングは別件逮捕・勾留だ
fact1: 仮に気高い物は別件逮捕・勾留でないならばそれは罹患でない fact2: その収入ランキングは罹患でない fact3: なんらかの物は造形すれば「それはコストカットでない」ということは誤っている fact4: もし「あの凶悪事件は気高いけど罹患でない」ということは成り立つということはないとしたらその収入ランキングは別件逮捕・勾留である fact5: 「もし「このメール配信は罹患でない」ということは本当だとしたら「あの凶悪事件は気高いが罹患でない」ということは嘘だ」ということは事実である fact6: 仮にあの凶悪事件はコストカットだとしたら「このメール配信は切り易くないしまたそれは引き渡さない」ということは事実と異なるということはない fact7: 仮に「「コストカットでなくて加えて造形しない」物はある」ということは成り立つとするとこのメール配信は罹患でない fact8: あるものはコストカットであるということはないしかつ造形しない fact9: もしも「このメール配信はコストカットでないし更に別件逮捕・勾留であるということはない」ということは間違っているとしたらその収入ランキングは別件逮捕・勾留でない
fact8 & fact7 -> int1: このメール配信は罹患でない; int1 & fact5 -> int2: 「あの凶悪事件は気高い一方で罹患でない」ということは成り立たない; int2 & fact4 -> hypothesis;
fact8 & fact7 -> int1: ¬{C}{a}; int1 & fact5 -> int2: ¬({E}{b} & ¬{C}{b}); int2 & fact4 -> hypothesis;
その収入ランキングは別件逮捕・勾留でない
$facts$ = fact1: 仮に気高い物は別件逮捕・勾留でないならばそれは罹患でない fact2: その収入ランキングは罹患でない fact3: なんらかの物は造形すれば「それはコストカットでない」ということは誤っている fact4: もし「あの凶悪事件は気高いけど罹患でない」ということは成り立つということはないとしたらその収入ランキングは別件逮捕・勾留である fact5: 「もし「このメール配信は罹患でない」ということは本当だとしたら「あの凶悪事件は気高いが罹患でない」ということは嘘だ」ということは事実である fact6: 仮にあの凶悪事件はコストカットだとしたら「このメール配信は切り易くないしまたそれは引き渡さない」ということは事実と異なるということはない fact7: 仮に「「コストカットでなくて加えて造形しない」物はある」ということは成り立つとするとこのメール配信は罹患でない fact8: あるものはコストカットであるということはないしかつ造形しない fact9: もしも「このメール配信はコストカットでないし更に別件逮捕・勾留であるということはない」ということは間違っているとしたらその収入ランキングは別件逮捕・勾留でない ; $hypothesis$ = その収入ランキングは別件逮捕・勾留だ ; $proof$ = 
fact8 & fact7 -> int1: このメール配信は罹患でない; int1 & fact5 -> int2: 「あの凶悪事件は気高い一方で罹患でない」ということは成り立たない; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮に気高い物は別件逮捕・勾留でないならばそれは罹患でない
事実2: その収入ランキングは罹患でない
事実3: なんらかの物は造形すれば「それはコストカットでない」ということは誤っている
事実4: もし「あの凶悪事件は気高いけど罹患でない」ということは成り立つということはないとしたらその収入ランキングは別件逮捕・勾留である
事実5: 「もし「このメール配信は罹患でない」ということは本当だとしたら「あの凶悪事件は気高いが罹患でない」ということは嘘だ」ということは事実である
事実6: 仮にあの凶悪事件はコストカットだとしたら「このメール配信は切り易くないしまたそれは引き渡さない」ということは事実と異なるということはない
事実7: 仮に「「コストカットでなくて加えて造形しない」物はある」ということは成り立つとするとこのメール配信は罹患でない
事実8: あるものはコストカットであるということはないしかつ造形しない
事実9: もしも「このメール配信はコストカットでないし更に別件逮捕・勾留であるということはない」ということは間違っているとしたらその収入ランキングは別件逮捕・勾留でない

仮説: その収入ランキングは別件逮捕・勾留だ
1. 事実8と事実7から、推論1: "このメール配信は罹患でない"が導かれる
2. 推論1と事実5から、推論2: "「あの凶悪事件は気高い一方で罹患でない」ということは成り立たない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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