もしもあの断わり書きが重篤度であるならばあの姿勢反射障害はパニクる
fact1: 重篤度は潔し fact2: 潔し物はパニクる fact3: もしもあのビジネスプラン策定が身軽いとすればあの姿勢反射障害は潔し fact4: もしも「とあるものはパニクる一方で購入でない」ということは誤りならば「パニクる」ということは間違っている fact5: 仮にあの断わり書きが重篤度であるならばあのビジネスプラン策定は身軽い
void -> assump1: 以下のように仮定する。「あの断わり書きは重篤度でない」ということは誤っている; fact5 & assump1 -> int1: あのビジネスプラン策定は身軽い; int1 & fact3 -> int2: あの姿勢反射障害は潔し; fact2 -> int3: あの姿勢反射障害が潔しとすればそれはパニクる; int2 & int3 -> int4: あの姿勢反射障害はパニクる; [assump1] & int4 -> hypothesis;
あのビジネスプラン策定は潔し
fact6 -> int5: もしもあのビジネスプラン策定は重篤度であるとしたら潔し; fact7 -> int6: もし「あのビジネスプラン策定はパニクるが購入でない」ということは事実と異なるとすれば「それはパニクるない」ということは成り立つ;
$facts$ = fact1: 重篤度は潔し fact2: 潔し物はパニクる fact3: もしもあのビジネスプラン策定が身軽いとすればあの姿勢反射障害は潔し fact4: もしも「とあるものはパニクる一方で購入でない」ということは誤りならば「パニクる」ということは間違っている fact5: 仮にあの断わり書きが重篤度であるならばあのビジネスプラン策定は身軽い ; $hypothesis$ = もしもあの断わり書きが重篤度であるならばあの姿勢反射障害はパニクる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの断わり書きは重篤度でない」ということは誤っている; fact5 & assump1 -> int1: あのビジネスプラン策定は身軽い; int1 & fact3 -> int2: あの姿勢反射障害は潔し; fact2 -> int3: あの姿勢反射障害が潔しとすればそれはパニクる; int2 & int3 -> int4: あの姿勢反射障害はパニクる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 重篤度は潔し
事実2: 潔し物はパニクる
事実3: もしもあのビジネスプラン策定が身軽いとすればあの姿勢反射障害は潔し
事実4: もしも「とあるものはパニクる一方で購入でない」ということは誤りならば「パニクる」ということは間違っている
事実5: 仮にあの断わり書きが重篤度であるならばあのビジネスプラン策定は身軽い

仮説: もしもあの断わり書きが重篤度であるならばあの姿勢反射障害はパニクる
1. 仮定1: 以下のように仮定する。「あの断わり書きは重篤度でない」ということは誤っている
2. 事実5と仮定1から、推論1: "あのビジネスプラン策定は身軽い"が導かれる
3. 推論1と事実3から、推論2: "あの姿勢反射障害は潔し"が導かれる
4. 事実2から、推論3: "あの姿勢反射障害が潔しとすればそれはパニクる"が導かれる
5. 推論2と推論3から、推論4: "あの姿勢反射障害はパニクる"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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