あの監視・測定は恐ろしくないしその上デッサンしない
fact1: もしも何らかの物は仕方無いなら「賑やかさでないしおまけにそれは統合出来ない」ということは成り立たない fact2: 「ある物はプロテオグリカンであるしデッサンする」ということは本当だということはないとするとそれはデッサンしない fact3: 「あの再生医療は賑やかさでない」ということは成り立つ fact4: この精神病理は進め易いということはないとしたら「あの再生医療は仕方無いしそれに稼働し始める」ということは間違いでない fact5: 「何らかの物は賑やかさでなくてその上統合出来ない」ということは成り立たないとすればそれは永眠しない fact6: もし仮にあるものはデッサンしないとすれば「「それは台石であるかもしくは進め易くない」ということは事実だ」ということは偽だ fact7: 仮にとあるものは賑やかさであるということはないとすると「永眠するし統合出来る」ということは誤りである fact8: 仮になんらかの物が永眠するけれど統合出来ないならばあの再生医療は賑やかさである fact9: もしあの再生医療が永眠しないとするとこの診察券は忍び入るけど恐ろしくない fact10: 「あの八十六人は進め易いがそれは仕方無くない」ということは成り立たないとしたらそれは稼働し始めない fact11: もしこの精神病理は仕方無くないとすれば「あの八十六人は進め易いけど仕方無くない」ということは真実でない fact12: もし仮に「この診察券は永眠するけれどそれは統合出来ない」ということは事実でないならこの精神病理は仕方無くない fact13: もしもあの八十六人が稼働し始めないとすればあの監視・測定は恐ろしくないしデッサンしない fact14: もしも「あの八十六人は台石であるかもしくは進め易いということはないかあるいは両方である」ということは正しくないならばあの精神病理は進め易くない
void -> assump1: 以下のように仮定する。この診察券は永眠する一方で統合出来ない; assump1 -> int1: なにかは永眠するがしかしそれは統合出来ない; int1 & fact8 -> int2: あの再生医療は賑やかさだ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この診察券は永眠するけど統合出来ない」ということは偽である; int4 & fact12 -> int5: この精神病理は仕方無くない; int5 & fact11 -> int6: 「あの八十六人は進め易い一方で仕方無いということはない」ということは正しいということはない; int6 & fact10 -> int7: あの八十六人は稼働し始めない; int7 & fact13 -> hypothesis;
この診察券は忍び入るけれどそれは恐ろしくない
fact16 -> int8: 仮に「あの再生医療は賑やかさでないしそれに統合出来ない」ということは成り立つということはないとすれば永眠しない; fact18 -> int9: あの再生医療は仕方無いとしたら「賑やかさでないしそれに統合出来るということはない」ということは間違っている; fact17 -> int10: もし仮にあの八十六人はデッサンしないとすると「それは台石であるかまたはそれは進め易くない」ということは誤りである; fact19 -> int11: もし「あの八十六人はプロテオグリカンであるしまたデッサンする」ということは偽だとするとそれはデッサンしない;
$facts$ = fact1: もしも何らかの物は仕方無いなら「賑やかさでないしおまけにそれは統合出来ない」ということは成り立たない fact2: 「ある物はプロテオグリカンであるしデッサンする」ということは本当だということはないとするとそれはデッサンしない fact3: 「あの再生医療は賑やかさでない」ということは成り立つ fact4: この精神病理は進め易いということはないとしたら「あの再生医療は仕方無いしそれに稼働し始める」ということは間違いでない fact5: 「何らかの物は賑やかさでなくてその上統合出来ない」ということは成り立たないとすればそれは永眠しない fact6: もし仮にあるものはデッサンしないとすれば「「それは台石であるかもしくは進め易くない」ということは事実だ」ということは偽だ fact7: 仮にとあるものは賑やかさであるということはないとすると「永眠するし統合出来る」ということは誤りである fact8: 仮になんらかの物が永眠するけれど統合出来ないならばあの再生医療は賑やかさである fact9: もしあの再生医療が永眠しないとするとこの診察券は忍び入るけど恐ろしくない fact10: 「あの八十六人は進め易いがそれは仕方無くない」ということは成り立たないとしたらそれは稼働し始めない fact11: もしこの精神病理は仕方無くないとすれば「あの八十六人は進め易いけど仕方無くない」ということは真実でない fact12: もし仮に「この診察券は永眠するけれどそれは統合出来ない」ということは事実でないならこの精神病理は仕方無くない fact13: もしもあの八十六人が稼働し始めないとすればあの監視・測定は恐ろしくないしデッサンしない fact14: もしも「あの八十六人は台石であるかもしくは進め易いということはないかあるいは両方である」ということは正しくないならばあの精神病理は進め易くない ; $hypothesis$ = あの監視・測定は恐ろしくないしその上デッサンしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この診察券は永眠する一方で統合出来ない; assump1 -> int1: なにかは永眠するがしかしそれは統合出来ない; int1 & fact8 -> int2: あの再生医療は賑やかさだ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この診察券は永眠するけど統合出来ない」ということは偽である; int4 & fact12 -> int5: この精神病理は仕方無くない; int5 & fact11 -> int6: 「あの八十六人は進め易い一方で仕方無いということはない」ということは正しいということはない; int6 & fact10 -> int7: あの八十六人は稼働し始めない; int7 & fact13 -> hypothesis; __PROVED__
事実1: もしも何らかの物は仕方無いなら「賑やかさでないしおまけにそれは統合出来ない」ということは成り立たない
事実2: 「ある物はプロテオグリカンであるしデッサンする」ということは本当だということはないとするとそれはデッサンしない
事実3: 「あの再生医療は賑やかさでない」ということは成り立つ
事実4: この精神病理は進め易いということはないとしたら「あの再生医療は仕方無いしそれに稼働し始める」ということは間違いでない
事実5: 「何らかの物は賑やかさでなくてその上統合出来ない」ということは成り立たないとすればそれは永眠しない
事実6: もし仮にあるものはデッサンしないとすれば「「それは台石であるかもしくは進め易くない」ということは事実だ」ということは偽だ
事実7: 仮にとあるものは賑やかさであるということはないとすると「永眠するし統合出来る」ということは誤りである
事実8: 仮になんらかの物が永眠するけれど統合出来ないならばあの再生医療は賑やかさである
事実9: もしあの再生医療が永眠しないとするとこの診察券は忍び入るけど恐ろしくない
事実10: 「あの八十六人は進め易いがそれは仕方無くない」ということは成り立たないとしたらそれは稼働し始めない
事実11: もしこの精神病理は仕方無くないとすれば「あの八十六人は進め易いけど仕方無くない」ということは真実でない
事実12: もし仮に「この診察券は永眠するけれどそれは統合出来ない」ということは事実でないならこの精神病理は仕方無くない
事実13: もしもあの八十六人が稼働し始めないとすればあの監視・測定は恐ろしくないしデッサンしない
事実14: もしも「あの八十六人は台石であるかもしくは進め易いということはないかあるいは両方である」ということは正しくないならばあの精神病理は進め易くない

仮説: あの監視・測定は恐ろしくないしその上デッサンしない
1. 仮定1: 以下のように仮定する。この診察券は永眠する一方で統合出来ない
2. 仮定1から、推論1: "なにかは永眠するがしかしそれは統合出来ない"が導かれる
3. 推論1と事実8から、推論2: "あの再生医療は賑やかさだ"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この診察券は永眠するけど統合出来ない」ということは偽である"が導かれる
6. 推論4と事実12から、推論5: "この精神病理は仕方無くない"が導かれる
7. 推論5と事実11から、推論6: "「あの八十六人は進め易い一方で仕方無いということはない」ということは正しいということはない"が導かれる
8. 推論6と事実10から、推論7: "あの八十六人は稼働し始めない"が導かれる
9. 推論7と事実13から、仮説が導かれる

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