この髄膜炎はインタビューする
fact1: 面白おかしい物はインタビューする fact2: 仮に何かは面白おかしくないならば「それは探し続けるしおまけに教室でない」ということは成り立たない fact3: 仮にあるものは教室なら「それは面白おかしい」ということは真実である fact4: この髄膜炎は探し続けるししかもそれは教室である
fact4 -> int1: この髄膜炎は教室である; fact3 -> int2: もしこの髄膜炎は教室であるとすると面白おかしい; int1 & int2 -> int3: この髄膜炎は面白おかしい; fact1 -> int4: もし仮にこの髄膜炎が面白おかしいとすればそれはインタビューする; int3 & int4 -> hypothesis;
この髄膜炎はインタビューしない
fact5 -> int5: もし仮にこの環境配慮は面白おかしくないなら「探し続けるがしかし教室でない」ということは間違いである;
$facts$ = fact1: 面白おかしい物はインタビューする fact2: 仮に何かは面白おかしくないならば「それは探し続けるしおまけに教室でない」ということは成り立たない fact3: 仮にあるものは教室なら「それは面白おかしい」ということは真実である fact4: この髄膜炎は探し続けるししかもそれは教室である ; $hypothesis$ = この髄膜炎はインタビューする ; $proof$ = 
fact4 -> int1: この髄膜炎は教室である; fact3 -> int2: もしこの髄膜炎は教室であるとすると面白おかしい; int1 & int2 -> int3: この髄膜炎は面白おかしい; fact1 -> int4: もし仮にこの髄膜炎が面白おかしいとすればそれはインタビューする; int3 & int4 -> hypothesis; __PROVED__
事実1: 面白おかしい物はインタビューする
事実2: 仮に何かは面白おかしくないならば「それは探し続けるしおまけに教室でない」ということは成り立たない
事実3: 仮にあるものは教室なら「それは面白おかしい」ということは真実である
事実4: この髄膜炎は探し続けるししかもそれは教室である

仮説: この髄膜炎はインタビューする
1. 事実4から、推論1: "この髄膜炎は教室である"が導かれる
2. 事実3から、推論2: "もしこの髄膜炎は教室であるとすると面白おかしい"が導かれる
3. 推論1と推論2から、推論3: "この髄膜炎は面白おかしい"が導かれる
4. 事実1から、推論4: "もし仮にこの髄膜炎が面白おかしいとすればそれはインタビューする"が導かれる
5. 推論3と推論4から、仮説が導かれる

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