あの百円以下は底上げするなら「その平気は休業でない一方で共有する」ということは確かでない
fact1: もしもこの採掘現場は妊娠だとしたら「その平気は休業でないがしかし共有する」ということは成り立たない fact2: 仮に「あの百円以下は底上げする」ということは正しいならばこの採掘現場は妊娠である fact3: その平気は妊娠でないけど共有する
void -> assump1: 以下のように仮定する。「あの百円以下は底上げする」ということは確かである; fact2 & assump1 -> int1: この採掘現場は妊娠だ; int1 & fact1 -> int2: 「その平気は休業であるということはないけど共有する」ということは成り立たない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもこの採掘現場は妊娠だとしたら「その平気は休業でないがしかし共有する」ということは成り立たない fact2: 仮に「あの百円以下は底上げする」ということは正しいならばこの採掘現場は妊娠である fact3: その平気は妊娠でないけど共有する ; $hypothesis$ = あの百円以下は底上げするなら「その平気は休業でない一方で共有する」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの百円以下は底上げする」ということは確かである; fact2 & assump1 -> int1: この採掘現場は妊娠だ; int1 & fact1 -> int2: 「その平気は休業であるということはないけど共有する」ということは成り立たない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもこの採掘現場は妊娠だとしたら「その平気は休業でないがしかし共有する」ということは成り立たない
事実2: 仮に「あの百円以下は底上げする」ということは正しいならばこの採掘現場は妊娠である
事実3: その平気は妊娠でないけど共有する

仮説: あの百円以下は底上げするなら「その平気は休業でない一方で共有する」ということは確かでない
1. 仮定1: 以下のように仮定する。「あの百円以下は底上げする」ということは確かである
2. 事実2と仮定1から、推論1: "この採掘現場は妊娠だ"が導かれる
3. 推論1と事実1から、推論2: "「その平気は休業であるということはないけど共有する」ということは成り立たない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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