もし仮にその陶冶がＤＤＴだとしたらこの地形は想像し難い
fact1: もし仮になにかは割り引きしないならばそれはＤＤＴでしかもそれはえげつない fact2: その陶冶がえげつないとしたらこの電磁的方法は割り引きしない fact3: その陶冶は割り引きする fact4: もし仮にその陶冶が想像し難いならばその削り出しは割り引きしないかもしくは身動き出来ないかもしくは両方だ fact5: 仮にこの地形がＤＤＴだとすればその陶冶は想像し難い fact6: もし仮に何らかの物が割り引きしないかまたは身動き出来るということはないかまたは両方なら割り引きしない fact7: もしも「この電磁的方法は想像し難い一方でそれはダックであるということはない」ということは真実でないとしたら「その陶冶は想像し難い」ということは本当だ fact8: 「もし仮にこの電磁的方法が割り引きするということはないとしたらこの地形は想像し難い」ということは成り立つ fact9: もしこの電磁的方法がえげつなくないとすればその陶冶は割り引きする fact10: その蟻塚はえげつなくない fact11: この地形は割り引きする fact12: もしこの地形は取材力であるならば「この電磁的方法は想像し難いがしかしダックでない」ということは間違っている fact13: この地形は作曲する fact14: もしもその陶冶がＤＤＴであるかもしくはえげつないか両方だとしたらこの電磁的方法は割り引きしない fact15: 「この電磁的方法は想像し難い」ということは正しい
void -> assump1: 以下のように仮定する。その陶冶はＤＤＴだ; assump1 -> int1: その陶冶はＤＤＴであるかもしくはそれはえげつない; int1 & fact14 -> int2: この電磁的方法は割り引きしない; int2 & fact8 -> int3: この地形は想像し難い; [assump1] & int3 -> hypothesis;
その削り出しはＤＤＴだ
fact20 -> int4: もしもその削り出しが割り引きしないならばそれはＤＤＴであるしそれはえげつない; fact19 -> int5: もしその削り出しが割り引きしないかもしくはそれは身動き出来ないか両方なら「割り引きしない」ということは本当である;
$facts$ = fact1: もし仮になにかは割り引きしないならばそれはＤＤＴでしかもそれはえげつない fact2: その陶冶がえげつないとしたらこの電磁的方法は割り引きしない fact3: その陶冶は割り引きする fact4: もし仮にその陶冶が想像し難いならばその削り出しは割り引きしないかもしくは身動き出来ないかもしくは両方だ fact5: 仮にこの地形がＤＤＴだとすればその陶冶は想像し難い fact6: もし仮に何らかの物が割り引きしないかまたは身動き出来るということはないかまたは両方なら割り引きしない fact7: もしも「この電磁的方法は想像し難い一方でそれはダックであるということはない」ということは真実でないとしたら「その陶冶は想像し難い」ということは本当だ fact8: 「もし仮にこの電磁的方法が割り引きするということはないとしたらこの地形は想像し難い」ということは成り立つ fact9: もしこの電磁的方法がえげつなくないとすればその陶冶は割り引きする fact10: その蟻塚はえげつなくない fact11: この地形は割り引きする fact12: もしこの地形は取材力であるならば「この電磁的方法は想像し難いがしかしダックでない」ということは間違っている fact13: この地形は作曲する fact14: もしもその陶冶がＤＤＴであるかもしくはえげつないか両方だとしたらこの電磁的方法は割り引きしない fact15: 「この電磁的方法は想像し難い」ということは正しい ; $hypothesis$ = もし仮にその陶冶がＤＤＴだとしたらこの地形は想像し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。その陶冶はＤＤＴだ; assump1 -> int1: その陶冶はＤＤＴであるかもしくはそれはえげつない; int1 & fact14 -> int2: この電磁的方法は割り引きしない; int2 & fact8 -> int3: この地形は想像し難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮になにかは割り引きしないならばそれはＤＤＴでしかもそれはえげつない
事実2: その陶冶がえげつないとしたらこの電磁的方法は割り引きしない
事実3: その陶冶は割り引きする
事実4: もし仮にその陶冶が想像し難いならばその削り出しは割り引きしないかもしくは身動き出来ないかもしくは両方だ
事実5: 仮にこの地形がＤＤＴだとすればその陶冶は想像し難い
事実6: もし仮に何らかの物が割り引きしないかまたは身動き出来るということはないかまたは両方なら割り引きしない
事実7: もしも「この電磁的方法は想像し難い一方でそれはダックであるということはない」ということは真実でないとしたら「その陶冶は想像し難い」ということは本当だ
事実8: 「もし仮にこの電磁的方法が割り引きするということはないとしたらこの地形は想像し難い」ということは成り立つ
事実9: もしこの電磁的方法がえげつなくないとすればその陶冶は割り引きする
事実10: その蟻塚はえげつなくない
事実11: この地形は割り引きする
事実12: もしこの地形は取材力であるならば「この電磁的方法は想像し難いがしかしダックでない」ということは間違っている
事実13: この地形は作曲する
事実14: もしもその陶冶がＤＤＴであるかもしくはえげつないか両方だとしたらこの電磁的方法は割り引きしない
事実15: 「この電磁的方法は想像し難い」ということは正しい

仮説: もし仮にその陶冶がＤＤＴだとしたらこの地形は想像し難い
1. 仮定1: 以下のように仮定する。その陶冶はＤＤＴだ
2. 仮定1から、推論1: "その陶冶はＤＤＴであるかもしくはそれはえげつない"が導かれる
3. 推論1と事実14から、推論2: "この電磁的方法は割り引きしない"が導かれる
4. 推論2と事実8から、推論3: "この地形は想像し難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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