もしあの一般的事項が社会部長であるとすればあの殺人現場は冗談めかす
fact1: もし仮になにがしかの物が鉢物でないがしかしそれが経験するなら冗談めかす fact2: この殺人現場は経験する fact3: もしもなにがしかのものが摂取出来るということはないとしたら鉢物でないしそれにそれは経験する fact4: あの一般的事項は架設する fact5: とあるものが摂取出来るということはないならばそれは経験する fact6: 「あの一般的事項は架設する」ということは本当であるとしたらそれは輸入インフレだ fact7: あの一般的事項が社会部長でないがしかしそれが摂取出来るとしたら輸入インフレである fact8: もしもあの一般的事項が輸入インフレであるしかつ社会部長ならばこの殺人現場は摂取出来ない fact9: もしもあの一般的事項が鉢物だとすればあの薬害は鉢物だ
fact6 & fact4 -> int1: あの一般的事項は輸入インフレである; void -> assump1: 以下のように仮定する。あの一般的事項は社会部長だ; int1 & assump1 -> int2: あの一般的事項は輸入インフレであるし社会部長である; int2 & fact8 -> int3: この殺人現場は摂取出来ない; fact3 -> int4: もしこの殺人現場が摂取出来るということはないならばそれは鉢物でない一方で経験する; int3 & int4 -> int5: この殺人現場は鉢物だということはないがしかしそれは経験する; fact1 -> int6: 仮にこの殺人現場が鉢物であるということはない一方でそれが経験するとすればそれは冗談めかす; int5 & int6 -> int7: この殺人現場は冗談めかす; [assump1] & int7 -> hypothesis;
その薬害は鉢物だ
$facts$ = fact1: もし仮になにがしかの物が鉢物でないがしかしそれが経験するなら冗談めかす fact2: この殺人現場は経験する fact3: もしもなにがしかのものが摂取出来るということはないとしたら鉢物でないしそれにそれは経験する fact4: あの一般的事項は架設する fact5: とあるものが摂取出来るということはないならばそれは経験する fact6: 「あの一般的事項は架設する」ということは本当であるとしたらそれは輸入インフレだ fact7: あの一般的事項が社会部長でないがしかしそれが摂取出来るとしたら輸入インフレである fact8: もしもあの一般的事項が輸入インフレであるしかつ社会部長ならばこの殺人現場は摂取出来ない fact9: もしもあの一般的事項が鉢物だとすればあの薬害は鉢物だ ; $hypothesis$ = もしあの一般的事項が社会部長であるとすればあの殺人現場は冗談めかす ; $proof$ = 
fact6 & fact4 -> int1: あの一般的事項は輸入インフレである; void -> assump1: 以下のように仮定する。あの一般的事項は社会部長だ; int1 & assump1 -> int2: あの一般的事項は輸入インフレであるし社会部長である; int2 & fact8 -> int3: この殺人現場は摂取出来ない; fact3 -> int4: もしこの殺人現場が摂取出来るということはないならばそれは鉢物でない一方で経験する; int3 & int4 -> int5: この殺人現場は鉢物だということはないがしかしそれは経験する; fact1 -> int6: 仮にこの殺人現場が鉢物であるということはない一方でそれが経験するとすればそれは冗談めかす; int5 & int6 -> int7: この殺人現場は冗談めかす; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が鉢物でないがしかしそれが経験するなら冗談めかす
事実2: この殺人現場は経験する
事実3: もしもなにがしかのものが摂取出来るということはないとしたら鉢物でないしそれにそれは経験する
事実4: あの一般的事項は架設する
事実5: とあるものが摂取出来るということはないならばそれは経験する
事実6: 「あの一般的事項は架設する」ということは本当であるとしたらそれは輸入インフレだ
事実7: あの一般的事項が社会部長でないがしかしそれが摂取出来るとしたら輸入インフレである
事実8: もしもあの一般的事項が輸入インフレであるしかつ社会部長ならばこの殺人現場は摂取出来ない
事実9: もしもあの一般的事項が鉢物だとすればあの薬害は鉢物だ

仮説: もしあの一般的事項が社会部長であるとすればあの殺人現場は冗談めかす
1. 事実6と事実4から、推論1: "あの一般的事項は輸入インフレである"が導かれる
2. 仮定1: 以下のように仮定する。あの一般的事項は社会部長だ
3. 推論1と仮定1から、推論2: "あの一般的事項は輸入インフレであるし社会部長である"が導かれる
4. 推論2と事実8から、推論3: "この殺人現場は摂取出来ない"が導かれる
5. 事実3から、推論4: "もしこの殺人現場が摂取出来るということはないならばそれは鉢物でない一方で経験する"が導かれる
6. 推論3と推論4から、推論5: "この殺人現場は鉢物だということはないがしかしそれは経験する"が導かれる
7. 事実1から、推論6: "仮にこの殺人現場が鉢物であるということはない一方でそれが経験するとすればそれは冗談めかす"が導かれる
8. 推論5と推論6から、推論7: "この殺人現場は冗談めかす"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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