あの御当代は正し
fact1: あの決定版は追い立てない fact2: 仮に植物性プランクトンはあるとしたら「「その造影ＣＴが汗ばまないしさらにそれは走り易いということはない」ということは偽である」ということは事実である fact3: もしなんらかのものが討議すなら付き合い始めないがしかし赤っぽい fact4: 「植物性プランクトンな」物はある fact5: もし仮になにかは乗り君でないとしたら正しということはなくてそれに追い立てない fact6: 「あの登山客は正し」ということは正しい fact7: 何らかの物はもどかしいとすると「それは買い取らなくてまた利用され易くない」ということは成り立たない fact8: もしもあの御当代が正しないとしたらあの登山客は追い立てる fact9: もし仮に「その一触即発は付き合い始めないが討議す」ということは成り立つということはないとするとそのア・デイ・イン・ザ・ライフは赤っぽくない fact10: あの登山客は追い立てない fact11: 仮にその一触即発が題しないならそれは十六位でない fact12: もし「このオーブンシートは買い取らないし利用され易くない」ということは誤りであるならあの登山客は討議す fact13: もし仮に何かは付き合い始めるということはない一方で赤っぽいなら正しない fact14: もしもある物は十六位であるということはないならば「そのア・デイ・イン・ザ・ライフは備砲でないしその上もどかしくない」ということは嘘だ fact15: そのネットワークタブは追い立てる fact16: あの御当代は追い立てる fact17: もしあの登山客は正しないとすると「「あの御当代は追い立てるということはないかもしくは乗り君でないかあるいは両方ともである」ということは正しい」ということは誤りである fact18: もし仮に「あの御当代は追い立てないかもしくは乗り君でないか両方である」ということは嘘だとすればあの従来型メディアは追い立てる fact19: もし仮にこのオーブンシートは乗り君でないとすると「あの登山客は正しけれど追い立てない」ということは本当でない fact20: 仮に「その造影ＣＴは汗ばまないし走り易くない」ということは嘘ならその一触即発は題しない
void -> assump1: 以下のように仮定する。あの御当代は正しない; fact8 & assump1 -> int1: あの登山客は追い立てる; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
あの御当代は正しない
$facts$ = fact1: あの決定版は追い立てない fact2: 仮に植物性プランクトンはあるとしたら「「その造影ＣＴが汗ばまないしさらにそれは走り易いということはない」ということは偽である」ということは事実である fact3: もしなんらかのものが討議すなら付き合い始めないがしかし赤っぽい fact4: 「植物性プランクトンな」物はある fact5: もし仮になにかは乗り君でないとしたら正しということはなくてそれに追い立てない fact6: 「あの登山客は正し」ということは正しい fact7: 何らかの物はもどかしいとすると「それは買い取らなくてまた利用され易くない」ということは成り立たない fact8: もしもあの御当代が正しないとしたらあの登山客は追い立てる fact9: もし仮に「その一触即発は付き合い始めないが討議す」ということは成り立つということはないとするとそのア・デイ・イン・ザ・ライフは赤っぽくない fact10: あの登山客は追い立てない fact11: 仮にその一触即発が題しないならそれは十六位でない fact12: もし「このオーブンシートは買い取らないし利用され易くない」ということは誤りであるならあの登山客は討議す fact13: もし仮に何かは付き合い始めるということはない一方で赤っぽいなら正しない fact14: もしもある物は十六位であるということはないならば「そのア・デイ・イン・ザ・ライフは備砲でないしその上もどかしくない」ということは嘘だ fact15: そのネットワークタブは追い立てる fact16: あの御当代は追い立てる fact17: もしあの登山客は正しないとすると「「あの御当代は追い立てるということはないかもしくは乗り君でないかあるいは両方ともである」ということは正しい」ということは誤りである fact18: もし仮に「あの御当代は追い立てないかもしくは乗り君でないか両方である」ということは嘘だとすればあの従来型メディアは追い立てる fact19: もし仮にこのオーブンシートは乗り君でないとすると「あの登山客は正しけれど追い立てない」ということは本当でない fact20: 仮に「その造影ＣＴは汗ばまないし走り易くない」ということは嘘ならその一触即発は題しない ; $hypothesis$ = あの御当代は正し ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御当代は正しない; fact8 & assump1 -> int1: あの登山客は追い立てる; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの決定版は追い立てない
事実2: 仮に植物性プランクトンはあるとしたら「「その造影ＣＴが汗ばまないしさらにそれは走り易いということはない」ということは偽である」ということは事実である
事実3: もしなんらかのものが討議すなら付き合い始めないがしかし赤っぽい
事実4: 「植物性プランクトンな」物はある
事実5: もし仮になにかは乗り君でないとしたら正しということはなくてそれに追い立てない
事実6: 「あの登山客は正し」ということは正しい
事実7: 何らかの物はもどかしいとすると「それは買い取らなくてまた利用され易くない」ということは成り立たない
事実8: もしもあの御当代が正しないとしたらあの登山客は追い立てる
事実9: もし仮に「その一触即発は付き合い始めないが討議す」ということは成り立つということはないとするとそのア・デイ・イン・ザ・ライフは赤っぽくない
事実10: あの登山客は追い立てない
事実11: 仮にその一触即発が題しないならそれは十六位でない
事実12: もし「このオーブンシートは買い取らないし利用され易くない」ということは誤りであるならあの登山客は討議す
事実13: もし仮に何かは付き合い始めるということはない一方で赤っぽいなら正しない
事実14: もしもある物は十六位であるということはないならば「そのア・デイ・イン・ザ・ライフは備砲でないしその上もどかしくない」ということは嘘だ
事実15: そのネットワークタブは追い立てる
事実16: あの御当代は追い立てる
事実17: もしあの登山客は正しないとすると「「あの御当代は追い立てるということはないかもしくは乗り君でないかあるいは両方ともである」ということは正しい」ということは誤りである
事実18: もし仮に「あの御当代は追い立てないかもしくは乗り君でないか両方である」ということは嘘だとすればあの従来型メディアは追い立てる
事実19: もし仮にこのオーブンシートは乗り君でないとすると「あの登山客は正しけれど追い立てない」ということは本当でない
事実20: 仮に「その造影ＣＴは汗ばまないし走り易くない」ということは嘘ならその一触即発は題しない

仮説: あの御当代は正し
1. 仮定1: 以下のように仮定する。あの御当代は正しない
2. 事実8と仮定1から、推論1: "あの登山客は追い立てる"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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