「「その下部は組合側であるけどそれは走り易くない」ということは偽だ」ということは事実である
fact1: もし仮に何らかの物はカメラボタンだということはないとすれば「もどかしいけど遂げるということはない」ということは成り立たない fact2: 仮にその下部は煩わせないとすれば「それが組合側だしおまけにそれは走り易くない」ということは事実と異なる fact3: 「締め出すということはないか遂げないかあるいは両方ともである」物はある fact4: もし仮に何かは締め出すということはないか遂げないかもしくは両方ともであるとしたらその下部は煩わせない
fact3 & fact4 -> int1: その下部は煩わせない; int1 & fact2 -> hypothesis;
その課税標準額はカメラボタンであるということはないならば「「それはもどかしいけれど遂げない」ということは事実だ」ということは偽だ
fact5 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物はカメラボタンだということはないとすれば「もどかしいけど遂げるということはない」ということは成り立たない fact2: 仮にその下部は煩わせないとすれば「それが組合側だしおまけにそれは走り易くない」ということは事実と異なる fact3: 「締め出すということはないか遂げないかあるいは両方ともである」物はある fact4: もし仮に何かは締め出すということはないか遂げないかもしくは両方ともであるとしたらその下部は煩わせない ; $hypothesis$ = 「「その下部は組合側であるけどそれは走り易くない」ということは偽だ」ということは事実である ; $proof$ = 
fact3 & fact4 -> int1: その下部は煩わせない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物はカメラボタンだということはないとすれば「もどかしいけど遂げるということはない」ということは成り立たない
事実2: 仮にその下部は煩わせないとすれば「それが組合側だしおまけにそれは走り易くない」ということは事実と異なる
事実3: 「締め出すということはないか遂げないかあるいは両方ともである」物はある
事実4: もし仮に何かは締め出すということはないか遂げないかもしくは両方ともであるとしたらその下部は煩わせない

仮説: 「「その下部は組合側であるけどそれは走り易くない」ということは偽だ」ということは事実である
1. 事実3と事実4から、推論1: "その下部は煩わせない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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