このスルーは夏用であるけど表面全体でない
fact1: 仮にこの主柱穴は惨いとしたら「このスルーは夏用であるけど表面全体でない」ということは嘘だ fact2: この主柱穴が惨くないとすればこのスルーは夏用であるがしかし表面全体でない fact3: 「このスルーは返りらしくないけれど表面全体である」ということは誤っている fact4: もしも「この主柱穴は返りらしくないしおまけにそれはフランス人らしくない」ということは間違いであるとすれば惨くない fact5: 人間っぽくない物は小狡くてさらに根治的腎摘出術である fact6: 「この主柱穴は返りらしくないししかもフランス人らしくない」ということは誤っている fact7: もし仮になにがしかのものは小狡いならば「惨い」ということは正しい
fact4 & fact6 -> int1: この主柱穴は惨くない; int1 & fact2 -> hypothesis;
「「このスルーは夏用であるが表面全体でない」ということは偽だ」ということは正しい
fact10 -> int2: この主柱穴が小狡いとしたら惨い; fact9 -> int3: もしこの主柱穴が人間っぽいということはないならばそれは小狡いししかも根治的腎摘出術である;
$facts$ = fact1: 仮にこの主柱穴は惨いとしたら「このスルーは夏用であるけど表面全体でない」ということは嘘だ fact2: この主柱穴が惨くないとすればこのスルーは夏用であるがしかし表面全体でない fact3: 「このスルーは返りらしくないけれど表面全体である」ということは誤っている fact4: もしも「この主柱穴は返りらしくないしおまけにそれはフランス人らしくない」ということは間違いであるとすれば惨くない fact5: 人間っぽくない物は小狡くてさらに根治的腎摘出術である fact6: 「この主柱穴は返りらしくないししかもフランス人らしくない」ということは誤っている fact7: もし仮になにがしかのものは小狡いならば「惨い」ということは正しい ; $hypothesis$ = このスルーは夏用であるけど表面全体でない ; $proof$ = 
fact4 & fact6 -> int1: この主柱穴は惨くない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 仮にこの主柱穴は惨いとしたら「このスルーは夏用であるけど表面全体でない」ということは嘘だ
事実2: この主柱穴が惨くないとすればこのスルーは夏用であるがしかし表面全体でない
事実3: 「このスルーは返りらしくないけれど表面全体である」ということは誤っている
事実4: もしも「この主柱穴は返りらしくないしおまけにそれはフランス人らしくない」ということは間違いであるとすれば惨くない
事実5: 人間っぽくない物は小狡くてさらに根治的腎摘出術である
事実6: 「この主柱穴は返りらしくないししかもフランス人らしくない」ということは誤っている
事実7: もし仮になにがしかのものは小狡いならば「惨い」ということは正しい

仮説: このスルーは夏用であるけど表面全体でない
1. 事実4と事実6から、推論1: "この主柱穴は惨くない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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