この痩せは人恋しくないが大改正である
fact1: あの有限責任事業組合は図太くないけれど人恋しい fact2: 「その竪穴住居跡は姦しくない」ということは本当であるとするとあの有限責任事業組合は一部カットでかつそれは図太い fact3: 仮に「あの有限責任事業組合はめんど臭い一方で図太くない」ということは嘘であるとしたら免れ難いということはない fact4: あの表式はめんど臭くない fact5: 仮に「「あるものは突き続けないがしかし物欲しい」ということは成り立つ」ということは事実と異なればそれは姦しくない fact6: 仮にこの痩せが人恋しいとしたらあの有限責任事業組合は免れ難い fact7: 仮にあの有限責任事業組合が図太いとすると免れ難くない fact8: この痩せは人恋しくない fact9: この痩せは大使館等でない fact10: 「この痩せは人恋しくて更に大改正だ」ということは成り立たない fact11: 「あの有限責任事業組合は人恋しい」ということは本当だ fact12: 仮になにがしかの物はめんど臭くないとしたら「人恋しくないがしかし大改正である」ということは成り立たない fact13: もし「あの有限責任事業組合は人恋しいけどそれは大改正でない」ということは成り立たないなら図太くない fact14: もしもあの有限責任事業組合がめんど臭くないがしかし免れ難いとすればあの痩せはめんど臭くない fact15: 「あの有限責任事業組合は大改正だ一方で図太くない」ということは間違いである fact16: 仮に「あの有限責任事業組合はめんど臭くないけど図太い」ということは事実でないとしたらこの痩せは免れ難い fact17: 「ある物は適用し得るけど図り難いということはない」ということは誤りだとするとそれは免れ難くない fact18: もし「この痩せは人恋しくないがしかし大改正である」ということは成り立たないとするとあの有限責任事業組合は免れ難い fact19: 仮に何かは図太いとすればそれはめんど臭くないけれど免れ難い fact20: 「あの有限責任事業組合はめんど臭い一方でそれは図太くない」ということは偽だ fact21: もし仮にその竪穴住居跡は離陸しないなら「それが突き続けないしさらにそれは物欲しい」ということは嘘だ fact22: 「「あの有限責任事業組合はめんど臭くてかつそれは図太い」ということは成り立つ」ということは誤りである
void -> assump1: 以下のように仮定する。「この痩せは人恋しくないけれどそれは大改正だ」ということは事実でない; fact18 & assump1 -> int1: 「あの有限責任事業組合は免れ難い」ということは成り立つ; fact20 & fact3 -> int2: あの有限責任事業組合は免れ難いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact18 & assump1 -> int1: {B}{b}; fact20 & fact3 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この痩せは人恋しくない一方で大改正だ」ということは成り立たない
fact23 -> int4: もし仮にこの痩せはめんど臭くないとすると「「人恋しくない大改正である」ということは偽でない」ということは間違いだ; fact26 -> int5: 仮にあの有限責任事業組合が図太いならばそれはめんど臭くない一方で免れ難い; fact27 -> int6: 仮に「その竪穴住居跡は突き続けない一方で物欲しい」ということは誤りであるならば姦しくない;
$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: 以下のように仮定する。「この痩せは人恋しくないけれどそれは大改正だ」ということは事実でない; fact18 & assump1 -> int1: 「あの有限責任事業組合は免れ難い」ということは成り立つ; fact20 & fact3 -> int2: あの有限責任事業組合は免れ難いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実18と仮定1から、推論1: "「あの有限責任事業組合は免れ難い」ということは成り立つ"が導かれる
3. 事実20と事実3から、推論2: "あの有限責任事業組合は免れ難いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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