あの脳病は心優しくない
fact1: もし仮にこの議会大連合が増収でないとすればあのクリーニング屋はエナジーである fact2: もし「この陳腐さは積肥でない」ということは事実であるとしたらあの脳病は積肥であるし更にそれは名演である fact3: もしなにがしかのものは誤解し易いとしたら「増収だ」ということは成り立つ fact4: 仮にこの陳腐さは密談でまた尽くし難いとするとそれは修復するということはない fact5: もし仮に「ある物は筵だがしかし誤解し易くない」ということは間違いなら誤解し易い fact6: もし仮に「あの精巣は増収でないかあるいはエナジーだということはないかもしくは両方ともである」ということは誤っているならそれは積肥だ fact7: 「あの外国人旅行者は積肥だ」ということは本当である fact8: もしも「筵でない」物はあるとすると「あの脳病は筵だけど誤解し易くない」ということは成り立たない fact9: この議会大連合は増収でない fact10: その慣用表現は筵だ fact11: 「もし仮にあの脳病が筵であるかあるいは密談であるかまたは両方ならこのクリーニング屋は名演でない」ということは成り立つ fact12: もしこの議会大連合は男らしいならば「あの精巣は男らしいということはない」ということは成り立たない fact13: もし仮にあの脳病が密談でないとすればあのクリーニング屋は密談である fact14: なにがしかのものは男らしいとしたら「それは増収でないかまたはそれはエナジーでないかもしくは両方である」ということは間違っている fact15: 「この議会大連合は男らしくないけど誤解し易い」ということは間違いだ fact16: このクリーニング屋は名演でない fact17: もし仮に誤解し易い物が男らしいならばそれは心優しくない fact18: 何かは筵でない fact19: もしこのクリーニング屋が尽くし難いし更にそれがディズニー・プロダクションズだとしたら真白くない fact20: もし仮になにがしかのものは名演であるとしたら「男らしい」ということは嘘でない fact21: 仮にこのクリーニング屋がエナジーであるか密談であるかまたは両方ともだとすればこの陳腐さは積肥でない fact22: 尽くし難いものは連勝である
fact1 & fact9 -> int1: このクリーニング屋はエナジーだ; int1 -> int2: このクリーニング屋はエナジーであるかあるいは密談である; int2 & fact21 -> int3: この陳腐さは積肥でない; int3 & fact2 -> int4: あの脳病は積肥であるし名演だ; int4 -> int5: あの脳病は名演である; fact20 -> int6: もしも「あの脳病は名演だ」ということは本当だとすればそれは男らしい; int5 & int6 -> int7: あの脳病は男らしい; fact18 & fact8 -> int8: 「あの脳病は筵だけれど誤解し易くない」ということは成り立たない; fact5 -> int9: もしも「あの脳病は筵であるが誤解し易くない」ということは事実と異なるとすると誤解し易い; int8 & int9 -> int10: あの脳病は誤解し易い; int7 & int10 -> int11: あの脳病は誤解し易いし男らしい; fact17 -> int12: 仮にあの脳病が誤解し易くてさらに男らしいとすれば心優しくない; int11 & int12 -> hypothesis;
あの精巣は積肥でまた残り易い
fact23 -> int13: もしあの精巣は男らしいとすれば「増収でないかもしくはそれはエナジーでないかまたは両方ともである」ということは間違いである;
$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$ = 
fact1 & fact9 -> int1: このクリーニング屋はエナジーだ; int1 -> int2: このクリーニング屋はエナジーであるかあるいは密談である; int2 & fact21 -> int3: この陳腐さは積肥でない; int3 & fact2 -> int4: あの脳病は積肥であるし名演だ; int4 -> int5: あの脳病は名演である; fact20 -> int6: もしも「あの脳病は名演だ」ということは本当だとすればそれは男らしい; int5 & int6 -> int7: あの脳病は男らしい; fact18 & fact8 -> int8: 「あの脳病は筵だけれど誤解し易くない」ということは成り立たない; fact5 -> int9: もしも「あの脳病は筵であるが誤解し易くない」ということは事実と異なるとすると誤解し易い; int8 & int9 -> int10: あの脳病は誤解し易い; int7 & int10 -> int11: あの脳病は誤解し易いし男らしい; fact17 -> int12: 仮にあの脳病が誤解し易くてさらに男らしいとすれば心優しくない; int11 & int12 -> 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と事実9から、推論1: "このクリーニング屋はエナジーだ"が導かれる
2. 推論1から、推論2: "このクリーニング屋はエナジーであるかあるいは密談である"が導かれる
3. 推論2と事実21から、推論3: "この陳腐さは積肥でない"が導かれる
4. 推論3と事実2から、推論4: "あの脳病は積肥であるし名演だ"が導かれる
5. 推論4から、推論5: "あの脳病は名演である"が導かれる
6. 事実20から、推論6: "もしも「あの脳病は名演だ」ということは本当だとすればそれは男らしい"が導かれる
7. 推論5と推論6から、推論7: "あの脳病は男らしい"が導かれる
8. 事実18と事実8から、推論8: "「あの脳病は筵だけれど誤解し易くない」ということは成り立たない"が導かれる
9. 事実5から、推論9: "もしも「あの脳病は筵であるが誤解し易くない」ということは事実と異なるとすると誤解し易い"が導かれる
10. 推論8と推論9から、推論10: "あの脳病は誤解し易い"が導かれる
11. 推論7と推論10から、推論11: "あの脳病は誤解し易いし男らしい"が導かれる
12. 事実17から、推論12: "仮にあの脳病が誤解し易くてさらに男らしいとすれば心優しくない"が導かれる
13. 推論11と推論12から、仮説が導かれる

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