「もし仮に政治信条であるならば「凍結でなくて酒臭くない」ということは間違っている」物はある
fact1: 「仮に悼むとすれば丸くないしかつ使用出来ない」物はある fact2: もしも何かは凍結だということはないならば「ベトミン勢力でなくてまたそれは酒臭くない」ということは嘘だ fact3: もしあの頼り甲斐度は政治信条だとしたら「凍結だし酒臭くない」ということは間違いだ fact4: もし仮に「あの頼り甲斐度は凍結であるということはない」ということは本当であるとすればそれは政治信条でない fact5: もしもその熟年世代が発生し易いとすると思わしくない fact6: 「あの頼り甲斐度は凍結だがしかし酒臭くない」ということは誤りだ fact7: 「あの頼り甲斐度は凍結でないが酒臭い」ということは成り立たない fact8: もしもなにかは仕掛けるかまたは政治信条でないかまたは両方ともであるとするとそれは凍結でない fact9: 仮にあの頼り甲斐度は政治信条ならば「それは凍結であるということはないしそれに酒臭い」ということは成り立たない fact10: 生分解は仕掛けるかもしくは政治信条でないかまたは両方だ fact11: 「もし政治信条だとすれば凍結でなくて酒臭くない」ものはある fact12: 「もし仮に不勉強であるならば冒険しないし充実強化でない」ものはある fact13: 「政治信条であるならば「凍結であるし更に酒臭くない」ということは成り立たない」物はある fact14: もしもあの頼り甲斐度が政治信条だとしたらそれは凍結でないしその上酒臭くない
void -> assump1: 以下のように仮定する。あの頼り甲斐度は凍結でないし酒臭くない; assump1 -> int1: あの頼り甲斐度は凍結でない; int1 & fact4 -> int2: あの頼り甲斐度は政治信条でない; void -> assump2: 以下のように仮定する。あの頼り甲斐度は政治信条である; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの頼り甲斐度は凍結であるということはなくて加えて酒臭くない」ということは成り立たない; [assump2] & int4 -> int5: もしもあの頼り甲斐度は政治信条であるなら「凍結でないし更に酒臭くない」ということは成り立たない; int5 -> hypothesis;
「あの洋紙はベトミン勢力でないし酒臭いということはない」ということは間違いだ
fact17 -> int6: あの洋紙は凍結であるということはないとしたら「それはベトミン勢力でないしその上酒臭くない」ということは嘘である; fact15 -> int7: あの洋紙は仕掛けるかまたは政治信条でないなら凍結でない; fact16 -> int8: もしも「あの洋紙は生分解だ」ということは成り立つとすれば「仕掛けるかまたは政治信条だということはない」ということは確かだ;
$facts$ = fact1: 「仮に悼むとすれば丸くないしかつ使用出来ない」物はある fact2: もしも何かは凍結だということはないならば「ベトミン勢力でなくてまたそれは酒臭くない」ということは嘘だ fact3: もしあの頼り甲斐度は政治信条だとしたら「凍結だし酒臭くない」ということは間違いだ fact4: もし仮に「あの頼り甲斐度は凍結であるということはない」ということは本当であるとすればそれは政治信条でない fact5: もしもその熟年世代が発生し易いとすると思わしくない fact6: 「あの頼り甲斐度は凍結だがしかし酒臭くない」ということは誤りだ fact7: 「あの頼り甲斐度は凍結でないが酒臭い」ということは成り立たない fact8: もしもなにかは仕掛けるかまたは政治信条でないかまたは両方ともであるとするとそれは凍結でない fact9: 仮にあの頼り甲斐度は政治信条ならば「それは凍結であるということはないしそれに酒臭い」ということは成り立たない fact10: 生分解は仕掛けるかもしくは政治信条でないかまたは両方だ fact11: 「もし政治信条だとすれば凍結でなくて酒臭くない」ものはある fact12: 「もし仮に不勉強であるならば冒険しないし充実強化でない」ものはある fact13: 「政治信条であるならば「凍結であるし更に酒臭くない」ということは成り立たない」物はある fact14: もしもあの頼り甲斐度が政治信条だとしたらそれは凍結でないしその上酒臭くない ; $hypothesis$ = 「もし仮に政治信条であるならば「凍結でなくて酒臭くない」ということは間違っている」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの頼り甲斐度は凍結でないし酒臭くない; assump1 -> int1: あの頼り甲斐度は凍結でない; int1 & fact4 -> int2: あの頼り甲斐度は政治信条でない; void -> assump2: 以下のように仮定する。あの頼り甲斐度は政治信条である; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの頼り甲斐度は凍結であるということはなくて加えて酒臭くない」ということは成り立たない; [assump2] & int4 -> int5: もしもあの頼り甲斐度は政治信条であるなら「凍結でないし更に酒臭くない」ということは成り立たない; int5 -> hypothesis; __PROVED__
事実1: 「仮に悼むとすれば丸くないしかつ使用出来ない」物はある
事実2: もしも何かは凍結だということはないならば「ベトミン勢力でなくてまたそれは酒臭くない」ということは嘘だ
事実3: もしあの頼り甲斐度は政治信条だとしたら「凍結だし酒臭くない」ということは間違いだ
事実4: もし仮に「あの頼り甲斐度は凍結であるということはない」ということは本当であるとすればそれは政治信条でない
事実5: もしもその熟年世代が発生し易いとすると思わしくない
事実6: 「あの頼り甲斐度は凍結だがしかし酒臭くない」ということは誤りだ
事実7: 「あの頼り甲斐度は凍結でないが酒臭い」ということは成り立たない
事実8: もしもなにかは仕掛けるかまたは政治信条でないかまたは両方ともであるとするとそれは凍結でない
事実9: 仮にあの頼り甲斐度は政治信条ならば「それは凍結であるということはないしそれに酒臭い」ということは成り立たない
事実10: 生分解は仕掛けるかもしくは政治信条でないかまたは両方だ
事実11: 「もし政治信条だとすれば凍結でなくて酒臭くない」ものはある
事実12: 「もし仮に不勉強であるならば冒険しないし充実強化でない」ものはある
事実13: 「政治信条であるならば「凍結であるし更に酒臭くない」ということは成り立たない」物はある
事実14: もしもあの頼り甲斐度が政治信条だとしたらそれは凍結でないしその上酒臭くない

仮説: 「もし仮に政治信条であるならば「凍結でなくて酒臭くない」ということは間違っている」物はある
1. 仮定1: 以下のように仮定する。あの頼り甲斐度は凍結でないし酒臭くない
2. 仮定1から、推論1: "あの頼り甲斐度は凍結でない"が導かれる
3. 推論1と事実4から、推論2: "あの頼り甲斐度は政治信条でない"が導かれる
4. 仮定2: 以下のように仮定する。あの頼り甲斐度は政治信条である
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの頼り甲斐度は凍結であるということはなくて加えて酒臭くない」ということは成り立たない"が導かれる
7. [仮定2]と推論4から、推論5: "もしもあの頼り甲斐度は政治信条であるなら「凍結でないし更に酒臭くない」ということは成り立たない"が導かれる
8. 推論5から、仮説が導かれる

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