その社会認識は欲しいとしたら「あのジュラルミンは右岸であるということはないか覚え易くないかまたは両方だ」ということは偽だ
fact1: あのダウンヒルは知り合う fact2: もしあのダウンヒルが知り合うならあの高コレステロールは差し始める fact3: もし仮にその社会認識が覚え易いならばあの高コレステロールは欲しい fact4: もしあの高コレステロールがもがくし差し始めるならその社会認識は欲しかない fact5: あのダウンヒルはもがく fact6: 「あの高コレステロールはもがかない」ということは成り立てば「あのジュラルミンは右岸でないかまたは覚え易くないかまたは両方である」ということは事実と異なる
fact2 & fact1 -> int1: あの高コレステロールは差し始める; void -> assump1: 以下のように仮定する。あの高コレステロールはもがく; int1 & assump1 -> int2: あの高コレステロールはもがくしそれは差し始める; int2 & fact4 -> int3: その社会認識は欲しかない; void -> assump2: 以下のように仮定する。その社会認識は欲しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの高コレステロールはもがくということはない」ということは本当である; int5 & fact6 -> int6: 「あのジュラルミンは右岸でないかそれは覚え易くない」ということは成り立たない; [assump2] & int6 -> hypothesis;
この男性更年期外来はもがく
$facts$ = fact1: あのダウンヒルは知り合う fact2: もしあのダウンヒルが知り合うならあの高コレステロールは差し始める fact3: もし仮にその社会認識が覚え易いならばあの高コレステロールは欲しい fact4: もしあの高コレステロールがもがくし差し始めるならその社会認識は欲しかない fact5: あのダウンヒルはもがく fact6: 「あの高コレステロールはもがかない」ということは成り立てば「あのジュラルミンは右岸でないかまたは覚え易くないかまたは両方である」ということは事実と異なる ; $hypothesis$ = その社会認識は欲しいとしたら「あのジュラルミンは右岸であるということはないか覚え易くないかまたは両方だ」ということは偽だ ; $proof$ = 
fact2 & fact1 -> int1: あの高コレステロールは差し始める; void -> assump1: 以下のように仮定する。あの高コレステロールはもがく; int1 & assump1 -> int2: あの高コレステロールはもがくしそれは差し始める; int2 & fact4 -> int3: その社会認識は欲しかない; void -> assump2: 以下のように仮定する。その社会認識は欲しい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの高コレステロールはもがくということはない」ということは本当である; int5 & fact6 -> int6: 「あのジュラルミンは右岸でないかそれは覚え易くない」ということは成り立たない; [assump2] & int6 -> hypothesis; __PROVED__
事実1: あのダウンヒルは知り合う
事実2: もしあのダウンヒルが知り合うならあの高コレステロールは差し始める
事実3: もし仮にその社会認識が覚え易いならばあの高コレステロールは欲しい
事実4: もしあの高コレステロールがもがくし差し始めるならその社会認識は欲しかない
事実5: あのダウンヒルはもがく
事実6: 「あの高コレステロールはもがかない」ということは成り立てば「あのジュラルミンは右岸でないかまたは覚え易くないかまたは両方である」ということは事実と異なる

仮説: その社会認識は欲しいとしたら「あのジュラルミンは右岸であるということはないか覚え易くないかまたは両方だ」ということは偽だ
1. 事実2と事実1から、推論1: "あの高コレステロールは差し始める"が導かれる
2. 仮定1: 以下のように仮定する。あの高コレステロールはもがく
3. 推論1と仮定1から、推論2: "あの高コレステロールはもがくしそれは差し始める"が導かれる
4. 推論2と事実4から、推論3: "その社会認識は欲しかない"が導かれる
5. 仮定2: 以下のように仮定する。その社会認識は欲しい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「あの高コレステロールはもがくということはない」ということは本当である"が導かれる
8. 推論5と事実6から、推論6: "「あのジュラルミンは右岸でないかそれは覚え易くない」ということは成り立たない"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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