その四十八巻伝は後ろ暗くない
fact1: 「あの勾玉は関われるということはないか後ろ暗いかまたは両方ともである」ということは事実と異なるとすればその四十八巻伝は後ろ暗くない fact2: 「あの勾玉は調査中でないけど気持ち良い」ということは成り立たない fact3: 仮にあの勾玉が壊れ難いならばその四十八巻伝は幼けない fact4: もしあの勾玉が調査中でないがそれが気持ち良いならばそのサイプレスは司法組織である fact5: もしも「そのサイプレスは十四世だということはないかあるいは幼けないかもしくは両方である」ということは偽であるとするとあの勾玉は幼けなくない fact6: 「その四十八巻伝は壊れ難い」ということは確かだ fact7: 仮にそのサイプレスが司法組織でかつ壊れ難いならあの勾玉は司法組織でない fact8: もし仮にその四十八巻伝は調査中でないしかつ幼けなくないとしたら「あの勾玉は司法組織である」ということは確かである fact9: もしもあの史跡名勝天然記念物は一ダイブでないとすれば「そのサイプレスは十四世でないかもしくは幼けないかもしくは両方ともだ」ということは偽だ fact10: 「あの勾玉は調査中であるけど気持ち良くない」ということは間違いだ fact11: もし仮にあの勾玉が司法組織でないならその四十八巻伝は関われる一方で後ろ暗くない fact12: 「あの行は関われるということはない」ということは成り立つ fact13: もしも「「なにかは調査中でないし気持ち良くない」ということは本当である」ということは間違っているとすればそれは壊れ難い fact14: もしあの勾玉が調査中であるがしかし気持ち良くないならばそのサイプレスは司法組織だ fact15: もし仮に「その四十八巻伝は調査中でなくてまたそれは後ろ暗くない」ということは間違いだとすると「それは壊れ難い」ということは本当である fact16: もしとあるものは幼けなくないなら「それは司法組織であるし壊れ難い」ということは成り立たない fact17: もし仮にそのサイプレスが司法組織であるならあの史跡名勝天然記念物は関われる fact18: 「ある物は司法組織でまたそれは壊れ難い」ということは嘘であるならば「それは司法組織でない」ということは事実だ fact19: あの勾玉が調査中でないし気持ち良くないならばそのサイプレスは司法組織である fact20: もし仮にとある物は司法組織でないならば「「それは関われないかまたは後ろ暗いかもしくは両方ともだ」ということは確かである」ということは誤っている fact21: あのＣ／Ａコードは後ろ暗い fact22: 「あの史跡名勝天然記念物は関われない」ということは成り立つ fact23: もしもあの史跡名勝天然記念物が私有しなくてそれがたわいなくないとすれば一ダイブであるということはない fact24: そのトレーダーは騰貴しなくてしかもビジュアル系でない fact25: あの史跡名勝天然記念物は開けする fact26: 「あの実践編は関われない」ということは成り立つ fact27: もしその四十八巻伝が幼けないとしたらそれは後ろ暗い
void -> assump1: 以下のように仮定する。あの勾玉は調査中でないししかも気持ち良くない; fact19 & assump1 -> int1: そのサイプレスは司法組織である; int1 & fact17 -> int2: あの史跡名勝天然記念物は関われる; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの勾玉は調査中でなくて気持ち良くない」ということは確かだ」ということは誤っている; fact13 -> int5: 仮に「あの勾玉は調査中でなくて気持ち良くない」ということは成り立つということはないならそれは壊れ難い; int4 & int5 -> int6: あの勾玉は壊れ難い; int6 & fact3 -> int7: その四十八巻伝は幼けない; int7 & fact27 -> hypothesis;
その四十八巻伝は後ろ暗くない
fact29 -> int8: もしもあの勾玉は司法組織でないならば「関われないかまたは後ろ暗いかまたは両方だ」ということは成り立たない; fact30 -> int9: 「あの勾玉は司法組織であるしその上壊れ難い」ということは成り立たないとすれば司法組織だということはない; fact32 -> int10: もしあの勾玉は幼けなくないならば「それは司法組織であるし壊れ難い」ということは間違いである;
$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: そのトレーダーは騰貴しなくてしかもビジュアル系でない fact25: あの史跡名勝天然記念物は開けする fact26: 「あの実践編は関われない」ということは成り立つ fact27: もしその四十八巻伝が幼けないとしたらそれは後ろ暗い ; $hypothesis$ = その四十八巻伝は後ろ暗くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの勾玉は調査中でないししかも気持ち良くない; fact19 & assump1 -> int1: そのサイプレスは司法組織である; int1 & fact17 -> int2: あの史跡名勝天然記念物は関われる; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの勾玉は調査中でなくて気持ち良くない」ということは確かだ」ということは誤っている; fact13 -> int5: 仮に「あの勾玉は調査中でなくて気持ち良くない」ということは成り立つということはないならそれは壊れ難い; int4 & int5 -> int6: あの勾玉は壊れ難い; int6 & fact3 -> int7: その四十八巻伝は幼けない; int7 & fact27 -> 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: そのトレーダーは騰貴しなくてしかもビジュアル系でない
事実25: あの史跡名勝天然記念物は開けする
事実26: 「あの実践編は関われない」ということは成り立つ
事実27: もしその四十八巻伝が幼けないとしたらそれは後ろ暗い

仮説: その四十八巻伝は後ろ暗くない
1. 仮定1: 以下のように仮定する。あの勾玉は調査中でないししかも気持ち良くない
2. 事実19と仮定1から、推論1: "そのサイプレスは司法組織である"が導かれる
3. 推論1と事実17から、推論2: "あの史跡名勝天然記念物は関われる"が導かれる
4. 推論2と事実22から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「あの勾玉は調査中でなくて気持ち良くない」ということは確かだ」ということは誤っている"が導かれる
6. 事実13から、推論5: "仮に「あの勾玉は調査中でなくて気持ち良くない」ということは成り立つということはないならそれは壊れ難い"が導かれる
7. 推論4と推論5から、推論6: "あの勾玉は壊れ難い"が導かれる
8. 推論6と事実3から、推論7: "その四十八巻伝は幼けない"が導かれる
9. 推論7と事実27から、仮説が否定される

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