もし仮にこの二十五Ｄ抵抗性は痩せ我慢でないならば「この教育・研究は例外無いしおまけにアシストグリップである」ということは成り立たない
fact1: 「その本質的傾向は例外無くない」ということは確かだ fact2: もしこの富裕層はアシストグリップでないとすれば「この教育・研究は例外無くてそれにアシストグリップだ」ということは事実と異なる fact3: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとするとこの富裕層は振り回せる fact4: あの非課税特例はアシストグリップでない fact5: この富裕層は振り回せる fact6: もしもこの教育・研究が例外無くないならばあの富裕層は痩せ我慢でないが振り回せる fact7: この教育・研究は振り回せない fact8: この二十五Ｄ抵抗性が痩せ我慢でないとすればこの富裕層はアシストグリップでないけれど振り回せる fact9: この二十五Ｄ抵抗性はつれなくない fact10: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとすればあの教育・研究は例外無いしその上アシストグリップだ fact11: もしもこの二十五Ｄ抵抗性がアシストグリップでないならこの教育・研究は痩せ我慢でないけど振り回せる fact12: もしもこの富裕層がアシストグリップでないとしたらこの教育・研究が例外無いしその上アシストグリップである fact13: 「この富裕層は例外無くてアシストグリップだ」ということは嘘である fact14: もし仮にこの二十五Ｄ抵抗性は痩せ我慢だとすれば「この教育・研究は例外無いしアシストグリップだ」ということは成り立たない
void -> assump1: 以下のように仮定する。この二十五Ｄ抵抗性は痩せ我慢でない; fact8 & assump1 -> int1: この富裕層はアシストグリップでないが振り回せる; int1 -> int2: この富裕層はアシストグリップでない; int2 & fact2 -> int3: 「この教育・研究は例外無くてアシストグリップである」ということは嘘である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「その本質的傾向は例外無くない」ということは確かだ fact2: もしこの富裕層はアシストグリップでないとすれば「この教育・研究は例外無くてそれにアシストグリップだ」ということは事実と異なる fact3: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとするとこの富裕層は振り回せる fact4: あの非課税特例はアシストグリップでない fact5: この富裕層は振り回せる fact6: もしもこの教育・研究が例外無くないならばあの富裕層は痩せ我慢でないが振り回せる fact7: この教育・研究は振り回せない fact8: この二十五Ｄ抵抗性が痩せ我慢でないとすればこの富裕層はアシストグリップでないけれど振り回せる fact9: この二十五Ｄ抵抗性はつれなくない fact10: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとすればあの教育・研究は例外無いしその上アシストグリップだ fact11: もしもこの二十五Ｄ抵抗性がアシストグリップでないならこの教育・研究は痩せ我慢でないけど振り回せる fact12: もしもこの富裕層がアシストグリップでないとしたらこの教育・研究が例外無いしその上アシストグリップである fact13: 「この富裕層は例外無くてアシストグリップだ」ということは嘘である fact14: もし仮にこの二十五Ｄ抵抗性は痩せ我慢だとすれば「この教育・研究は例外無いしアシストグリップだ」ということは成り立たない ; $hypothesis$ = もし仮にこの二十五Ｄ抵抗性は痩せ我慢でないならば「この教育・研究は例外無いしおまけにアシストグリップである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この二十五Ｄ抵抗性は痩せ我慢でない; fact8 & assump1 -> int1: この富裕層はアシストグリップでないが振り回せる; int1 -> int2: この富裕層はアシストグリップでない; int2 & fact2 -> int3: 「この教育・研究は例外無くてアシストグリップである」ということは嘘である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「その本質的傾向は例外無くない」ということは確かだ
事実2: もしこの富裕層はアシストグリップでないとすれば「この教育・研究は例外無くてそれにアシストグリップだ」ということは事実と異なる
事実3: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとするとこの富裕層は振り回せる
事実4: あの非課税特例はアシストグリップでない
事実5: この富裕層は振り回せる
事実6: もしもこの教育・研究が例外無くないならばあの富裕層は痩せ我慢でないが振り回せる
事実7: この教育・研究は振り回せない
事実8: この二十五Ｄ抵抗性が痩せ我慢でないとすればこの富裕層はアシストグリップでないけれど振り回せる
事実9: この二十五Ｄ抵抗性はつれなくない
事実10: 仮にこの二十五Ｄ抵抗性が痩せ我慢でないとすればあの教育・研究は例外無いしその上アシストグリップだ
事実11: もしもこの二十五Ｄ抵抗性がアシストグリップでないならこの教育・研究は痩せ我慢でないけど振り回せる
事実12: もしもこの富裕層がアシストグリップでないとしたらこの教育・研究が例外無いしその上アシストグリップである
事実13: 「この富裕層は例外無くてアシストグリップだ」ということは嘘である
事実14: もし仮にこの二十五Ｄ抵抗性は痩せ我慢だとすれば「この教育・研究は例外無いしアシストグリップだ」ということは成り立たない

仮説: もし仮にこの二十五Ｄ抵抗性は痩せ我慢でないならば「この教育・研究は例外無いしおまけにアシストグリップである」ということは成り立たない
1. 仮定1: 以下のように仮定する。この二十五Ｄ抵抗性は痩せ我慢でない
2. 事実8と仮定1から、推論1: "この富裕層はアシストグリップでないが振り回せる"が導かれる
3. 推論1から、推論2: "この富裕層はアシストグリップでない"が導かれる
4. 推論2と事実2から、推論3: "「この教育・研究は例外無くてアシストグリップである」ということは嘘である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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