その閑話休題は小暗い
fact1: その閑話休題は注ぎ足すということはない fact2: その贅沢商売は狡い fact3: もしも「なにがしかのものは小暗くないけど弾ける」ということは間違っているなら小暗い fact4: もし「「裁判しないし改組しない」ということは嘘な」ものがあるとしたらあの二チャンネルはダストルームである fact5: もしもなにかは砕け易いとすればその伝祥啓筆は弾ける fact6: もし「その伝祥啓筆は注ぎ足さないが砕け易い」ということは嘘であるならその閑話休題は弾ける fact7: もしこの絹漉しがＱＲエンジンだとしたらそれは嘱託するけれど甘辛くない fact8: もし仮になんらかのものは甘辛いということはないならば「小暗くないしさらにそれは弾ける」ということは成り立たない fact9: もし仮に「なんらかの物は小暗い一方でダストルームでない」ということは間違いならダストルームである fact10: 「注ぎ足すし砕け易い」ものはある fact11: 「その伝祥啓筆は甘辛くない一方で注ぎ足す」ということは成り立つということはない fact12: もし仮になんらかのものは小暗いししかも弾けるとすれば「この絹漉しは甘辛くない」ということは確かだ fact13: 「その伝祥啓筆は注ぎ足さないけど砕け易い」ということは成り立たない fact14: 狡い物は油っぽい fact15: もしもその贅沢商売はＱＲエンジンだが決議しないとすれば「この絹漉しは油っぽくない」ということは成り立つ fact16: もし仮になにがしかの物が嘱託するとすればＱＲエンジンだが決議しない fact17: この絹漉しは弾ける fact18: あの臭さは油っぽくない fact19: その伝祥啓筆は嘱託する fact20: 「「甘辛くないしその上小暗い」ということは成り立つということはない」物はある fact21: もしもこの絹漉しが甘辛くないし加えて油っぽくないとするとあの二チャンネルはダストルームでない fact22: 「「裁判するということはないしさらに改組するということはない」ということは真実でない」物はある fact23: その伝祥啓筆は内容スケールだ fact24: もし仮にその贅沢商売が狡いとすると嘱託する fact25: 「その閑話休題は弾けるということはないがそれは決議する」ということは成り立たないとしたらその贅沢商売は甘辛い
fact6 & fact13 -> int1: その閑話休題は弾ける; void -> assump1: 以下のように仮定する。その閑話休題は小暗い; int1 & assump1 -> int2: その閑話休題は小暗いし弾ける; int2 -> int3: 「小暗くてかつ弾ける」ものはある; int3 & fact12 -> int4: この絹漉しは甘辛くない; fact2 & fact24 -> int5: その贅沢商売は嘱託する; fact16 -> int6: もし仮にその贅沢商売が嘱託するならＱＲエンジンだがしかし決議しない; int5 & int6 -> int7: 「その贅沢商売はＱＲエンジンであるけど決議しない」ということは成り立つ; fact15 & int7 -> int8: この絹漉しは油っぽくない; int4 & int8 -> int9: 「この絹漉しは甘辛くないし加えて油っぽくない」ということは確かである; int9 & fact21 -> int10: あの二チャンネルはダストルームでない; fact22 & fact4 -> int11: あの二チャンネルはダストルームだ; int10 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
その伝祥啓筆はダストルームだ
fact26 -> int13: もしも「その伝祥啓筆は小暗いがしかしダストルームでない」ということは成り立つということはないならそれはダストルームである;
$facts$ = fact1: その閑話休題は注ぎ足すということはない fact2: その贅沢商売は狡い fact3: もしも「なにがしかのものは小暗くないけど弾ける」ということは間違っているなら小暗い fact4: もし「「裁判しないし改組しない」ということは嘘な」ものがあるとしたらあの二チャンネルはダストルームである fact5: もしもなにかは砕け易いとすればその伝祥啓筆は弾ける fact6: もし「その伝祥啓筆は注ぎ足さないが砕け易い」ということは嘘であるならその閑話休題は弾ける fact7: もしこの絹漉しがＱＲエンジンだとしたらそれは嘱託するけれど甘辛くない fact8: もし仮になんらかのものは甘辛いということはないならば「小暗くないしさらにそれは弾ける」ということは成り立たない fact9: もし仮に「なんらかの物は小暗い一方でダストルームでない」ということは間違いならダストルームである fact10: 「注ぎ足すし砕け易い」ものはある fact11: 「その伝祥啓筆は甘辛くない一方で注ぎ足す」ということは成り立つということはない fact12: もし仮になんらかのものは小暗いししかも弾けるとすれば「この絹漉しは甘辛くない」ということは確かだ fact13: 「その伝祥啓筆は注ぎ足さないけど砕け易い」ということは成り立たない fact14: 狡い物は油っぽい fact15: もしもその贅沢商売はＱＲエンジンだが決議しないとすれば「この絹漉しは油っぽくない」ということは成り立つ fact16: もし仮になにがしかの物が嘱託するとすればＱＲエンジンだが決議しない fact17: この絹漉しは弾ける fact18: あの臭さは油っぽくない fact19: その伝祥啓筆は嘱託する fact20: 「「甘辛くないしその上小暗い」ということは成り立つということはない」物はある fact21: もしもこの絹漉しが甘辛くないし加えて油っぽくないとするとあの二チャンネルはダストルームでない fact22: 「「裁判するということはないしさらに改組するということはない」ということは真実でない」物はある fact23: その伝祥啓筆は内容スケールだ fact24: もし仮にその贅沢商売が狡いとすると嘱託する fact25: 「その閑話休題は弾けるということはないがそれは決議する」ということは成り立たないとしたらその贅沢商売は甘辛い ; $hypothesis$ = その閑話休題は小暗い ; $proof$ = 
fact6 & fact13 -> int1: その閑話休題は弾ける; void -> assump1: 以下のように仮定する。その閑話休題は小暗い; int1 & assump1 -> int2: その閑話休題は小暗いし弾ける; int2 -> int3: 「小暗くてかつ弾ける」ものはある; int3 & fact12 -> int4: この絹漉しは甘辛くない; fact2 & fact24 -> int5: その贅沢商売は嘱託する; fact16 -> int6: もし仮にその贅沢商売が嘱託するならＱＲエンジンだがしかし決議しない; int5 & int6 -> int7: 「その贅沢商売はＱＲエンジンであるけど決議しない」ということは成り立つ; fact15 & int7 -> int8: この絹漉しは油っぽくない; int4 & int8 -> int9: 「この絹漉しは甘辛くないし加えて油っぽくない」ということは確かである; int9 & fact21 -> int10: あの二チャンネルはダストルームでない; fact22 & fact4 -> int11: あの二チャンネルはダストルームだ; int10 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __DISPROVED__
事実1: その閑話休題は注ぎ足すということはない
事実2: その贅沢商売は狡い
事実3: もしも「なにがしかのものは小暗くないけど弾ける」ということは間違っているなら小暗い
事実4: もし「「裁判しないし改組しない」ということは嘘な」ものがあるとしたらあの二チャンネルはダストルームである
事実5: もしもなにかは砕け易いとすればその伝祥啓筆は弾ける
事実6: もし「その伝祥啓筆は注ぎ足さないが砕け易い」ということは嘘であるならその閑話休題は弾ける
事実7: もしこの絹漉しがＱＲエンジンだとしたらそれは嘱託するけれど甘辛くない
事実8: もし仮になんらかのものは甘辛いということはないならば「小暗くないしさらにそれは弾ける」ということは成り立たない
事実9: もし仮に「なんらかの物は小暗い一方でダストルームでない」ということは間違いならダストルームである
事実10: 「注ぎ足すし砕け易い」ものはある
事実11: 「その伝祥啓筆は甘辛くない一方で注ぎ足す」ということは成り立つということはない
事実12: もし仮になんらかのものは小暗いししかも弾けるとすれば「この絹漉しは甘辛くない」ということは確かだ
事実13: 「その伝祥啓筆は注ぎ足さないけど砕け易い」ということは成り立たない
事実14: 狡い物は油っぽい
事実15: もしもその贅沢商売はＱＲエンジンだが決議しないとすれば「この絹漉しは油っぽくない」ということは成り立つ
事実16: もし仮になにがしかの物が嘱託するとすればＱＲエンジンだが決議しない
事実17: この絹漉しは弾ける
事実18: あの臭さは油っぽくない
事実19: その伝祥啓筆は嘱託する
事実20: 「「甘辛くないしその上小暗い」ということは成り立つということはない」物はある
事実21: もしもこの絹漉しが甘辛くないし加えて油っぽくないとするとあの二チャンネルはダストルームでない
事実22: 「「裁判するということはないしさらに改組するということはない」ということは真実でない」物はある
事実23: その伝祥啓筆は内容スケールだ
事実24: もし仮にその贅沢商売が狡いとすると嘱託する
事実25: 「その閑話休題は弾けるということはないがそれは決議する」ということは成り立たないとしたらその贅沢商売は甘辛い

仮説: その閑話休題は小暗い
1. 事実6と事実13から、推論1: "その閑話休題は弾ける"が導かれる
2. 仮定1: 以下のように仮定する。その閑話休題は小暗い
3. 推論1と仮定1から、推論2: "その閑話休題は小暗いし弾ける"が導かれる
4. 推論2から、推論3: "「小暗くてかつ弾ける」ものはある"が導かれる
5. 推論3と事実12から、推論4: "この絹漉しは甘辛くない"が導かれる
6. 事実2と事実24から、推論5: "その贅沢商売は嘱託する"が導かれる
7. 事実16から、推論6: "もし仮にその贅沢商売が嘱託するならＱＲエンジンだがしかし決議しない"が導かれる
8. 推論5と推論6から、推論7: "「その贅沢商売はＱＲエンジンであるけど決議しない」ということは成り立つ"が導かれる
9. 事実15と推論7から、推論8: "この絹漉しは油っぽくない"が導かれる
10. 推論4と推論8から、推論9: "「この絹漉しは甘辛くないし加えて油っぽくない」ということは確かである"が導かれる
11. 推論9と事実21から、推論10: "あの二チャンネルはダストルームでない"が導かれる
12. 事実22と事実4から、推論11: "あの二チャンネルはダストルームだ"が導かれる
13. 推論10と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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