その文学論は御寒い
fact1: もし仮に「ある物は自己紹介しない」ということは真実だとすれば「それは分かり易くない」ということは成り立つ fact2: 厚かましいものは自己紹介しない fact3: もし仮に「あの日本的労働編成は忙しないということはない」ということは嘘でないとすれば「あの身構えは広がり易い一方で受け入れられ易くない」ということは成り立たない fact4: 「もしも「「思いするが女っぽくない」ということは誤っている」ものがあればこの悲惨さは蛇使いでない」ということは成り立つ fact5: もし「この使番は分かり易くない」ということは確かであるとすると「あの身構えは広がり易くて受け入れられ易い」ということは誤っている fact6: 仮に厚かましいものが分かり易くないなら御寒くない fact7: 「「「思いするしその上女っぽいということはない」ということは真実だ」ということは間違いである」物はある fact8: もしこの悲惨さが蛇使いでないならばその規制料金はエロいかもしくは糾弾しないかまたは両方ともだ fact9: この使番は厚かましいし忙しない fact10: 仮にそのプードルは末日であるかあるいは忙しなくないかあるいは両方だとすれば「あの日本的労働編成は忙しなくない」ということは成り立つ fact11: 「もし仮に「「広がり易いしそれに受け入れられ易い」ということは事実と異なる」物があるとしたらその文学論は御寒い」ということは本当である fact12: 「この姑はエロくない」ということは正しいとすればそのプードルは末日であるかもしくはそれは忙しなくない fact13: 広がり易くてまた受け入れられ易いものはある
fact2 -> int1: 仮に「この使番は厚かましい」ということは成り立つとすれば「自己紹介しない」ということは正しい; fact9 -> int2: この使番は厚かましい; int1 & int2 -> int3: この使番は自己紹介しない; fact1 -> int4: 「もし仮にこの使番は自己紹介しないなら「この使番は分かり易いということはない」ということは本当である」ということは成り立つ; int3 & int4 -> int5: この使番は分かり易くない; int5 & fact5 -> int6: 「あの身構えは広がり易いし更に受け入れられ易い」ということは成り立たない; int6 -> int7: 「「広がり易くておまけに受け入れられ易い」ということは成り立たない」ものはある; int7 & fact11 -> hypothesis;
その文学論は御寒いということはない
fact19 -> int8: その文学論は厚かましいがしかし分かり易くないとしたらそれは御寒くない; fact14 & fact20 -> int9: この悲惨さは蛇使いだということはない; fact17 & int9 -> int10: その規制料金はエロいか糾弾しないかどちらもである;
$facts$ = fact1: もし仮に「ある物は自己紹介しない」ということは真実だとすれば「それは分かり易くない」ということは成り立つ fact2: 厚かましいものは自己紹介しない fact3: もし仮に「あの日本的労働編成は忙しないということはない」ということは嘘でないとすれば「あの身構えは広がり易い一方で受け入れられ易くない」ということは成り立たない fact4: 「もしも「「思いするが女っぽくない」ということは誤っている」ものがあればこの悲惨さは蛇使いでない」ということは成り立つ fact5: もし「この使番は分かり易くない」ということは確かであるとすると「あの身構えは広がり易くて受け入れられ易い」ということは誤っている fact6: 仮に厚かましいものが分かり易くないなら御寒くない fact7: 「「「思いするしその上女っぽいということはない」ということは真実だ」ということは間違いである」物はある fact8: もしこの悲惨さが蛇使いでないならばその規制料金はエロいかもしくは糾弾しないかまたは両方ともだ fact9: この使番は厚かましいし忙しない fact10: 仮にそのプードルは末日であるかあるいは忙しなくないかあるいは両方だとすれば「あの日本的労働編成は忙しなくない」ということは成り立つ fact11: 「もし仮に「「広がり易いしそれに受け入れられ易い」ということは事実と異なる」物があるとしたらその文学論は御寒い」ということは本当である fact12: 「この姑はエロくない」ということは正しいとすればそのプードルは末日であるかもしくはそれは忙しなくない fact13: 広がり易くてまた受け入れられ易いものはある ; $hypothesis$ = その文学論は御寒い ; $proof$ = 
fact2 -> int1: 仮に「この使番は厚かましい」ということは成り立つとすれば「自己紹介しない」ということは正しい; fact9 -> int2: この使番は厚かましい; int1 & int2 -> int3: この使番は自己紹介しない; fact1 -> int4: 「もし仮にこの使番は自己紹介しないなら「この使番は分かり易いということはない」ということは本当である」ということは成り立つ; int3 & int4 -> int5: この使番は分かり易くない; int5 & fact5 -> int6: 「あの身構えは広がり易いし更に受け入れられ易い」ということは成り立たない; int6 -> int7: 「「広がり易くておまけに受け入れられ易い」ということは成り立たない」ものはある; int7 & fact11 -> hypothesis; __PROVED__
事実1: もし仮に「ある物は自己紹介しない」ということは真実だとすれば「それは分かり易くない」ということは成り立つ
事実2: 厚かましいものは自己紹介しない
事実3: もし仮に「あの日本的労働編成は忙しないということはない」ということは嘘でないとすれば「あの身構えは広がり易い一方で受け入れられ易くない」ということは成り立たない
事実4: 「もしも「「思いするが女っぽくない」ということは誤っている」ものがあればこの悲惨さは蛇使いでない」ということは成り立つ
事実5: もし「この使番は分かり易くない」ということは確かであるとすると「あの身構えは広がり易くて受け入れられ易い」ということは誤っている
事実6: 仮に厚かましいものが分かり易くないなら御寒くない
事実7: 「「「思いするしその上女っぽいということはない」ということは真実だ」ということは間違いである」物はある
事実8: もしこの悲惨さが蛇使いでないならばその規制料金はエロいかもしくは糾弾しないかまたは両方ともだ
事実9: この使番は厚かましいし忙しない
事実10: 仮にそのプードルは末日であるかあるいは忙しなくないかあるいは両方だとすれば「あの日本的労働編成は忙しなくない」ということは成り立つ
事実11: 「もし仮に「「広がり易いしそれに受け入れられ易い」ということは事実と異なる」物があるとしたらその文学論は御寒い」ということは本当である
事実12: 「この姑はエロくない」ということは正しいとすればそのプードルは末日であるかもしくはそれは忙しなくない
事実13: 広がり易くてまた受け入れられ易いものはある

仮説: その文学論は御寒い
1. 事実2から、推論1: "仮に「この使番は厚かましい」ということは成り立つとすれば「自己紹介しない」ということは正しい"が導かれる
2. 事実9から、推論2: "この使番は厚かましい"が導かれる
3. 推論1と推論2から、推論3: "この使番は自己紹介しない"が導かれる
4. 事実1から、推論4: "「もし仮にこの使番は自己紹介しないなら「この使番は分かり易いということはない」ということは本当である」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この使番は分かり易くない"が導かれる
6. 推論5と事実5から、推論6: "「あの身構えは広がり易いし更に受け入れられ易い」ということは成り立たない"が導かれる
7. 推論6から、推論7: "「「広がり易くておまけに受け入れられ易い」ということは成り立たない」ものはある"が導かれる
8. 推論7と事実11から、仮説が導かれる

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