この同盟国は青しない
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: もしなにがしかの物は配置転換するとすると「「構成しないが芳しい」ということは成り立つ」ということは偽である
fact23 -> int1: もし仮に「この同盟国は配置転換しない」ということは確かであるとすればあざといということはないかまたは有り難くない; void -> assump1: 以下のように仮定する。この同盟国は配置転換するということはない; int1 & assump1 -> int2: この同盟国はあざとくないかあるいは有り難くないかあるいはどちらもである; int2 & fact9 & fact8 -> int3: その連れ子は埋め込めない; fact6 & fact11 -> int4: その連れ子は埋め込める; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この同盟国は配置転換する; fact1 -> int7: もし仮にこの同盟国は配置転換すれば「それは構成しないし芳しくない」ということは成り立たない; int6 & int7 -> int8: 「この同盟国は構成しなくて芳しくない」ということは偽である; fact15 -> int9: もし「この同盟国は構成しなくてそれに芳しくない」ということは成り立たないならば「青し」ということは成り立つ; int8 & int9 -> hypothesis;
「この同盟国は青しということはない」ということは成り立つ
fact26 & fact27 -> int10: その仕事・プロセスは領民達だ; fact28 & int10 -> int11: 「あの憲法制定時は下人でないけれど芳しい」ということは嘘である; int11 -> int12: 「「下人であるということはないしかつ芳しい」ということは成り立たない」ものはある;
$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: もしなにがしかの物は配置転換するとすると「「構成しないが芳しい」ということは成り立つ」ということは偽である ; $hypothesis$ = この同盟国は青しない ; $proof$ = 
fact23 -> int1: もし仮に「この同盟国は配置転換しない」ということは確かであるとすればあざといということはないかまたは有り難くない; void -> assump1: 以下のように仮定する。この同盟国は配置転換するということはない; int1 & assump1 -> int2: この同盟国はあざとくないかあるいは有り難くないかあるいはどちらもである; int2 & fact9 & fact8 -> int3: その連れ子は埋め込めない; fact6 & fact11 -> int4: その連れ子は埋め込める; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この同盟国は配置転換する; fact1 -> int7: もし仮にこの同盟国は配置転換すれば「それは構成しないし芳しくない」ということは成り立たない; int6 & int7 -> int8: 「この同盟国は構成しなくて芳しくない」ということは偽である; fact15 -> int9: もし「この同盟国は構成しなくてそれに芳しくない」ということは成り立たないならば「青し」ということは成り立つ; int8 & int9 -> 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: もしなにがしかの物は配置転換するとすると「「構成しないが芳しい」ということは成り立つ」ということは偽である

仮説: この同盟国は青しない
1. 事実23から、推論1: "もし仮に「この同盟国は配置転換しない」ということは確かであるとすればあざといということはないかまたは有り難くない"が導かれる
2. 仮定1: 以下のように仮定する。この同盟国は配置転換するということはない
3. 推論1と仮定1から、推論2: "この同盟国はあざとくないかあるいは有り難くないかあるいはどちらもである"が導かれる
4. 推論2と事実9と事実8から、推論3: "その連れ子は埋め込めない"が導かれる
5. 事実6と事実11から、推論4: "その連れ子は埋め込める"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この同盟国は配置転換する"が導かれる
8. 事実1から、推論7: "もし仮にこの同盟国は配置転換すれば「それは構成しないし芳しくない」ということは成り立たない"が導かれる
9. 推論6と推論7から、推論8: "「この同盟国は構成しなくて芳しくない」ということは偽である"が導かれる
10. 事実15から、推論9: "もし「この同盟国は構成しなくてそれに芳しくない」ということは成り立たないならば「青し」ということは成り立つ"が導かれる
11. 推論8と推論9から、仮説が否定される

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