「その流通業は起こり易いということはないが振るい続ける」ということは真実でない
fact1: 戻し易いということはない物は起こり易くないが振るい続ける fact2: もし仮にその徹夜が戻し易いならばあの各車は振るい続けないしかつ見過ごし難くない fact3: もしもその徹夜がオンエアするということはないけど戻し易いとすればその流通業は戻し易くない fact4: もし仮にその各車が戻し易いとしたらその徹夜は見過ごし難くないしさらに振るい続けない fact5: その各車は見過ごし難くない fact6: その各車は振るい続けないなら「その流通業は起こり易くないがしかし振るい続ける」ということは嘘である fact7: その各車は出来易いとすれば「その徹夜は出来易い」ということは成り立つ fact8: 出来易い物はオンエアしないがしかし戻し易い fact9: 「その徹夜が戻し易いならばその各車は見過ごし難いということはない」ということは正しい fact10: もしその流通業は見過ごし難くないならば「その各車は振るい続けない一方で見過ごし難い」ということは成り立たない fact11: 「その各車は戻し易くないが見過ごし難い」ということは成り立たない fact12: その徹夜は戻し易い fact13: 「その流通業は見過ごし難くない一方で振るい続ける」ということは間違っている fact14: 「その流通業は起こり易くて振るい続ける」ということは確かでない fact15: もし仮にその各車は起こり易くないとすれば「その流通業は振るい続けるということはないけど起こり易い」ということは成り立たない fact16: もしその各車は振るい続けないとすると「その流通業は起こり易くてかつ振るい続ける」ということは偽だ fact17: もし仮にあの製造業者売り上げ税がオンエアしないならそれは起こり易いししかも戻し易い
fact2 & fact12 -> int1: 「その各車は振るい続けなくてしかも見過ごし難くない」ということは確かである; int1 -> int2: その各車は振るい続けるということはない; int2 & fact6 -> hypothesis;
あの製造業者売り上げ税は起こり易い
$facts$ = fact1: 戻し易いということはない物は起こり易くないが振るい続ける fact2: もし仮にその徹夜が戻し易いならばあの各車は振るい続けないしかつ見過ごし難くない fact3: もしもその徹夜がオンエアするということはないけど戻し易いとすればその流通業は戻し易くない fact4: もし仮にその各車が戻し易いとしたらその徹夜は見過ごし難くないしさらに振るい続けない fact5: その各車は見過ごし難くない fact6: その各車は振るい続けないなら「その流通業は起こり易くないがしかし振るい続ける」ということは嘘である fact7: その各車は出来易いとすれば「その徹夜は出来易い」ということは成り立つ fact8: 出来易い物はオンエアしないがしかし戻し易い fact9: 「その徹夜が戻し易いならばその各車は見過ごし難いということはない」ということは正しい fact10: もしその流通業は見過ごし難くないならば「その各車は振るい続けない一方で見過ごし難い」ということは成り立たない fact11: 「その各車は戻し易くないが見過ごし難い」ということは成り立たない fact12: その徹夜は戻し易い fact13: 「その流通業は見過ごし難くない一方で振るい続ける」ということは間違っている fact14: 「その流通業は起こり易くて振るい続ける」ということは確かでない fact15: もし仮にその各車は起こり易くないとすれば「その流通業は振るい続けるということはないけど起こり易い」ということは成り立たない fact16: もしその各車は振るい続けないとすると「その流通業は起こり易くてかつ振るい続ける」ということは偽だ fact17: もし仮にあの製造業者売り上げ税がオンエアしないならそれは起こり易いししかも戻し易い ; $hypothesis$ = 「その流通業は起こり易いということはないが振るい続ける」ということは真実でない ; $proof$ = 
fact2 & fact12 -> int1: 「その各車は振るい続けなくてしかも見過ごし難くない」ということは確かである; int1 -> int2: その各車は振るい続けるということはない; int2 & fact6 -> hypothesis; __PROVED__
事実1: 戻し易いということはない物は起こり易くないが振るい続ける
事実2: もし仮にその徹夜が戻し易いならばあの各車は振るい続けないしかつ見過ごし難くない
事実3: もしもその徹夜がオンエアするということはないけど戻し易いとすればその流通業は戻し易くない
事実4: もし仮にその各車が戻し易いとしたらその徹夜は見過ごし難くないしさらに振るい続けない
事実5: その各車は見過ごし難くない
事実6: その各車は振るい続けないなら「その流通業は起こり易くないがしかし振るい続ける」ということは嘘である
事実7: その各車は出来易いとすれば「その徹夜は出来易い」ということは成り立つ
事実8: 出来易い物はオンエアしないがしかし戻し易い
事実9: 「その徹夜が戻し易いならばその各車は見過ごし難いということはない」ということは正しい
事実10: もしその流通業は見過ごし難くないならば「その各車は振るい続けない一方で見過ごし難い」ということは成り立たない
事実11: 「その各車は戻し易くないが見過ごし難い」ということは成り立たない
事実12: その徹夜は戻し易い
事実13: 「その流通業は見過ごし難くない一方で振るい続ける」ということは間違っている
事実14: 「その流通業は起こり易くて振るい続ける」ということは確かでない
事実15: もし仮にその各車は起こり易くないとすれば「その流通業は振るい続けるということはないけど起こり易い」ということは成り立たない
事実16: もしその各車は振るい続けないとすると「その流通業は起こり易くてかつ振るい続ける」ということは偽だ
事実17: もし仮にあの製造業者売り上げ税がオンエアしないならそれは起こり易いししかも戻し易い

仮説: 「その流通業は起こり易いということはないが振るい続ける」ということは真実でない
1. 事実2と事実12から、推論1: "「その各車は振るい続けなくてしかも見過ごし難くない」ということは確かである"が導かれる
2. 推論1から、推論2: "その各車は振るい続けるということはない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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