このセントラルパークは開放出来る
fact1: もしも「この資本勘定は大規模化でなくて更にそれは並べるということはない」ということは成り立たないならばこのセントラルパークは開放出来るということはない fact2: 「「直結する」ということは本当である」物はある fact3: 仲睦まじい物は御命じに成らないししかも並べない fact4: この資本勘定は大規模化である fact5: もし何らかのものが上塗りすればそれはだらし無い fact6: もしも「この資本勘定は並べない」ということは事実であるならこのセントラルパークは開放出来るし大規模化である fact7: もしあるものが直結するとすればその拠出限度額はどぎついかまたは直結する fact8: もし仮にこの資本勘定が並べるならこのセントラルパークは開放出来ない fact9: 何かは関所であるならば「それは仲睦まじい」ということは成り立つ fact10: 「「この資本勘定は大規模化でない一方で並べる」ということは確かである」ということは成り立たない fact11: 仮に「その拠出限度額は上塗りしないがしかし腫瘍マーカーである」ということは間違いだとするとこの資本勘定は上塗りする fact12: その拠出限度額は編集前でないとすれば「上塗りしなくてそれは腫瘍マーカーだ」ということは事実でない fact13: もし仮にとあるものは並べるとすれば「それは開放出来るが大規模化でない」ということは嘘だ fact14: もし「この資本勘定はだらし無い」ということは確かなら関所である
void -> assump1: 以下のように仮定する。この資本勘定は大規模化でないし並べない; assump1 -> int1: この資本勘定は大規模化でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この資本勘定は大規模化でないし並べない」ということは間違いである; int3 & fact1 -> hypothesis;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis;
あの島会所は開放出来ない
fact15 -> int4: あの島会所は並べるとすれば「それは開放出来るけれど大規模化でない」ということは確かでない;
$facts$ = fact1: もしも「この資本勘定は大規模化でなくて更にそれは並べるということはない」ということは成り立たないならばこのセントラルパークは開放出来るということはない fact2: 「「直結する」ということは本当である」物はある fact3: 仲睦まじい物は御命じに成らないししかも並べない fact4: この資本勘定は大規模化である fact5: もし何らかのものが上塗りすればそれはだらし無い fact6: もしも「この資本勘定は並べない」ということは事実であるならこのセントラルパークは開放出来るし大規模化である fact7: もしあるものが直結するとすればその拠出限度額はどぎついかまたは直結する fact8: もし仮にこの資本勘定が並べるならこのセントラルパークは開放出来ない fact9: 何かは関所であるならば「それは仲睦まじい」ということは成り立つ fact10: 「「この資本勘定は大規模化でない一方で並べる」ということは確かである」ということは成り立たない fact11: 仮に「その拠出限度額は上塗りしないがしかし腫瘍マーカーである」ということは間違いだとするとこの資本勘定は上塗りする fact12: その拠出限度額は編集前でないとすれば「上塗りしなくてそれは腫瘍マーカーだ」ということは事実でない fact13: もし仮にとあるものは並べるとすれば「それは開放出来るが大規模化でない」ということは嘘だ fact14: もし「この資本勘定はだらし無い」ということは確かなら関所である ; $hypothesis$ = このセントラルパークは開放出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。この資本勘定は大規模化でないし並べない; assump1 -> int1: この資本勘定は大規模化でない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この資本勘定は大規模化でないし並べない」ということは間違いである; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「この資本勘定は大規模化でなくて更にそれは並べるということはない」ということは成り立たないならばこのセントラルパークは開放出来るということはない
事実2: 「「直結する」ということは本当である」物はある
事実3: 仲睦まじい物は御命じに成らないししかも並べない
事実4: この資本勘定は大規模化である
事実5: もし何らかのものが上塗りすればそれはだらし無い
事実6: もしも「この資本勘定は並べない」ということは事実であるならこのセントラルパークは開放出来るし大規模化である
事実7: もしあるものが直結するとすればその拠出限度額はどぎついかまたは直結する
事実8: もし仮にこの資本勘定が並べるならこのセントラルパークは開放出来ない
事実9: 何かは関所であるならば「それは仲睦まじい」ということは成り立つ
事実10: 「「この資本勘定は大規模化でない一方で並べる」ということは確かである」ということは成り立たない
事実11: 仮に「その拠出限度額は上塗りしないがしかし腫瘍マーカーである」ということは間違いだとするとこの資本勘定は上塗りする
事実12: その拠出限度額は編集前でないとすれば「上塗りしなくてそれは腫瘍マーカーだ」ということは事実でない
事実13: もし仮にとあるものは並べるとすれば「それは開放出来るが大規模化でない」ということは嘘だ
事実14: もし「この資本勘定はだらし無い」ということは確かなら関所である

仮説: このセントラルパークは開放出来る
1. 仮定1: 以下のように仮定する。この資本勘定は大規模化でないし並べない
2. 仮定1から、推論1: "この資本勘定は大規模化でない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この資本勘定は大規模化でないし並べない」ということは間違いである"が導かれる
5. 推論3と事実1から、仮説が否定される

よって、仮説が否定されました。