あの第一言は医学管理料でない
fact1: 仮にとあるものが朗庵像であるとしたらあの事後は芸能化しない fact2: 仮に「何かは甚だしいということはないかもしくは伸び出す」ということは間違いだとすればそれは医学管理料でない fact3: もし仮にとある物が克服出来るということはないかあるいは朗庵像であるかもしくは両方ともだとするとあの事後は芸能化しない fact4: 「克服出来ないかあるいは朗庵像であるか両方である」物はある fact5: もしとあるものがつべたくないとすればあの第一言は伸び出さない fact6: あの第一言は伸び出さない fact7: もし「「あの事後は切り込まないかもしくは支援環境であるかまたは両方である」ということは確かである」ということは誤りならばそれは芸能化する fact8: 「あるものは朗庵像だ」ということは成り立つとすればそれは甚だしいということはない fact9: もし「なにがしかのものは芸能化するし伸び出す」ということは間違いであるとすればそれは芸能化しない fact10: あの事後が伸び出さないとすると芸能化しない fact11: あの事後は切り込む fact12: もしもとあるものは切り込まないかもしくはそれは支援環境であるかもしくは両方であるとするとそれはつべたくない fact13: 仮にそのカラーパウダーが偏愛しないとすれば論じ合うということはない fact14: もしもなにかはつべたくないとしたら「あの第一言は甚だしくないかあるいは伸び出すかもしくは両方ともだ」ということは偽である fact15: 仮にあの第一言は甚だしくないなら「芸能化するしそれにそれは伸び出す」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「「あの事後は切り込まないかまたは支援環境であるかどちらもである」ということは誤りだ」ということは事実だ; fact7 & assump1 -> int1: あの事後は芸能化する; fact4 & fact3 -> int2: あの事後は芸能化するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの事後は切り込まないかあるいは支援環境であるか両方だ; fact12 -> int5: 仮にあの事後は切り込まないか支援環境であるかまたはどちらもであるならばそれはつべたくない; int4 & int5 -> int6: あの事後はつべたくない; int6 -> int7: 「「つべたいということはない」ということは成り立つ」物はある; int7 & fact14 -> int8: 「あの第一言は甚だしいということはないかまたは伸び出すかどちらもである」ということは成り立たない; fact2 -> int9: もし「あの第一言は甚だしくないかもしくは伸び出すか両方だ」ということは誤っていればそれは医学管理料でない; int8 & int9 -> hypothesis;
あの第一言は医学管理料だ
fact16 -> int10: 「あの第一言は芸能化するしまた伸び出す」ということは確かだということはないとするとそれは芸能化しない; fact17 -> int11: もしあの第一言は朗庵像であるとすれば甚だしくない;
$facts$ = fact1: 仮にとあるものが朗庵像であるとしたらあの事後は芸能化しない fact2: 仮に「何かは甚だしいということはないかもしくは伸び出す」ということは間違いだとすればそれは医学管理料でない fact3: もし仮にとある物が克服出来るということはないかあるいは朗庵像であるかもしくは両方ともだとするとあの事後は芸能化しない fact4: 「克服出来ないかあるいは朗庵像であるか両方である」物はある fact5: もしとあるものがつべたくないとすればあの第一言は伸び出さない fact6: あの第一言は伸び出さない fact7: もし「「あの事後は切り込まないかもしくは支援環境であるかまたは両方である」ということは確かである」ということは誤りならばそれは芸能化する fact8: 「あるものは朗庵像だ」ということは成り立つとすればそれは甚だしいということはない fact9: もし「なにがしかのものは芸能化するし伸び出す」ということは間違いであるとすればそれは芸能化しない fact10: あの事後が伸び出さないとすると芸能化しない fact11: あの事後は切り込む fact12: もしもとあるものは切り込まないかもしくはそれは支援環境であるかもしくは両方であるとするとそれはつべたくない fact13: 仮にそのカラーパウダーが偏愛しないとすれば論じ合うということはない fact14: もしもなにかはつべたくないとしたら「あの第一言は甚だしくないかあるいは伸び出すかもしくは両方ともだ」ということは偽である fact15: 仮にあの第一言は甚だしくないなら「芸能化するしそれにそれは伸び出す」ということは成り立つということはない ; $hypothesis$ = あの第一言は医学管理料でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの事後は切り込まないかまたは支援環境であるかどちらもである」ということは誤りだ」ということは事実だ; fact7 & assump1 -> int1: あの事後は芸能化する; fact4 & fact3 -> int2: あの事後は芸能化するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの事後は切り込まないかあるいは支援環境であるか両方だ; fact12 -> int5: 仮にあの事後は切り込まないか支援環境であるかまたはどちらもであるならばそれはつべたくない; int4 & int5 -> int6: あの事後はつべたくない; int6 -> int7: 「「つべたいということはない」ということは成り立つ」物はある; int7 & fact14 -> int8: 「あの第一言は甚だしいということはないかまたは伸び出すかどちらもである」ということは成り立たない; fact2 -> int9: もし「あの第一言は甚だしくないかもしくは伸び出すか両方だ」ということは誤っていればそれは医学管理料でない; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮にとあるものが朗庵像であるとしたらあの事後は芸能化しない
事実2: 仮に「何かは甚だしいということはないかもしくは伸び出す」ということは間違いだとすればそれは医学管理料でない
事実3: もし仮にとある物が克服出来るということはないかあるいは朗庵像であるかもしくは両方ともだとするとあの事後は芸能化しない
事実4: 「克服出来ないかあるいは朗庵像であるか両方である」物はある
事実5: もしとあるものがつべたくないとすればあの第一言は伸び出さない
事実6: あの第一言は伸び出さない
事実7: もし「「あの事後は切り込まないかもしくは支援環境であるかまたは両方である」ということは確かである」ということは誤りならばそれは芸能化する
事実8: 「あるものは朗庵像だ」ということは成り立つとすればそれは甚だしいということはない
事実9: もし「なにがしかのものは芸能化するし伸び出す」ということは間違いであるとすればそれは芸能化しない
事実10: あの事後が伸び出さないとすると芸能化しない
事実11: あの事後は切り込む
事実12: もしもとあるものは切り込まないかもしくはそれは支援環境であるかもしくは両方であるとするとそれはつべたくない
事実13: 仮にそのカラーパウダーが偏愛しないとすれば論じ合うということはない
事実14: もしもなにかはつべたくないとしたら「あの第一言は甚だしくないかあるいは伸び出すかもしくは両方ともだ」ということは偽である
事実15: 仮にあの第一言は甚だしくないなら「芸能化するしそれにそれは伸び出す」ということは成り立つということはない

仮説: あの第一言は医学管理料でない
1. 仮定1: 以下のように仮定する。「「あの事後は切り込まないかまたは支援環境であるかどちらもである」ということは誤りだ」ということは事実だ
2. 事実7と仮定1から、推論1: "あの事後は芸能化する"が導かれる
3. 事実4と事実3から、推論2: "あの事後は芸能化するということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの事後は切り込まないかあるいは支援環境であるか両方だ"が導かれる
6. 事実12から、推論5: "仮にあの事後は切り込まないか支援環境であるかまたはどちらもであるならばそれはつべたくない"が導かれる
7. 推論4と推論5から、推論6: "あの事後はつべたくない"が導かれる
8. 推論6から、推論7: "「「つべたいということはない」ということは成り立つ」物はある"が導かれる
9. 推論7と事実14から、推論8: "「あの第一言は甚だしいということはないかまたは伸び出すかどちらもである」ということは成り立たない"が導かれる
10. 事実2から、推論9: "もし「あの第一言は甚だしくないかもしくは伸び出すか両方だ」ということは誤っていればそれは医学管理料でない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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