もしもあの暈しが緩み易いとするとこの関数体は塗り薬だ
fact1: あの暈しが御寒いならばあの該当欄は緩み易い fact2: もしもその該当欄が塗り薬だとしたらこの関数体は御寒い fact3: 「あの暈しは緩み易い」ということは事実であるとしたらその該当欄は御寒い fact4: 仮にその該当欄が緩み易いとすればあの暈しは御寒い fact5: もし仮にその該当欄が御寒いとしたらこの関数体は塗り薬だ
void -> assump1: 以下のように仮定する。あの暈しは緩み易い; fact3 & assump1 -> int1: その該当欄は御寒い; int1 & fact5 -> int2: この関数体は塗り薬である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あの暈しが御寒いならばあの該当欄は緩み易い fact2: もしもその該当欄が塗り薬だとしたらこの関数体は御寒い fact3: 「あの暈しは緩み易い」ということは事実であるとしたらその該当欄は御寒い fact4: 仮にその該当欄が緩み易いとすればあの暈しは御寒い fact5: もし仮にその該当欄が御寒いとしたらこの関数体は塗り薬だ ; $hypothesis$ = もしもあの暈しが緩み易いとするとこの関数体は塗り薬だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの暈しは緩み易い; fact3 & assump1 -> int1: その該当欄は御寒い; int1 & fact5 -> int2: この関数体は塗り薬である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの暈しが御寒いならばあの該当欄は緩み易い
事実2: もしもその該当欄が塗り薬だとしたらこの関数体は御寒い
事実3: 「あの暈しは緩み易い」ということは事実であるとしたらその該当欄は御寒い
事実4: 仮にその該当欄が緩み易いとすればあの暈しは御寒い
事実5: もし仮にその該当欄が御寒いとしたらこの関数体は塗り薬だ

仮説: もしもあの暈しが緩み易いとするとこの関数体は塗り薬だ
1. 仮定1: 以下のように仮定する。あの暈しは緩み易い
2. 事実3と仮定1から、推論1: "その該当欄は御寒い"が導かれる
3. 推論1と事実5から、推論2: "この関数体は塗り薬である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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