このミは空振りする
fact1: もしもとあるものが同道するとしたら着せがましかないけれどはしたない fact2: 建国は御見受けする fact3: もしあの場外馬券売り場は空振りしないとすれば「このミは建国であるということはないしそれに着せがましいということはない」ということは誤りだ fact4: 「このミは御見受けするがそれは好循環でない」ということは成り立たない fact5: 全てのものは同道する fact6: 仮に「このミは御見受けするが好循環でない」ということは誤っているとしたら空振りする
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
その方向性は御見受けする
fact7 -> int1: その方向性が建国だとすればそれは御見受けする;
$facts$ = fact1: もしもとあるものが同道するとしたら着せがましかないけれどはしたない fact2: 建国は御見受けする fact3: もしあの場外馬券売り場は空振りしないとすれば「このミは建国であるということはないしそれに着せがましいということはない」ということは誤りだ fact4: 「このミは御見受けするがそれは好循環でない」ということは成り立たない fact5: 全てのものは同道する fact6: 仮に「このミは御見受けするが好循環でない」ということは誤っているとしたら空振りする ; $hypothesis$ = このミは空振りする ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もしもとあるものが同道するとしたら着せがましかないけれどはしたない
事実2: 建国は御見受けする
事実3: もしあの場外馬券売り場は空振りしないとすれば「このミは建国であるということはないしそれに着せがましいということはない」ということは誤りだ
事実4: 「このミは御見受けするがそれは好循環でない」ということは成り立たない
事実5: 全てのものは同道する
事実6: 仮に「このミは御見受けするが好循環でない」ということは誤っているとしたら空振りする

仮説: このミは空振りする
1. 事実6と事実4から、仮説が導かれる

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