あのＦＳはちゃんとするかまたは長浜層でない
fact1: 分かり辛いものは荒らげないがしかし優良企業である fact2: 分かり辛いものはちゃんとするか長浜層でない fact3: その本シリーズは優良企業でないが歌う fact4: もし仮に何らかのものはちゃんとしないとすれば「それは法定利息だし長浜層だ」ということは間違っている fact5: もしその判批は荒廃するとすると「インキュベート事業であるしまた魅せない」ということは誤っている fact6: もし仮に「あの訪問看護事業は分かり辛い」ということは事実であるとしたらその判批は法定利息である fact7: 「その判批は荒廃する」ということは成り立つ fact8: 仮にあるものがむず痒いとすればあの訪問看護事業は最新版でない fact9: もしも「「ナショナリズム運動だしむず痒いということはない」ということは偽な」ものがあるとするとその本シリーズは最新版だ fact10: もしあの訪問看護事業は分かり辛くないなら「その本シリーズは優良企業でないけれど歌う」ということは間違いだ fact11: 仮にその時政が長浜層だとしたらあのＦＳはちゃんとしない fact12: 仮になにがしかのものは魅せるとすれば「それはナショナリズム運動で更にそれはむず痒くない」ということは成り立たない fact13: その本シリーズは優良企業だとすると「あのＦＳは長浜層であるかあるいは優良企業でないかもしくは両方ともだ」ということは間違っている fact14: 仮にその本シリーズが掛け易くないとするとあの訪問看護事業は分かり辛いかあるいは法定利息である fact15: 「その本シリーズは優良企業でない」ということは成り立つ fact16: 仮に「なにがしかの物はインキュベート事業だが魅せない」ということは成り立たないならそれは魅せる fact17: もしその時政は長浜層なら「あのＦＳはちゃんとするかあるいはそれは長浜層であるということはないかあるいはどちらもである」ということは成り立たない fact18: 「その本シリーズは優良企業だしそれに歌う」ということは偽だ fact19: その判批が法定利息であるとするとその時政は長浜層である fact20: 何らかの物はむず痒い fact21: もしとあるものが最新版でないとすれば掛け易くないしまたちゃんとしない fact22: もしもなんらかのものは最新版であるならそれは掛け易いということはない fact23: もしもあの訪問看護事業は分かり辛くないとすれば「その本シリーズは優良企業だしかつ歌う」ということは偽である fact24: あのＦＳはちゃんとしない
void -> assump1: 以下のように仮定する。あの訪問看護事業は分かり辛くない; fact10 & assump1 -> int1: 「その本シリーズは優良企業でないがしかし歌う」ということは嘘である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの訪問看護事業は分かり辛い; int3 & fact6 -> int4: その判批は法定利息だ; int4 & fact19 -> int5: その時政は長浜層だ; int5 & fact17 -> hypothesis;
あのＦＳは荒らげないがそれは優良企業だ
fact25 -> int6: あのＦＳが分かり辛いとすれば荒らげないが優良企業だ; fact29 -> int7: 仮にあの訪問看護事業はちゃんとするということはないならば「それは法定利息だしさらに長浜層だ」ということは真実でない; fact28 -> int8: あの訪問看護事業は最新版でないとしたら掛け易いということはなくておまけにちゃんとするということはない; fact26 & fact27 -> int9: あの訪問看護事業は最新版でない; int8 & int9 -> int10: あの訪問看護事業は掛け易くなくてちゃんとするということはない; int10 -> int11: あの訪問看護事業はちゃんとしない; int7 & int11 -> int12: 「あの訪問看護事業は法定利息であるし長浜層である」ということは間違っている; int12 -> int13: 「「法定利息であるしかつ長浜層だ」ということは事実と異なる」ものはある;
$facts$ = fact1: 分かり辛いものは荒らげないがしかし優良企業である fact2: 分かり辛いものはちゃんとするか長浜層でない fact3: その本シリーズは優良企業でないが歌う fact4: もし仮に何らかのものはちゃんとしないとすれば「それは法定利息だし長浜層だ」ということは間違っている fact5: もしその判批は荒廃するとすると「インキュベート事業であるしまた魅せない」ということは誤っている fact6: もし仮に「あの訪問看護事業は分かり辛い」ということは事実であるとしたらその判批は法定利息である fact7: 「その判批は荒廃する」ということは成り立つ fact8: 仮にあるものがむず痒いとすればあの訪問看護事業は最新版でない fact9: もしも「「ナショナリズム運動だしむず痒いということはない」ということは偽な」ものがあるとするとその本シリーズは最新版だ fact10: もしあの訪問看護事業は分かり辛くないなら「その本シリーズは優良企業でないけれど歌う」ということは間違いだ fact11: 仮にその時政が長浜層だとしたらあのＦＳはちゃんとしない fact12: 仮になにがしかのものは魅せるとすれば「それはナショナリズム運動で更にそれはむず痒くない」ということは成り立たない fact13: その本シリーズは優良企業だとすると「あのＦＳは長浜層であるかあるいは優良企業でないかもしくは両方ともだ」ということは間違っている fact14: 仮にその本シリーズが掛け易くないとするとあの訪問看護事業は分かり辛いかあるいは法定利息である fact15: 「その本シリーズは優良企業でない」ということは成り立つ fact16: 仮に「なにがしかの物はインキュベート事業だが魅せない」ということは成り立たないならそれは魅せる fact17: もしその時政は長浜層なら「あのＦＳはちゃんとするかあるいはそれは長浜層であるということはないかあるいはどちらもである」ということは成り立たない fact18: 「その本シリーズは優良企業だしそれに歌う」ということは偽だ fact19: その判批が法定利息であるとするとその時政は長浜層である fact20: 何らかの物はむず痒い fact21: もしとあるものが最新版でないとすれば掛け易くないしまたちゃんとしない fact22: もしもなんらかのものは最新版であるならそれは掛け易いということはない fact23: もしもあの訪問看護事業は分かり辛くないとすれば「その本シリーズは優良企業だしかつ歌う」ということは偽である fact24: あのＦＳはちゃんとしない ; $hypothesis$ = あのＦＳはちゃんとするかまたは長浜層でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの訪問看護事業は分かり辛くない; fact10 & assump1 -> int1: 「その本シリーズは優良企業でないがしかし歌う」ということは嘘である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの訪問看護事業は分かり辛い; int3 & fact6 -> int4: その判批は法定利息だ; int4 & fact19 -> int5: その時政は長浜層だ; int5 & fact17 -> hypothesis; __DISPROVED__
事実1: 分かり辛いものは荒らげないがしかし優良企業である
事実2: 分かり辛いものはちゃんとするか長浜層でない
事実3: その本シリーズは優良企業でないが歌う
事実4: もし仮に何らかのものはちゃんとしないとすれば「それは法定利息だし長浜層だ」ということは間違っている
事実5: もしその判批は荒廃するとすると「インキュベート事業であるしまた魅せない」ということは誤っている
事実6: もし仮に「あの訪問看護事業は分かり辛い」ということは事実であるとしたらその判批は法定利息である
事実7: 「その判批は荒廃する」ということは成り立つ
事実8: 仮にあるものがむず痒いとすればあの訪問看護事業は最新版でない
事実9: もしも「「ナショナリズム運動だしむず痒いということはない」ということは偽な」ものがあるとするとその本シリーズは最新版だ
事実10: もしあの訪問看護事業は分かり辛くないなら「その本シリーズは優良企業でないけれど歌う」ということは間違いだ
事実11: 仮にその時政が長浜層だとしたらあのＦＳはちゃんとしない
事実12: 仮になにがしかのものは魅せるとすれば「それはナショナリズム運動で更にそれはむず痒くない」ということは成り立たない
事実13: その本シリーズは優良企業だとすると「あのＦＳは長浜層であるかあるいは優良企業でないかもしくは両方ともだ」ということは間違っている
事実14: 仮にその本シリーズが掛け易くないとするとあの訪問看護事業は分かり辛いかあるいは法定利息である
事実15: 「その本シリーズは優良企業でない」ということは成り立つ
事実16: 仮に「なにがしかの物はインキュベート事業だが魅せない」ということは成り立たないならそれは魅せる
事実17: もしその時政は長浜層なら「あのＦＳはちゃんとするかあるいはそれは長浜層であるということはないかあるいはどちらもである」ということは成り立たない
事実18: 「その本シリーズは優良企業だしそれに歌う」ということは偽だ
事実19: その判批が法定利息であるとするとその時政は長浜層である
事実20: 何らかの物はむず痒い
事実21: もしとあるものが最新版でないとすれば掛け易くないしまたちゃんとしない
事実22: もしもなんらかのものは最新版であるならそれは掛け易いということはない
事実23: もしもあの訪問看護事業は分かり辛くないとすれば「その本シリーズは優良企業だしかつ歌う」ということは偽である
事実24: あのＦＳはちゃんとしない

仮説: あのＦＳはちゃんとするかまたは長浜層でない
1. 仮定1: 以下のように仮定する。あの訪問看護事業は分かり辛くない
2. 事実10と仮定1から、推論1: "「その本シリーズは優良企業でないがしかし歌う」ということは嘘である"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの訪問看護事業は分かり辛い"が導かれる
5. 推論3と事実6から、推論4: "その判批は法定利息だ"が導かれる
6. 推論4と事実19から、推論5: "その時政は長浜層だ"が導かれる
7. 推論5と事実17から、仮説が否定される

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