あの源ちゃんは名コンビである
fact1: 「あのクローゼットは損金経理しないけれど受け入れられ易い」ということは成り立たない fact2: 「受け入れられ易い」物はある fact3: 仮にあの源ちゃんが損金経理するならばあのクローゼットは名コンビだ fact4: あの源ちゃんは受け入れられ易い fact5: もしもあのクローゼットは覚え難くないなら「それは損金経理しなくて加えてそれは受け入れられ易くない」ということは間違っている fact6: もし仮に「「なにがしかのものは山垣遺跡であるしまた結び付き易い」ということは成り立つ」ということは成り立たないなら山垣遺跡でない fact7: もしあのクローゼットが覚え難いならあの源ちゃんは名コンビだ fact8: 「あの彷徨は把握し辛くないし芳しいということはない」ということは誤っている fact9: なんらかの物は覚え難い fact10: もし仮にあの源ちゃんは中山政府でないならば「山垣遺跡であるしそれは結び付き易い」ということは事実と異なる fact11: もしもあのクローゼットは覚え難くないとすれば「損金経理しないしまたそれは受け入れられ易い」ということは成り立つということはない fact12: 「あのクローゼットは名コンビである一方で損金経理しない」ということは本当でない fact13: 「手酷い」ものはある fact14: 「「あのクローゼットは美しし中山政府だ」ということは嘘である」ということは確かである fact15: もし仮になにかは手酷いならあのクローゼットは損金経理しなくてしかもそれは受け入れられ易いということはない fact16: もしなにがしかのものは堪り過ぎないとすると「手酷いけれど覚え難くない」ということは誤りである fact17: あのクローゼットは受け入れられ易くないし更にそれは名コンビでない fact18: 「なにがしかのものは手酷いがそれは覚え難くない」ということは嘘なら名コンビでない fact19: もしも「手酷い」ものがあるとしたらあのクローゼットは受け入れられ易くない fact20: 仮にあの源ちゃんは名コンビでないとしたら「受け入れられ易くないしかつ損金経理しない」ということは間違いである fact21: もしもあのクローゼットは損金経理しないとしたら「名コンビでないししかもそれは受け入れられ易い」ということは成り立たない fact22: 「ある物は山垣遺跡でない」ということは成り立てば「それは堪り過ぎるということはない」ということは正しい
void -> assump1: 以下のように仮定する。あのクローゼットは覚え難くない; fact5 & assump1 -> int1: 「あのクローゼットは損金経理しなくておまけにそれは受け入れられ易くない」ということは事実と異なる; fact13 & fact15 -> int2: あのクローゼットは損金経理しなくてそれは受け入れられ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのクローゼットは覚え難い; int4 & fact7 -> hypothesis;
あの源ちゃんは名コンビであるということはない
fact25 -> int5: もし仮に「あの源ちゃんは手酷いが覚え難くない」ということは成り立たないとすればそれは名コンビでない; fact23 -> int6: 仮にあの源ちゃんは堪り過ぎないとしたら「手酷いしその上それは覚え難くない」ということは誤りだ; fact28 -> int7: もし仮に「あの源ちゃんは山垣遺跡でない」ということは成り立つとすれば「それは堪り過ぎない」ということは事実だ; fact27 -> int8: もし「あの源ちゃんは山垣遺跡であるしかつ結び付き易い」ということは成り立たないとすればそれは山垣遺跡でない; fact26 -> int9: 「「美ししまた中山政府だ」ということは成り立たない」物はある;
$facts$ = fact1: 「あのクローゼットは損金経理しないけれど受け入れられ易い」ということは成り立たない fact2: 「受け入れられ易い」物はある fact3: 仮にあの源ちゃんが損金経理するならばあのクローゼットは名コンビだ fact4: あの源ちゃんは受け入れられ易い fact5: もしもあのクローゼットは覚え難くないなら「それは損金経理しなくて加えてそれは受け入れられ易くない」ということは間違っている fact6: もし仮に「「なにがしかのものは山垣遺跡であるしまた結び付き易い」ということは成り立つ」ということは成り立たないなら山垣遺跡でない fact7: もしあのクローゼットが覚え難いならあの源ちゃんは名コンビだ fact8: 「あの彷徨は把握し辛くないし芳しいということはない」ということは誤っている fact9: なんらかの物は覚え難い fact10: もし仮にあの源ちゃんは中山政府でないならば「山垣遺跡であるしそれは結び付き易い」ということは事実と異なる fact11: もしもあのクローゼットは覚え難くないとすれば「損金経理しないしまたそれは受け入れられ易い」ということは成り立つということはない fact12: 「あのクローゼットは名コンビである一方で損金経理しない」ということは本当でない fact13: 「手酷い」ものはある fact14: 「「あのクローゼットは美しし中山政府だ」ということは嘘である」ということは確かである fact15: もし仮になにかは手酷いならあのクローゼットは損金経理しなくてしかもそれは受け入れられ易いということはない fact16: もしなにがしかのものは堪り過ぎないとすると「手酷いけれど覚え難くない」ということは誤りである fact17: あのクローゼットは受け入れられ易くないし更にそれは名コンビでない fact18: 「なにがしかのものは手酷いがそれは覚え難くない」ということは嘘なら名コンビでない fact19: もしも「手酷い」ものがあるとしたらあのクローゼットは受け入れられ易くない fact20: 仮にあの源ちゃんは名コンビでないとしたら「受け入れられ易くないしかつ損金経理しない」ということは間違いである fact21: もしもあのクローゼットは損金経理しないとしたら「名コンビでないししかもそれは受け入れられ易い」ということは成り立たない fact22: 「ある物は山垣遺跡でない」ということは成り立てば「それは堪り過ぎるということはない」ということは正しい ; $hypothesis$ = あの源ちゃんは名コンビである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのクローゼットは覚え難くない; fact5 & assump1 -> int1: 「あのクローゼットは損金経理しなくておまけにそれは受け入れられ易くない」ということは事実と異なる; fact13 & fact15 -> int2: あのクローゼットは損金経理しなくてそれは受け入れられ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのクローゼットは覚え難い; int4 & fact7 -> hypothesis; __PROVED__
事実1: 「あのクローゼットは損金経理しないけれど受け入れられ易い」ということは成り立たない
事実2: 「受け入れられ易い」物はある
事実3: 仮にあの源ちゃんが損金経理するならばあのクローゼットは名コンビだ
事実4: あの源ちゃんは受け入れられ易い
事実5: もしもあのクローゼットは覚え難くないなら「それは損金経理しなくて加えてそれは受け入れられ易くない」ということは間違っている
事実6: もし仮に「「なにがしかのものは山垣遺跡であるしまた結び付き易い」ということは成り立つ」ということは成り立たないなら山垣遺跡でない
事実7: もしあのクローゼットが覚え難いならあの源ちゃんは名コンビだ
事実8: 「あの彷徨は把握し辛くないし芳しいということはない」ということは誤っている
事実9: なんらかの物は覚え難い
事実10: もし仮にあの源ちゃんは中山政府でないならば「山垣遺跡であるしそれは結び付き易い」ということは事実と異なる
事実11: もしもあのクローゼットは覚え難くないとすれば「損金経理しないしまたそれは受け入れられ易い」ということは成り立つということはない
事実12: 「あのクローゼットは名コンビである一方で損金経理しない」ということは本当でない
事実13: 「手酷い」ものはある
事実14: 「「あのクローゼットは美しし中山政府だ」ということは嘘である」ということは確かである
事実15: もし仮になにかは手酷いならあのクローゼットは損金経理しなくてしかもそれは受け入れられ易いということはない
事実16: もしなにがしかのものは堪り過ぎないとすると「手酷いけれど覚え難くない」ということは誤りである
事実17: あのクローゼットは受け入れられ易くないし更にそれは名コンビでない
事実18: 「なにがしかのものは手酷いがそれは覚え難くない」ということは嘘なら名コンビでない
事実19: もしも「手酷い」ものがあるとしたらあのクローゼットは受け入れられ易くない
事実20: 仮にあの源ちゃんは名コンビでないとしたら「受け入れられ易くないしかつ損金経理しない」ということは間違いである
事実21: もしもあのクローゼットは損金経理しないとしたら「名コンビでないししかもそれは受け入れられ易い」ということは成り立たない
事実22: 「ある物は山垣遺跡でない」ということは成り立てば「それは堪り過ぎるということはない」ということは正しい

仮説: あの源ちゃんは名コンビである
1. 仮定1: 以下のように仮定する。あのクローゼットは覚え難くない
2. 事実5と仮定1から、推論1: "「あのクローゼットは損金経理しなくておまけにそれは受け入れられ易くない」ということは事実と異なる"が導かれる
3. 事実13と事実15から、推論2: "あのクローゼットは損金経理しなくてそれは受け入れられ易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのクローゼットは覚え難い"が導かれる
6. 推論4と事実7から、仮説が導かれる

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