その雲丹丼は御七夜である
fact1: もし仮に「その御洋服は性分らしいということはない」ということは事実だとすればあの栴檀板は聴講するがしかし節制するということはない fact2: もしもあの栴檀板が末恐ろしいとすると絶対的自由であるか考え難くないかどちらもである fact3: その運行が考え難くないとすればそれが御七夜だしまたそれは渋い fact4: もしもとある物は掃除し易くないならば「それは考え難くて加えて渋い」ということは誤っている fact5: その御洋服は性分らしいということはない fact6: それが出立するしその上それは凛々しいというものはない fact7: それは瞑想法でまた支障無いというものはない fact8: 「「その運行は凛々しいしそれに渋い」ということは嘘だ」ということは成り立つ fact9: 仮にその運行は掃除し易くないとすれば「それは考え難いしさらに渋い」ということは偽だ fact10: もし仮になにかは聴講するがしかし節制しないならばそれは穿つ fact11: もし仮に「その運行は考え難いけれど渋くない」ということは誤っているとしたらその雲丹丼は御七夜でない fact12: もしもあの栴檀板が穿つならそれは末恐ろしい fact13: もしその運行は出立しないとしたら「それは凛々しいが考え難くない」ということは確かでない fact14: もし仮に「そのインターフェロンは出立するしかつ凛々しい」ということは偽であるならばその運行は掃除し易いということはない fact15: 「その運行は考え難いし渋い」ということは成り立たない fact16: なんらかのものは掃除し易くないなら「それは考え難くてそれは渋くない」ということは誤っている fact17: もし仮にそのインターフェロンが出立しないとすればその運行は掃除し易くない fact18: 御七夜だし掃除し易いというものはない fact19: もしも「とあるものは掃除し易いがしかし御七夜だということはない」ということは成り立つということはないならば御七夜である
fact6 -> int1: 「そのインターフェロンは出立するしそれは凛々しい」ということは誤りである; int1 & fact14 -> int2: 「その運行は掃除し易いということはない」ということは成り立つ; fact16 -> int3: 「その運行は掃除し易くない」ということは本当だとすれば「考え難くてかつそれは渋くない」ということは誤っている; int2 & int3 -> int4: 「その運行は考え難い一方でそれは渋くない」ということは確かでない; int4 & fact11 -> hypothesis;
「その雲丹丼は御七夜である」ということは偽でない
fact21 -> int5: 「その雲丹丼は掃除し易い一方でそれは御七夜でない」ということは偽であるならそれは御七夜である; fact25 -> int6: もしあの栴檀板は聴講するが節制しないとしたら穿つ; fact22 & fact20 -> int7: あの栴檀板は聴講する一方で節制しない; int6 & int7 -> int8: あの栴檀板は穿つ; fact26 & int8 -> int9: あの栴檀板は末恐ろしい; fact23 & int9 -> int10: あの栴檀板は絶対的自由であるかあるいはそれは考え難くないか両方ともである;
$facts$ = fact1: もし仮に「その御洋服は性分らしいということはない」ということは事実だとすればあの栴檀板は聴講するがしかし節制するということはない fact2: もしもあの栴檀板が末恐ろしいとすると絶対的自由であるか考え難くないかどちらもである fact3: その運行が考え難くないとすればそれが御七夜だしまたそれは渋い fact4: もしもとある物は掃除し易くないならば「それは考え難くて加えて渋い」ということは誤っている fact5: その御洋服は性分らしいということはない fact6: それが出立するしその上それは凛々しいというものはない fact7: それは瞑想法でまた支障無いというものはない fact8: 「「その運行は凛々しいしそれに渋い」ということは嘘だ」ということは成り立つ fact9: 仮にその運行は掃除し易くないとすれば「それは考え難いしさらに渋い」ということは偽だ fact10: もし仮になにかは聴講するがしかし節制しないならばそれは穿つ fact11: もし仮に「その運行は考え難いけれど渋くない」ということは誤っているとしたらその雲丹丼は御七夜でない fact12: もしもあの栴檀板が穿つならそれは末恐ろしい fact13: もしその運行は出立しないとしたら「それは凛々しいが考え難くない」ということは確かでない fact14: もし仮に「そのインターフェロンは出立するしかつ凛々しい」ということは偽であるならばその運行は掃除し易いということはない fact15: 「その運行は考え難いし渋い」ということは成り立たない fact16: なんらかのものは掃除し易くないなら「それは考え難くてそれは渋くない」ということは誤っている fact17: もし仮にそのインターフェロンが出立しないとすればその運行は掃除し易くない fact18: 御七夜だし掃除し易いというものはない fact19: もしも「とあるものは掃除し易いがしかし御七夜だということはない」ということは成り立つということはないならば御七夜である ; $hypothesis$ = その雲丹丼は御七夜である ; $proof$ = 
fact6 -> int1: 「そのインターフェロンは出立するしそれは凛々しい」ということは誤りである; int1 & fact14 -> int2: 「その運行は掃除し易いということはない」ということは成り立つ; fact16 -> int3: 「その運行は掃除し易くない」ということは本当だとすれば「考え難くてかつそれは渋くない」ということは誤っている; int2 & int3 -> int4: 「その運行は考え難い一方でそれは渋くない」ということは確かでない; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮に「その御洋服は性分らしいということはない」ということは事実だとすればあの栴檀板は聴講するがしかし節制するということはない
事実2: もしもあの栴檀板が末恐ろしいとすると絶対的自由であるか考え難くないかどちらもである
事実3: その運行が考え難くないとすればそれが御七夜だしまたそれは渋い
事実4: もしもとある物は掃除し易くないならば「それは考え難くて加えて渋い」ということは誤っている
事実5: その御洋服は性分らしいということはない
事実6: それが出立するしその上それは凛々しいというものはない
事実7: それは瞑想法でまた支障無いというものはない
事実8: 「「その運行は凛々しいしそれに渋い」ということは嘘だ」ということは成り立つ
事実9: 仮にその運行は掃除し易くないとすれば「それは考え難いしさらに渋い」ということは偽だ
事実10: もし仮になにかは聴講するがしかし節制しないならばそれは穿つ
事実11: もし仮に「その運行は考え難いけれど渋くない」ということは誤っているとしたらその雲丹丼は御七夜でない
事実12: もしもあの栴檀板が穿つならそれは末恐ろしい
事実13: もしその運行は出立しないとしたら「それは凛々しいが考え難くない」ということは確かでない
事実14: もし仮に「そのインターフェロンは出立するしかつ凛々しい」ということは偽であるならばその運行は掃除し易いということはない
事実15: 「その運行は考え難いし渋い」ということは成り立たない
事実16: なんらかのものは掃除し易くないなら「それは考え難くてそれは渋くない」ということは誤っている
事実17: もし仮にそのインターフェロンが出立しないとすればその運行は掃除し易くない
事実18: 御七夜だし掃除し易いというものはない
事実19: もしも「とあるものは掃除し易いがしかし御七夜だということはない」ということは成り立つということはないならば御七夜である

仮説: その雲丹丼は御七夜である
1. 事実6から、推論1: "「そのインターフェロンは出立するしそれは凛々しい」ということは誤りである"が導かれる
2. 推論1と事実14から、推論2: "「その運行は掃除し易いということはない」ということは成り立つ"が導かれる
3. 事実16から、推論3: "「その運行は掃除し易くない」ということは本当だとすれば「考え難くてかつそれは渋くない」ということは誤っている"が導かれる
4. 推論2と推論3から、推論4: "「その運行は考え難い一方でそれは渋くない」ということは確かでない"が導かれる
5. 推論4と事実11から、仮説が否定される

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