「この攻撃プログラムは後援しない」ということは本当だ
fact1: 「その職員室は下り切るがしかしそれはやばくない」ということは成り立たない fact2: この攻撃プログラムが分化でないとするとその被介護者はやばいけど黒鮑だということはない fact3: この店頭が居合わせるならそれはオイルショックでないか味方しないかまたはどちらもである fact4: 仮にこの攻撃プログラムが分化でしかもやばいならそれは後援しない fact5: 仮に「その職員室は下り切るしおまけに後援する」ということは誤りであるとすればあの攻撃プログラムは分化でない fact6: もしもそのインバスケットが飛び去らないとすればこの店頭は失職するしそれは居合わせる fact7: なにがしかの物はオイルショックでないとすると「下り切るし加えて後援する」ということは間違っている fact8: この攻撃プログラムは黒鮑であるしそれは分化だ fact9: 「その職員室は下り切るけれどそれはやばくない」ということは間違いだとしたらこの攻撃プログラムはやばい
fact8 -> int1: この攻撃プログラムは分化だ; fact9 & fact1 -> int2: この攻撃プログラムはやばい; int1 & int2 -> int3: この攻撃プログラムは分化だしさらにやばい; int3 & fact4 -> hypothesis;
その被介護者はやばい
fact12 -> int4: もしもその職員室はオイルショックでないとすれば「下り切るしそれに後援する」ということは事実でない;
$facts$ = fact1: 「その職員室は下り切るがしかしそれはやばくない」ということは成り立たない fact2: この攻撃プログラムが分化でないとするとその被介護者はやばいけど黒鮑だということはない fact3: この店頭が居合わせるならそれはオイルショックでないか味方しないかまたはどちらもである fact4: 仮にこの攻撃プログラムが分化でしかもやばいならそれは後援しない fact5: 仮に「その職員室は下り切るしおまけに後援する」ということは誤りであるとすればあの攻撃プログラムは分化でない fact6: もしもそのインバスケットが飛び去らないとすればこの店頭は失職するしそれは居合わせる fact7: なにがしかの物はオイルショックでないとすると「下り切るし加えて後援する」ということは間違っている fact8: この攻撃プログラムは黒鮑であるしそれは分化だ fact9: 「その職員室は下り切るけれどそれはやばくない」ということは間違いだとしたらこの攻撃プログラムはやばい ; $hypothesis$ = 「この攻撃プログラムは後援しない」ということは本当だ ; $proof$ = 
fact8 -> int1: この攻撃プログラムは分化だ; fact9 & fact1 -> int2: この攻撃プログラムはやばい; int1 & int2 -> int3: この攻撃プログラムは分化だしさらにやばい; int3 & fact4 -> hypothesis; __PROVED__
事実1: 「その職員室は下り切るがしかしそれはやばくない」ということは成り立たない
事実2: この攻撃プログラムが分化でないとするとその被介護者はやばいけど黒鮑だということはない
事実3: この店頭が居合わせるならそれはオイルショックでないか味方しないかまたはどちらもである
事実4: 仮にこの攻撃プログラムが分化でしかもやばいならそれは後援しない
事実5: 仮に「その職員室は下り切るしおまけに後援する」ということは誤りであるとすればあの攻撃プログラムは分化でない
事実6: もしもそのインバスケットが飛び去らないとすればこの店頭は失職するしそれは居合わせる
事実7: なにがしかの物はオイルショックでないとすると「下り切るし加えて後援する」ということは間違っている
事実8: この攻撃プログラムは黒鮑であるしそれは分化だ
事実9: 「その職員室は下り切るけれどそれはやばくない」ということは間違いだとしたらこの攻撃プログラムはやばい

仮説: 「この攻撃プログラムは後援しない」ということは本当だ
1. 事実8から、推論1: "この攻撃プログラムは分化だ"が導かれる
2. 事実9と事実1から、推論2: "この攻撃プログラムはやばい"が導かれる
3. 推論1と推論2から、推論3: "この攻撃プログラムは分化だしさらにやばい"が導かれる
4. 推論3と事実4から、仮説が導かれる

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