あのドロップアウトは仕方無い
fact1: 仮に「纏め買いしないがしかし諸式高直な」ものがあるならあのドロップアウトは怪しい fact2: 「あのドロップアウトは通知・催告だし怪しい」ということは間違いだ fact3: もし何かは怪しいし起こし難いとしたらそれは仕方無いということはない fact4: 「「あのドロップアウトは起こし難くないが御安い」ということは成り立たない」ということは偽であるということはない fact5: もし「あのドロップアウトは起こし難くないが御安い」ということは偽であるなら起こし難い fact6: もし仮に「御安くないが起こし難い」物があるならあのドロップアウトは怪しい fact7: 「「纏め買いするということはないしその上諸式高直だ」ということは成り立つ」ものはある fact8: もしあのドロップアウトはパブリッシングであるし相応しいなら立ち眩みでない fact9: 「パブリッシングである」物はある
fact7 & fact1 -> int1: あのドロップアウトは怪しい; fact4 & fact5 -> int2: あのドロップアウトは起こし難い; int1 & int2 -> int3: あのドロップアウトは怪しくてそれに起こし難い; fact3 -> int4: もしも「あのドロップアウトは怪しくてかつ起こし難い」ということは成り立つとしたらそれは仕方無くない; int3 & int4 -> hypothesis;
fact7 & fact1 -> int1: {C}{a}; fact4 & fact5 -> int2: {D}{a}; int1 & int2 -> int3: ({C}{a} & {D}{a}); fact3 -> int4: ({C}{a} & {D}{a}) -> ¬{E}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮に「纏め買いしないがしかし諸式高直な」ものがあるならあのドロップアウトは怪しい fact2: 「あのドロップアウトは通知・催告だし怪しい」ということは間違いだ fact3: もし何かは怪しいし起こし難いとしたらそれは仕方無いということはない fact4: 「「あのドロップアウトは起こし難くないが御安い」ということは成り立たない」ということは偽であるということはない fact5: もし「あのドロップアウトは起こし難くないが御安い」ということは偽であるなら起こし難い fact6: もし仮に「御安くないが起こし難い」物があるならあのドロップアウトは怪しい fact7: 「「纏め買いするということはないしその上諸式高直だ」ということは成り立つ」ものはある fact8: もしあのドロップアウトはパブリッシングであるし相応しいなら立ち眩みでない fact9: 「パブリッシングである」物はある ; $hypothesis$ = あのドロップアウトは仕方無い ; $proof$ = 
fact7 & fact1 -> int1: あのドロップアウトは怪しい; fact4 & fact5 -> int2: あのドロップアウトは起こし難い; int1 & int2 -> int3: あのドロップアウトは怪しくてそれに起こし難い; fact3 -> int4: もしも「あのドロップアウトは怪しくてかつ起こし難い」ということは成り立つとしたらそれは仕方無くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「纏め買いしないがしかし諸式高直な」ものがあるならあのドロップアウトは怪しい
事実2: 「あのドロップアウトは通知・催告だし怪しい」ということは間違いだ
事実3: もし何かは怪しいし起こし難いとしたらそれは仕方無いということはない
事実4: 「「あのドロップアウトは起こし難くないが御安い」ということは成り立たない」ということは偽であるということはない
事実5: もし「あのドロップアウトは起こし難くないが御安い」ということは偽であるなら起こし難い
事実6: もし仮に「御安くないが起こし難い」物があるならあのドロップアウトは怪しい
事実7: 「「纏め買いするということはないしその上諸式高直だ」ということは成り立つ」ものはある
事実8: もしあのドロップアウトはパブリッシングであるし相応しいなら立ち眩みでない
事実9: 「パブリッシングである」物はある

仮説: あのドロップアウトは仕方無い
1. 事実7と事実1から、推論1: "あのドロップアウトは怪しい"が導かれる
2. 事実4と事実5から、推論2: "あのドロップアウトは起こし難い"が導かれる
3. 推論1と推論2から、推論3: "あのドロップアウトは怪しくてそれに起こし難い"が導かれる
4. 事実3から、推論4: "もしも「あのドロップアウトは怪しくてかつ起こし難い」ということは成り立つとしたらそれは仕方無くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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