仮にあの五十年度は退色し易くないなら「この硫酸還元菌は本当らしくないし地元開催であるということはない」ということは誤りだ
fact1: この硫酸還元菌が本当らしくないし地元開催でないとしたらあの五十年度は退色し易い fact2: もしもこの硫酸還元菌は退色し易くないとしたら「あの五十年度は本当らしくないしかつ地元開催でない」ということは嘘だ fact3: もしあの五十年度は退色し易くないならば「この硫酸還元菌は本当らしいけど地元開催でない」ということは成り立たない fact4: もし「何らかの物が進め方だけど退色し易くない」ということは誤りだとしたらそれは御手伝いする fact5: もしもなにがしかの物が吹き易いならばそれは叩頭する fact6: 仮に「この硫酸還元菌は折れ易い」ということは成り立つなら「この侵入は進め方だがしかしそれは退色し易くない」ということは正しくない fact7: 仮にあの五十年度が退色し易くないとするとこの硫酸還元菌は本当らしくないし地元開催でない fact8: もし仮にあの五十年度が本当らしくないしそれが地元開催でないならこの硫酸還元菌は退色し易い fact9: その回帰曲線は地元開催でないし増えらない fact10: もしあの五十年度は退色し易くないとすれば「この硫酸還元菌は本当らしくない一方で地元開催である」ということは嘘だ fact11: 「この硫酸還元菌は本当らしい一方で地元開催でない」ということは成り立たない fact12: 仮にあの五十年度が広がり難いとすればそれは会話らしいかそれは見え始めるということはない fact13: もしもこの硫酸還元菌が本当らしいが地元開催でないとしたらあの五十年度は退色し易い fact14: もし仮にこの硫酸還元菌が本当らしくないけど地元開催であるとしたらあの五十年度は退色し易い fact15: もし「あの五十年度は隔絶するがしかし木綿地でない」ということは成り立たないとしたらそれは吹き易い fact16: あの五十年度は広がり難い fact17: もし仮になんらかのものは会話らしいか見え始めないかもしくは両方ならば会話らしい fact18: 仮になにがしかのものは御手伝いするとすると「それは入れ始めないし本当らしいということはない」ということは事実と異なる fact19: 「あの五十年度は隔絶するけれど木綿地でない」ということは成り立たない fact20: 「この硫酸還元菌は本当らしくないがしかし地元開催である」ということは偽だ fact21: もしあの五十年度は退色し易いとすれば「この硫酸還元菌は本当らしくないしさらに地元開催でない」ということは偽である
void -> assump2: 以下のように仮定する。この硫酸還元菌は本当らしくないしかつ地元開催だということはない; fact1 & assump2 -> int1: あの五十年度は退色し易い; void -> assump1: 以下のように仮定する。あの五十年度は退色し易いということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この硫酸還元菌は本当らしくないしその上地元開催でない」ということは事実と異なる; [assump1] & int3 -> hypothesis;
「この侵入は入れ始めないしかつ本当らしいということはない」ということは成り立たない
fact28 -> int4: 仮に「この侵入は御手伝いする」ということは本当だとすれば「それは入れ始めないし本当らしくない」ということは偽だ; fact24 -> int5: もしも「この侵入は進め方であるけど退色し易くない」ということは間違っているとすると「それは御手伝いする」ということは成り立つ; fact30 -> int6: もしもあの五十年度が会話らしいかまたはそれが見え始めるということはないとしたらそれは会話らしい; fact27 & fact22 -> int7: あの五十年度は会話らしいか見え始めないか両方ともだ; int6 & int7 -> int8: あの五十年度は会話らしい; fact25 -> int9: 仮にあの五十年度が吹き易いとすればそれは叩頭する; fact23 & fact29 -> int10: あの五十年度は吹き易い; int9 & int10 -> int11: あの五十年度は叩頭する; int8 & 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: もしあの五十年度は退色し易いとすれば「この硫酸還元菌は本当らしくないしさらに地元開催でない」ということは偽である ; $hypothesis$ = 仮にあの五十年度は退色し易くないなら「この硫酸還元菌は本当らしくないし地元開催であるということはない」ということは誤りだ ; $proof$ = 
void -> assump2: 以下のように仮定する。この硫酸還元菌は本当らしくないしかつ地元開催だということはない; fact1 & assump2 -> int1: あの五十年度は退色し易い; void -> assump1: 以下のように仮定する。あの五十年度は退色し易いということはない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「この硫酸還元菌は本当らしくないしその上地元開催でない」ということは事実と異なる; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この硫酸還元菌が本当らしくないし地元開催でないとしたらあの五十年度は退色し易い
事実2: もしもこの硫酸還元菌は退色し易くないとしたら「あの五十年度は本当らしくないしかつ地元開催でない」ということは嘘だ
事実3: もしあの五十年度は退色し易くないならば「この硫酸還元菌は本当らしいけど地元開催でない」ということは成り立たない
事実4: もし「何らかの物が進め方だけど退色し易くない」ということは誤りだとしたらそれは御手伝いする
事実5: もしもなにがしかの物が吹き易いならばそれは叩頭する
事実6: 仮に「この硫酸還元菌は折れ易い」ということは成り立つなら「この侵入は進め方だがしかしそれは退色し易くない」ということは正しくない
事実7: 仮にあの五十年度が退色し易くないとするとこの硫酸還元菌は本当らしくないし地元開催でない
事実8: もし仮にあの五十年度が本当らしくないしそれが地元開催でないならこの硫酸還元菌は退色し易い
事実9: その回帰曲線は地元開催でないし増えらない
事実10: もしあの五十年度は退色し易くないとすれば「この硫酸還元菌は本当らしくない一方で地元開催である」ということは嘘だ
事実11: 「この硫酸還元菌は本当らしい一方で地元開催でない」ということは成り立たない
事実12: 仮にあの五十年度が広がり難いとすればそれは会話らしいかそれは見え始めるということはない
事実13: もしもこの硫酸還元菌が本当らしいが地元開催でないとしたらあの五十年度は退色し易い
事実14: もし仮にこの硫酸還元菌が本当らしくないけど地元開催であるとしたらあの五十年度は退色し易い
事実15: もし「あの五十年度は隔絶するがしかし木綿地でない」ということは成り立たないとしたらそれは吹き易い
事実16: あの五十年度は広がり難い
事実17: もし仮になんらかのものは会話らしいか見え始めないかもしくは両方ならば会話らしい
事実18: 仮になにがしかのものは御手伝いするとすると「それは入れ始めないし本当らしいということはない」ということは事実と異なる
事実19: 「あの五十年度は隔絶するけれど木綿地でない」ということは成り立たない
事実20: 「この硫酸還元菌は本当らしくないがしかし地元開催である」ということは偽だ
事実21: もしあの五十年度は退色し易いとすれば「この硫酸還元菌は本当らしくないしさらに地元開催でない」ということは偽である

仮説: 仮にあの五十年度は退色し易くないなら「この硫酸還元菌は本当らしくないし地元開催であるということはない」ということは誤りだ
1. 仮定2: 以下のように仮定する。この硫酸還元菌は本当らしくないしかつ地元開催だということはない
2. 事実1と仮定2から、推論1: "あの五十年度は退色し易い"が導かれる
3. 仮定1: 以下のように仮定する。あの五十年度は退色し易いということはない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「この硫酸還元菌は本当らしくないしその上地元開催でない」ということは事実と異なる"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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