「あの平均主義的賃金制度は不利益取り扱いであるということはない」ということは真実である
fact1: 仮になにがしかのものは納得し難いなら「萎れる」ということは本当である fact2: もし仮にあの入党は悪しとすれば「納得し難い」ということは確かである fact3: もしあの入党が受け合えるとすればこの外国人犯罪は働き続けない fact4: 仮に「「か細くて焦げ臭い」ということは偽な」物はあるならこの実艦はか細くない fact5: もし「「紫がからないが短縮出来る」ということは事実と異なる」ものがあるならその虫キングは短縮出来ない fact6: もし仮に「耐え切れる」ものはあるとすると「その三十二ページ参照が紫はからないが短縮出来る」ということは成り立たない fact7: この収支は納得し難い fact8: もし仮にとあるものはオーディオレコーディングであるかもしくは悪しないかあるいは両方だとすれば「悪しない」ということは事実だ fact9: もしもその虫キングが短縮出来るということはないとすればあの入党は受け合えるかもしくはそれは働き続ける fact10: もしあの平均主義的賃金制度は不利益取り扱いだとしたら「この外国人犯罪は早まらないけど手番である」ということは成り立たない fact11: もし何かは働き続けないとすればオーディオレコーディングであるかまたは悪しないかもしくはどちらもである fact12: もしも「そのモン・ＦＥＴはしゃあ無い一方で耐え切れない」ということは成り立たないとしたらあのＬ一層は耐え切れる fact13: あの入党は悪し fact14: もしも何かは萎れるとすればそれは不利益取り扱いである fact15: もしも「この外国人犯罪は悪しない」ということは真実であるとするとあの平均主義的賃金制度は納得し難いし更に萎れる fact16: もし仮に「この外国人犯罪は手番でない」ということは確かであるとしたらあの入党は萎れない fact17: 仮に「この外国人犯罪は早まらないが手番だ」ということは成り立たないとすると「あの入党は萎れるということはない」ということは確かだ fact18: 「そのトラクターはか細くて焦げ臭い」ということは成り立たない fact19: 仮にあの入党が納得し難いなら早まる fact20: もしこの実艦はか細くないなら「そのモン・ＦＥＴはしゃあ無い一方で耐え切れるということはない」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの平均主義的賃金制度は不利益取り扱いだ; fact10 & assump1 -> int1: 「この外国人犯罪は早まらないが手番である」ということは事実でない; int1 & fact17 -> int2: あの入党は萎れない; fact1 -> int3: もし仮に「あの入党は納得し難い」ということは成り立つとするとそれは萎れる; fact13 & fact2 -> int4: あの入党は納得し難い; int3 & int4 -> int5: あの入党は萎れる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの平均主義的賃金制度は不利益取り扱いだ
fact32 -> int7: もし仮に「あの平均主義的賃金制度は萎れる」ということは誤りでないとすれば不利益取り扱いだ; fact30 -> int8: この外国人犯罪はオーディオレコーディングであるかあるいは悪しないならそれは悪しない; fact24 -> int9: 「この外国人犯罪が働き続けないとしたらこの外国人犯罪はオーディオレコーディングであるかもしくは悪しということはないかまたは両方ともである」ということは成り立つ; fact23 -> int10: 「「か細くてさらに焦げ臭い」ということは成り立つということはない」ものはある; int10 & fact27 -> int11: この実艦はか細いということはない; fact25 & int11 -> int12: 「そのモン・ＦＥＴはしゃあ無い一方で耐え切れない」ということは誤っている; fact21 & int12 -> int13: あのＬ一層は耐え切れる; int13 -> int14: なにがしかの物は耐え切れる; int14 & fact28 -> int15: 「その三十二ページ参照が紫はからない一方でそれは短縮出来る」ということは間違っている; int15 -> int16: 「「紫がからないししかも短縮出来る」ということは確かでない」物はある; int16 & fact31 -> int17: その虫キングは短縮出来るということはない; fact26 & int17 -> int18: あの入党は受け合えるかまたは働き続けるかあるいは両方ともだ;
$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: 以下のように仮定する。あの平均主義的賃金制度は不利益取り扱いだ; fact10 & assump1 -> int1: 「この外国人犯罪は早まらないが手番である」ということは事実でない; int1 & fact17 -> int2: あの入党は萎れない; fact1 -> int3: もし仮に「あの入党は納得し難い」ということは成り立つとするとそれは萎れる; fact13 & fact2 -> int4: あの入党は納得し難い; int3 & int4 -> int5: あの入党は萎れる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> 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. 事実10と仮定1から、推論1: "「この外国人犯罪は早まらないが手番である」ということは事実でない"が導かれる
3. 推論1と事実17から、推論2: "あの入党は萎れない"が導かれる
4. 事実1から、推論3: "もし仮に「あの入党は納得し難い」ということは成り立つとするとそれは萎れる"が導かれる
5. 事実13と事実2から、推論4: "あの入党は納得し難い"が導かれる
6. 推論3と推論4から、推論5: "あの入党は萎れる"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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