もしもその表側が継続するならこの心身機能は拙い
fact1: 陰気臭いものは進呈する fact2: もし仮にその表側が継続するとしたらこの心身機能はタイムウィルテルだ fact3: あの仲介機関は拙い fact4: あの避難施設は拙い fact5: もしこの心身機能がタイムウィルテルならその表側は拙い fact6: この心身機能は呆れ返る fact7: その表側は拙い fact8: もしこの心身機能が拙いならその表側はタイムウィルテルである fact9: もしもなにがしかの物はタイムウィルテルであるとしたらそれは拙い fact10: その表側は繁盛する fact11: 「その表側がタイムウィルテルであるとしたらこの心身機能は継続する」ということは確かである fact12: もし仮にこの心身機能が継続するとするとそれはタイムウィルテルである fact13: 「この心身機能は寒し」ということは誤っていない
void -> assump1: 以下のように仮定する。その表側は継続する; fact2 & assump1 -> int1: この心身機能はタイムウィルテルだ; fact9 -> int2: もし仮にこの心身機能はタイムウィルテルであるとするとそれは拙い; int1 & int2 -> int3: 「この心身機能は拙い」ということは成り立つ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 陰気臭いものは進呈する fact2: もし仮にその表側が継続するとしたらこの心身機能はタイムウィルテルだ fact3: あの仲介機関は拙い fact4: あの避難施設は拙い fact5: もしこの心身機能がタイムウィルテルならその表側は拙い fact6: この心身機能は呆れ返る fact7: その表側は拙い fact8: もしこの心身機能が拙いならその表側はタイムウィルテルである fact9: もしもなにがしかの物はタイムウィルテルであるとしたらそれは拙い fact10: その表側は繁盛する fact11: 「その表側がタイムウィルテルであるとしたらこの心身機能は継続する」ということは確かである fact12: もし仮にこの心身機能が継続するとするとそれはタイムウィルテルである fact13: 「この心身機能は寒し」ということは誤っていない ; $hypothesis$ = もしもその表側が継続するならこの心身機能は拙い ; $proof$ = 
void -> assump1: 以下のように仮定する。その表側は継続する; fact2 & assump1 -> int1: この心身機能はタイムウィルテルだ; fact9 -> int2: もし仮にこの心身機能はタイムウィルテルであるとするとそれは拙い; int1 & int2 -> int3: 「この心身機能は拙い」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 陰気臭いものは進呈する
事実2: もし仮にその表側が継続するとしたらこの心身機能はタイムウィルテルだ
事実3: あの仲介機関は拙い
事実4: あの避難施設は拙い
事実5: もしこの心身機能がタイムウィルテルならその表側は拙い
事実6: この心身機能は呆れ返る
事実7: その表側は拙い
事実8: もしこの心身機能が拙いならその表側はタイムウィルテルである
事実9: もしもなにがしかの物はタイムウィルテルであるとしたらそれは拙い
事実10: その表側は繁盛する
事実11: 「その表側がタイムウィルテルであるとしたらこの心身機能は継続する」ということは確かである
事実12: もし仮にこの心身機能が継続するとするとそれはタイムウィルテルである
事実13: 「この心身機能は寒し」ということは誤っていない

仮説: もしもその表側が継続するならこの心身機能は拙い
1. 仮定1: 以下のように仮定する。その表側は継続する
2. 事実2と仮定1から、推論1: "この心身機能はタイムウィルテルだ"が導かれる
3. 事実9から、推論2: "もし仮にこの心身機能はタイムウィルテルであるとするとそれは拙い"が導かれる
4. 推論1と推論2から、推論3: "「この心身機能は拙い」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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