この火力発電所はプロレタリア層である
fact1: 仮になにがしかの物は愛念でないとしたら「それは掃除し易いしさらに取っ付き難い」ということは成り立たない fact2: この火力発電所はタイトルらしいしさらに逃れ難い fact3: もし仮にこの火力発電所が取っ付き難くないならこのエールはタイトルらしいしおまけに逃れ難い fact4: 仮に「なにかは愛念だしプロレタリア層である」ということは成り立たないなら「それはプロレタリア層であるということはない」ということは真実である fact5: この火力発電所は取っ付き難いし掃除し易い fact6: あの新婚生活はプロレタリア層だ fact7: この火力発電所は薬害ＡＩＤＳでない fact8: 「このブリーフは肖像でないが共感する」ということは成り立つ fact9: もし仮にタイトルらしい物が取っ付き難いとするとプロレタリア層でない fact10: もしあの球面は逃れ難くないとすれば「「この火力発電所はプロレタリア層でないししかもタイトルらしくない」ということは本当である」ということは成り立つということはない fact11: 仮に掃除し易くないものはあるとすれば「あの球面は愛念だししかもプロレタリア層だ」ということは成り立つということはない fact12: もし仮に「なにがしかの物は肖像だということはないがしかし共感する」ということは成り立たないとすれば掃除し易くない fact13: 「この火力発電所は掃除し易い」ということは成り立つ fact14: 仮に「肖像であるということはないしおまけに共感する」ものがあるとするとその教室内は愛念でない fact15: この火力発電所は逃れ難い fact16: 「その教室内は肖像でないけど共感する」ということは誤りである
fact2 -> int1: 「この火力発電所はタイトルらしい」ということは事実だ; fact5 -> int2: 「この火力発電所は取っ付き難い」ということは事実だ; int1 & int2 -> int3: この火力発電所はタイトルらしいし更に取っ付き難い; fact9 -> int4: 仮にこの火力発電所がタイトルらしいしさらにそれが取っ付き難いとするとプロレタリア層でない; int3 & int4 -> hypothesis;
このエールは逃れ難い
fact19 -> int5: もし「「あの球面は愛念であるししかもプロレタリア層である」ということは真実だ」ということは事実と異なるならそれはプロレタリア層でない; fact18 -> int6: 仮に「その教室内は肖像でないけどそれは共感する」ということは事実でないとするとそれは掃除し易いということはない; int6 & fact21 -> int7: その教室内は掃除し易いということはない; int7 -> int8: 「掃除し易くない」物はある; int8 & fact20 -> int9: 「あの球面が愛念だし更にプロレタリア層である」ということは事実と異なる; int5 & int9 -> int10: あの球面はプロレタリア層だということはない; int10 -> int11: とあるものはプロレタリア層だということはない;
$facts$ = fact1: 仮になにがしかの物は愛念でないとしたら「それは掃除し易いしさらに取っ付き難い」ということは成り立たない fact2: この火力発電所はタイトルらしいしさらに逃れ難い fact3: もし仮にこの火力発電所が取っ付き難くないならこのエールはタイトルらしいしおまけに逃れ難い fact4: 仮に「なにかは愛念だしプロレタリア層である」ということは成り立たないなら「それはプロレタリア層であるということはない」ということは真実である fact5: この火力発電所は取っ付き難いし掃除し易い fact6: あの新婚生活はプロレタリア層だ fact7: この火力発電所は薬害ＡＩＤＳでない fact8: 「このブリーフは肖像でないが共感する」ということは成り立つ fact9: もし仮にタイトルらしい物が取っ付き難いとするとプロレタリア層でない fact10: もしあの球面は逃れ難くないとすれば「「この火力発電所はプロレタリア層でないししかもタイトルらしくない」ということは本当である」ということは成り立つということはない fact11: 仮に掃除し易くないものはあるとすれば「あの球面は愛念だししかもプロレタリア層だ」ということは成り立つということはない fact12: もし仮に「なにがしかの物は肖像だということはないがしかし共感する」ということは成り立たないとすれば掃除し易くない fact13: 「この火力発電所は掃除し易い」ということは成り立つ fact14: 仮に「肖像であるということはないしおまけに共感する」ものがあるとするとその教室内は愛念でない fact15: この火力発電所は逃れ難い fact16: 「その教室内は肖像でないけど共感する」ということは誤りである ; $hypothesis$ = この火力発電所はプロレタリア層である ; $proof$ = 
fact2 -> int1: 「この火力発電所はタイトルらしい」ということは事実だ; fact5 -> int2: 「この火力発電所は取っ付き難い」ということは事実だ; int1 & int2 -> int3: この火力発電所はタイトルらしいし更に取っ付き難い; fact9 -> int4: 仮にこの火力発電所がタイトルらしいしさらにそれが取っ付き難いとするとプロレタリア層でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物は愛念でないとしたら「それは掃除し易いしさらに取っ付き難い」ということは成り立たない
事実2: この火力発電所はタイトルらしいしさらに逃れ難い
事実3: もし仮にこの火力発電所が取っ付き難くないならこのエールはタイトルらしいしおまけに逃れ難い
事実4: 仮に「なにかは愛念だしプロレタリア層である」ということは成り立たないなら「それはプロレタリア層であるということはない」ということは真実である
事実5: この火力発電所は取っ付き難いし掃除し易い
事実6: あの新婚生活はプロレタリア層だ
事実7: この火力発電所は薬害ＡＩＤＳでない
事実8: 「このブリーフは肖像でないが共感する」ということは成り立つ
事実9: もし仮にタイトルらしい物が取っ付き難いとするとプロレタリア層でない
事実10: もしあの球面は逃れ難くないとすれば「「この火力発電所はプロレタリア層でないししかもタイトルらしくない」ということは本当である」ということは成り立つということはない
事実11: 仮に掃除し易くないものはあるとすれば「あの球面は愛念だししかもプロレタリア層だ」ということは成り立つということはない
事実12: もし仮に「なにがしかの物は肖像だということはないがしかし共感する」ということは成り立たないとすれば掃除し易くない
事実13: 「この火力発電所は掃除し易い」ということは成り立つ
事実14: 仮に「肖像であるということはないしおまけに共感する」ものがあるとするとその教室内は愛念でない
事実15: この火力発電所は逃れ難い
事実16: 「その教室内は肖像でないけど共感する」ということは誤りである

仮説: この火力発電所はプロレタリア層である
1. 事実2から、推論1: "「この火力発電所はタイトルらしい」ということは事実だ"が導かれる
2. 事実5から、推論2: "「この火力発電所は取っ付き難い」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "この火力発電所はタイトルらしいし更に取っ付き難い"が導かれる
4. 事実9から、推論4: "仮にこの火力発電所がタイトルらしいしさらにそれが取っ付き難いとするとプロレタリア層でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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