そのメスティソが電子メールだとしたらあのデビューは怪しい
fact1: 仮にあの研究手法が撒き続けなくてそれが怪しくないならばそれは電子メールである fact2: もしあのデビューが中期以後ならこの球体は怪しい fact3: そのメスティソが怪しいとするとあのデビューは電子メールである fact4: あのデビューは中期以後である fact5: そのメスティソは罹る fact6: そのメスティソは怪しい fact7: 仮にあのデビューは電子メールであるとすると「そのメスティソは怪しい」ということは真実である fact8: この球体は思わしい fact9: もし「あのデビューは怪しい」ということは成り立つならこの球体は電子メールだ fact10: 電子メールは中期以後である fact11: この球体が怪しいとしたらあのデビューは中期以後だ fact12: もしこの球体が中期以後であるならあのデビューは怪しい fact13: もしもそのメスティソが中期以後であるとすればあの球体は怪しい fact14: そのメスティソが電子メールならこの球体は中期以後だ fact15: この球体は怪しい
void -> assump1: 以下のように仮定する。そのメスティソは電子メールである; fact14 & assump1 -> int1: この球体は中期以後だ; int1 & fact12 -> int2: 「あのデビューは怪しいということはない」ということは間違いだ; [assump1] & int2 -> hypothesis;
あの研究手法は中期以後である
fact16 -> int3: 仮にあの研究手法が電子メールだとしたら中期以後である;
$facts$ = fact1: 仮にあの研究手法が撒き続けなくてそれが怪しくないならばそれは電子メールである fact2: もしあのデビューが中期以後ならこの球体は怪しい fact3: そのメスティソが怪しいとするとあのデビューは電子メールである fact4: あのデビューは中期以後である fact5: そのメスティソは罹る fact6: そのメスティソは怪しい fact7: 仮にあのデビューは電子メールであるとすると「そのメスティソは怪しい」ということは真実である fact8: この球体は思わしい fact9: もし「あのデビューは怪しい」ということは成り立つならこの球体は電子メールだ fact10: 電子メールは中期以後である fact11: この球体が怪しいとしたらあのデビューは中期以後だ fact12: もしこの球体が中期以後であるならあのデビューは怪しい fact13: もしもそのメスティソが中期以後であるとすればあの球体は怪しい fact14: そのメスティソが電子メールならこの球体は中期以後だ fact15: この球体は怪しい ; $hypothesis$ = そのメスティソが電子メールだとしたらあのデビューは怪しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのメスティソは電子メールである; fact14 & assump1 -> int1: この球体は中期以後だ; int1 & fact12 -> int2: 「あのデビューは怪しいということはない」ということは間違いだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にあの研究手法が撒き続けなくてそれが怪しくないならばそれは電子メールである
事実2: もしあのデビューが中期以後ならこの球体は怪しい
事実3: そのメスティソが怪しいとするとあのデビューは電子メールである
事実4: あのデビューは中期以後である
事実5: そのメスティソは罹る
事実6: そのメスティソは怪しい
事実7: 仮にあのデビューは電子メールであるとすると「そのメスティソは怪しい」ということは真実である
事実8: この球体は思わしい
事実9: もし「あのデビューは怪しい」ということは成り立つならこの球体は電子メールだ
事実10: 電子メールは中期以後である
事実11: この球体が怪しいとしたらあのデビューは中期以後だ
事実12: もしこの球体が中期以後であるならあのデビューは怪しい
事実13: もしもそのメスティソが中期以後であるとすればあの球体は怪しい
事実14: そのメスティソが電子メールならこの球体は中期以後だ
事実15: この球体は怪しい

仮説: そのメスティソが電子メールだとしたらあのデビューは怪しい
1. 仮定1: 以下のように仮定する。そのメスティソは電子メールである
2. 事実14と仮定1から、推論1: "この球体は中期以後だ"が導かれる
3. 推論1と事実12から、推論2: "「あのデビューは怪しいということはない」ということは間違いだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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