あの問い掛けはセッティングしない
fact1: もしも「その要素分割はセッティングする」ということは成り立つとすれば造影ＣＴであるということはない fact2: 「あの自己了解は明け放たないかもしくはオンバランスであるかどちらもである」ということは成り立たないとすればその溜まりはオンバランスである fact3: もしもなにかは産生出来ないならば痛めるしそれはアルコール脱水素酵素である fact4: もしこの昭和三十年頃が思い出深くないとすると通い合うかまたは自覚出来ない fact5: 仮にある物はオンバランスだとしたら「それは御安くなくて更にそれは染色体分析であるということはない」ということは成り立たない fact6: 「産生出来ない」ものはあるとしたら「この昭和三十年頃は染色体分析でないがしかし産生出来る」ということは成り立つということはない fact7: もし仮に「その溜まりは御安くないし更に染色体分析でない」ということは誤りであるならこの黒田家は染色体分析でない fact8: もしもこの黒田家が染色体分析でないとするとあの問い掛けはセッティングするし産生出来る fact9: 「あの問い掛けは染色体分析だ」ということは成り立つ fact10: 仮にこの昭和三十年頃はＮＵクリアでないとしたら「あの自己了解は明け放つということはないかあるいはオンバランスであるか両方だ」ということは偽である fact11: 「拿捕する一方で他愛無くない」物はある fact12: あの問い掛けはブラバスらしくない fact13: もし「何らかの物はセッティングするかまたはオンバランスであるかあるいはどちらもだ」ということは誤りであるならば「それは産生出来る」ということは誤りだ fact14: あの問い掛けは産生出来るしそれは染色体分析だ fact15: 何かは産生出来ればそれはセッティングしない
fact14 -> int1: あの問い掛けは産生出来る; fact15 -> int2: もしもあの問い掛けが産生出来ればセッティングしない; int1 & int2 -> hypothesis;
fact14 -> int1: {A}{a}; fact15 -> int2: {A}{a} -> ¬{C}{a}; int1 & int2 -> hypothesis;
この昭和三十年頃は痛めるしおまけにアルコール脱水素酵素だ
fact17 -> int3: この昭和三十年頃が産生出来ないなら痛めるしアルコール脱水素酵素だ; fact18 -> int4: もし仮に「あの問い掛けはセッティングするかまたはオンバランスだ」ということは偽だとするとそれは産生出来ない;
$facts$ = fact1: もしも「その要素分割はセッティングする」ということは成り立つとすれば造影ＣＴであるということはない fact2: 「あの自己了解は明け放たないかもしくはオンバランスであるかどちらもである」ということは成り立たないとすればその溜まりはオンバランスである fact3: もしもなにかは産生出来ないならば痛めるしそれはアルコール脱水素酵素である fact4: もしこの昭和三十年頃が思い出深くないとすると通い合うかまたは自覚出来ない fact5: 仮にある物はオンバランスだとしたら「それは御安くなくて更にそれは染色体分析であるということはない」ということは成り立たない fact6: 「産生出来ない」ものはあるとしたら「この昭和三十年頃は染色体分析でないがしかし産生出来る」ということは成り立つということはない fact7: もし仮に「その溜まりは御安くないし更に染色体分析でない」ということは誤りであるならこの黒田家は染色体分析でない fact8: もしもこの黒田家が染色体分析でないとするとあの問い掛けはセッティングするし産生出来る fact9: 「あの問い掛けは染色体分析だ」ということは成り立つ fact10: 仮にこの昭和三十年頃はＮＵクリアでないとしたら「あの自己了解は明け放つということはないかあるいはオンバランスであるか両方だ」ということは偽である fact11: 「拿捕する一方で他愛無くない」物はある fact12: あの問い掛けはブラバスらしくない fact13: もし「何らかの物はセッティングするかまたはオンバランスであるかあるいはどちらもだ」ということは誤りであるならば「それは産生出来る」ということは誤りだ fact14: あの問い掛けは産生出来るしそれは染色体分析だ fact15: 何かは産生出来ればそれはセッティングしない ; $hypothesis$ = あの問い掛けはセッティングしない ; $proof$ = 
fact14 -> int1: あの問い掛けは産生出来る; fact15 -> int2: もしもあの問い掛けが産生出来ればセッティングしない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「その要素分割はセッティングする」ということは成り立つとすれば造影ＣＴであるということはない
事実2: 「あの自己了解は明け放たないかもしくはオンバランスであるかどちらもである」ということは成り立たないとすればその溜まりはオンバランスである
事実3: もしもなにかは産生出来ないならば痛めるしそれはアルコール脱水素酵素である
事実4: もしこの昭和三十年頃が思い出深くないとすると通い合うかまたは自覚出来ない
事実5: 仮にある物はオンバランスだとしたら「それは御安くなくて更にそれは染色体分析であるということはない」ということは成り立たない
事実6: 「産生出来ない」ものはあるとしたら「この昭和三十年頃は染色体分析でないがしかし産生出来る」ということは成り立つということはない
事実7: もし仮に「その溜まりは御安くないし更に染色体分析でない」ということは誤りであるならこの黒田家は染色体分析でない
事実8: もしもこの黒田家が染色体分析でないとするとあの問い掛けはセッティングするし産生出来る
事実9: 「あの問い掛けは染色体分析だ」ということは成り立つ
事実10: 仮にこの昭和三十年頃はＮＵクリアでないとしたら「あの自己了解は明け放つということはないかあるいはオンバランスであるか両方だ」ということは偽である
事実11: 「拿捕する一方で他愛無くない」物はある
事実12: あの問い掛けはブラバスらしくない
事実13: もし「何らかの物はセッティングするかまたはオンバランスであるかあるいはどちらもだ」ということは誤りであるならば「それは産生出来る」ということは誤りだ
事実14: あの問い掛けは産生出来るしそれは染色体分析だ
事実15: 何かは産生出来ればそれはセッティングしない

仮説: あの問い掛けはセッティングしない
1. 事実14から、推論1: "あの問い掛けは産生出来る"が導かれる
2. 事実15から、推論2: "もしもあの問い掛けが産生出来ればセッティングしない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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