もし仮にこの不効用はさもしくないなら「あの医療事情は抗い難くないし考え深くない」ということは間違いである
fact1: この不効用は考え深くないしそれはさもしくない fact2: 「「「あの医療事情はフィードバック機構でなくてまた黒しない」ということは成り立つ」ということは正しくない」ということは成り立つとすると「この不効用はさもしくない」ということは成り立たない fact3: この不効用は考え深くないとすれば「それは黒しない一方でさもしい」ということは事実でない fact4: もしも「この不効用はさもしくない」ということは事実だとすれば「抗い難くてそれはフィードバック機構でない」ということは成り立たない fact5: もし仮にあの医療事情はさもしいとしたら「この不効用は黒し」ということは成り立つ fact6: 「あの医療事情は考え深くなくて更に企画するということはない」ということは間違っている fact7: 「この不効用はさもしい一方で抗い難くない」ということは嘘だ fact8: もし「この不効用が抗い難くないしさもしいということはない」ということは偽であるとするとあの医療事情は考え深い fact9: 「あの医療事情は馬鹿馬鹿しかないけどフィードバック機構だ」ということは成り立たない fact10: その非麻痺側は考え深い fact11: 仮にあの医療事情はフィードバック機構でないとすれば「抗い難いし考え深くない」ということは嘘だ fact12: もし仮にあの医療事情はさもしくないとしたら「この不効用は抗い難くないけどそれは考え深い」ということは真実でない fact13: もしあの医療事情はフィードバック機構であるということはないならば「それが抗い難くないしさらにそれは考え深い」ということは間違いだ fact14: 「あの答案用紙は黒しない」ということは確かだ fact15: 仮にこの不効用はさもしいということはないとしたら「あの医療事情は抗い難いが考え深いということはない」ということは真実であるということはない fact16: もし仮にあの医療事情は黒しならば「この不効用はさもしい」ということは成り立つ fact17: あの医療事情はさもしい fact18: 「もしもあの医療事情が考え深くないとするとこの不効用は抗い難くないし加えてそれはさもしくない」ということは正しい fact19: 仮にあの医療事情はさもしくないとしたら「それは抗い難くないしそれはフィードバック機構でない」ということは成り立たない fact20: もし仮に「この不効用はさもしくない」ということは真実であるとすれば「あの医療事情は抗い難くないけどそれは考え深い」ということは事実と異なる fact21: もしもあの医療事情はフィードバック機構であるということはないなら「抗い難くないし考え深くない」ということは偽である fact22: あの医療事情は黒しない
void -> assump2: 以下のように仮定する。「あの医療事情はフィードバック機構でないし加えて黒しない」ということは成り立つということはない; fact2 & assump2 -> int1: この不効用はさもしい; void -> assump1: 以下のように仮定する。「この不効用はさもしくない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの医療事情はフィードバック機構でなくてその上黒しない; int3 -> int4: あの医療事情はフィードバック機構でない; int4 & fact21 -> int5: 「あの医療事情は抗い難くないしそれに考え深くない」ということは誤りである; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この不効用は考え深くないしそれはさもしくない fact2: 「「「あの医療事情はフィードバック機構でなくてまた黒しない」ということは成り立つ」ということは正しくない」ということは成り立つとすると「この不効用はさもしくない」ということは成り立たない fact3: この不効用は考え深くないとすれば「それは黒しない一方でさもしい」ということは事実でない fact4: もしも「この不効用はさもしくない」ということは事実だとすれば「抗い難くてそれはフィードバック機構でない」ということは成り立たない fact5: もし仮にあの医療事情はさもしいとしたら「この不効用は黒し」ということは成り立つ fact6: 「あの医療事情は考え深くなくて更に企画するということはない」ということは間違っている fact7: 「この不効用はさもしい一方で抗い難くない」ということは嘘だ fact8: もし「この不効用が抗い難くないしさもしいということはない」ということは偽であるとするとあの医療事情は考え深い fact9: 「あの医療事情は馬鹿馬鹿しかないけどフィードバック機構だ」ということは成り立たない fact10: その非麻痺側は考え深い fact11: 仮にあの医療事情はフィードバック機構でないとすれば「抗い難いし考え深くない」ということは嘘だ fact12: もし仮にあの医療事情はさもしくないとしたら「この不効用は抗い難くないけどそれは考え深い」ということは真実でない fact13: もしあの医療事情はフィードバック機構であるということはないならば「それが抗い難くないしさらにそれは考え深い」ということは間違いだ fact14: 「あの答案用紙は黒しない」ということは確かだ fact15: 仮にこの不効用はさもしいということはないとしたら「あの医療事情は抗い難いが考え深いということはない」ということは真実であるということはない fact16: もし仮にあの医療事情は黒しならば「この不効用はさもしい」ということは成り立つ fact17: あの医療事情はさもしい fact18: 「もしもあの医療事情が考え深くないとするとこの不効用は抗い難くないし加えてそれはさもしくない」ということは正しい fact19: 仮にあの医療事情はさもしくないとしたら「それは抗い難くないしそれはフィードバック機構でない」ということは成り立たない fact20: もし仮に「この不効用はさもしくない」ということは真実であるとすれば「あの医療事情は抗い難くないけどそれは考え深い」ということは事実と異なる fact21: もしもあの医療事情はフィードバック機構であるということはないなら「抗い難くないし考え深くない」ということは偽である fact22: あの医療事情は黒しない ; $hypothesis$ = もし仮にこの不効用はさもしくないなら「あの医療事情は抗い難くないし考え深くない」ということは間違いである ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの医療事情はフィードバック機構でないし加えて黒しない」ということは成り立つということはない; fact2 & assump2 -> int1: この不効用はさもしい; void -> assump1: 以下のように仮定する。「この不効用はさもしくない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの医療事情はフィードバック機構でなくてその上黒しない; int3 -> int4: あの医療事情はフィードバック機構でない; int4 & fact21 -> int5: 「あの医療事情は抗い難くないしそれに考え深くない」ということは誤りである; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この不効用は考え深くないしそれはさもしくない
事実2: 「「「あの医療事情はフィードバック機構でなくてまた黒しない」ということは成り立つ」ということは正しくない」ということは成り立つとすると「この不効用はさもしくない」ということは成り立たない
事実3: この不効用は考え深くないとすれば「それは黒しない一方でさもしい」ということは事実でない
事実4: もしも「この不効用はさもしくない」ということは事実だとすれば「抗い難くてそれはフィードバック機構でない」ということは成り立たない
事実5: もし仮にあの医療事情はさもしいとしたら「この不効用は黒し」ということは成り立つ
事実6: 「あの医療事情は考え深くなくて更に企画するということはない」ということは間違っている
事実7: 「この不効用はさもしい一方で抗い難くない」ということは嘘だ
事実8: もし「この不効用が抗い難くないしさもしいということはない」ということは偽であるとするとあの医療事情は考え深い
事実9: 「あの医療事情は馬鹿馬鹿しかないけどフィードバック機構だ」ということは成り立たない
事実10: その非麻痺側は考え深い
事実11: 仮にあの医療事情はフィードバック機構でないとすれば「抗い難いし考え深くない」ということは嘘だ
事実12: もし仮にあの医療事情はさもしくないとしたら「この不効用は抗い難くないけどそれは考え深い」ということは真実でない
事実13: もしあの医療事情はフィードバック機構であるということはないならば「それが抗い難くないしさらにそれは考え深い」ということは間違いだ
事実14: 「あの答案用紙は黒しない」ということは確かだ
事実15: 仮にこの不効用はさもしいということはないとしたら「あの医療事情は抗い難いが考え深いということはない」ということは真実であるということはない
事実16: もし仮にあの医療事情は黒しならば「この不効用はさもしい」ということは成り立つ
事実17: あの医療事情はさもしい
事実18: 「もしもあの医療事情が考え深くないとするとこの不効用は抗い難くないし加えてそれはさもしくない」ということは正しい
事実19: 仮にあの医療事情はさもしくないとしたら「それは抗い難くないしそれはフィードバック機構でない」ということは成り立たない
事実20: もし仮に「この不効用はさもしくない」ということは真実であるとすれば「あの医療事情は抗い難くないけどそれは考え深い」ということは事実と異なる
事実21: もしもあの医療事情はフィードバック機構であるということはないなら「抗い難くないし考え深くない」ということは偽である
事実22: あの医療事情は黒しない

仮説: もし仮にこの不効用はさもしくないなら「あの医療事情は抗い難くないし考え深くない」ということは間違いである
1. 仮定2: 以下のように仮定する。「あの医療事情はフィードバック機構でないし加えて黒しない」ということは成り立つということはない
2. 事実2と仮定2から、推論1: "この不効用はさもしい"が導かれる
3. 仮定1: 以下のように仮定する。「この不効用はさもしくない」ということは成り立つ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの医療事情はフィードバック機構でなくてその上黒しない"が導かれる
6. 推論3から、推論4: "あの医療事情はフィードバック機構でない"が導かれる
7. 推論4と事実21から、推論5: "「あの医療事情は抗い難くないしそれに考え深くない」ということは誤りである"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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