その担当職員は弱い
fact1: もしなにがしかの物が抑制性マクロファージならそれは弱い fact2: もし抑制性マクロファージは変更前であるとしたらそれは検索ソフトでない fact3: その担当職員は難い fact4: もしこのゲルマン系が検索ソフトだとすればあの担当職員は変更前だ fact5: 仮にその供託所が進み易くないとしたらこのゲルマン系が検索ソフトだしかつそれは難い fact6: もしもこのゲルマン系が検索ソフトでないとしたらその担当職員は弱くない fact7: もしも「抑制性マクロファージでない」物はあれば「そのリコーダーは抑制性マクロファージでその上検索ソフトである」ということは間違っている fact8: もし仮にその担当職員が二重目的語構文だとすればそれは進み易い fact9: このオルドー自由主義者達は検索ソフトである fact10: その担当職員は進み易いとしたら「それは弱い」ということは誤りでない fact11: このゲルマン系は変更前だ fact12: このゲルマン系は抑制性マクロファージである
fact12 & fact11 -> int1: このゲルマン系は抑制性マクロファージでおまけに変更前である; fact2 -> int2: もし仮にこのゲルマン系が抑制性マクロファージであるしそれは変更前ならば「それは検索ソフトでない」ということは成り立つ; int1 & int2 -> int3: このゲルマン系は検索ソフトでない; int3 & fact6 -> hypothesis;
そのリコーダーは変更前でない
$facts$ = fact1: もしなにがしかの物が抑制性マクロファージならそれは弱い fact2: もし抑制性マクロファージは変更前であるとしたらそれは検索ソフトでない fact3: その担当職員は難い fact4: もしこのゲルマン系が検索ソフトだとすればあの担当職員は変更前だ fact5: 仮にその供託所が進み易くないとしたらこのゲルマン系が検索ソフトだしかつそれは難い fact6: もしもこのゲルマン系が検索ソフトでないとしたらその担当職員は弱くない fact7: もしも「抑制性マクロファージでない」物はあれば「そのリコーダーは抑制性マクロファージでその上検索ソフトである」ということは間違っている fact8: もし仮にその担当職員が二重目的語構文だとすればそれは進み易い fact9: このオルドー自由主義者達は検索ソフトである fact10: その担当職員は進み易いとしたら「それは弱い」ということは誤りでない fact11: このゲルマン系は変更前だ fact12: このゲルマン系は抑制性マクロファージである ; $hypothesis$ = その担当職員は弱い ; $proof$ = 
fact12 & fact11 -> int1: このゲルマン系は抑制性マクロファージでおまけに変更前である; fact2 -> int2: もし仮にこのゲルマン系が抑制性マクロファージであるしそれは変更前ならば「それは検索ソフトでない」ということは成り立つ; int1 & int2 -> int3: このゲルマン系は検索ソフトでない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が抑制性マクロファージならそれは弱い
事実2: もし抑制性マクロファージは変更前であるとしたらそれは検索ソフトでない
事実3: その担当職員は難い
事実4: もしこのゲルマン系が検索ソフトだとすればあの担当職員は変更前だ
事実5: 仮にその供託所が進み易くないとしたらこのゲルマン系が検索ソフトだしかつそれは難い
事実6: もしもこのゲルマン系が検索ソフトでないとしたらその担当職員は弱くない
事実7: もしも「抑制性マクロファージでない」物はあれば「そのリコーダーは抑制性マクロファージでその上検索ソフトである」ということは間違っている
事実8: もし仮にその担当職員が二重目的語構文だとすればそれは進み易い
事実9: このオルドー自由主義者達は検索ソフトである
事実10: その担当職員は進み易いとしたら「それは弱い」ということは誤りでない
事実11: このゲルマン系は変更前だ
事実12: このゲルマン系は抑制性マクロファージである

仮説: その担当職員は弱い
1. 事実12と事実11から、推論1: "このゲルマン系は抑制性マクロファージでおまけに変更前である"が導かれる
2. 事実2から、推論2: "もし仮にこのゲルマン系が抑制性マクロファージであるしそれは変更前ならば「それは検索ソフトでない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このゲルマン系は検索ソフトでない"が導かれる
4. 推論3と事実6から、仮説が否定される

よって、仮説が否定されました。