その終身雇用が厚ぼったいとしたらこのスチームは奇形児だ
fact1: 仮にその終身雇用は遣り辛いならば「この力者は横向きだがしかしそれは親らしいということはない」ということは間違っている fact2: その終身雇用は嬉しいけれど横向きでない fact3: 仮に「とある物は厚ぼったいしまたそれは横向きである」ということは誤っているなら横向きでない fact4: もし仮にその終身雇用が履行しないとするとこの力者は転げ回らないがしかしそれは奇形児である fact5: もしこの力者が遣り辛くないならばその終身雇用は横向きでない一方で転げ回る fact6: 「なにかは横向きだけど親らしくない」ということは偽ならばそれは横向きでない fact7: 「この力者は嬉しい一方で履行しない」ということは誤りであるとすればそれは遣り辛くない fact8: 「もしもこのスチームが親らしいとするとこのスチームは奇形児である」ということは成り立つ fact9: 「横向きでない」物はあるとすると「その三百十人は厚ぼったくて横向きだ」ということは間違っている fact10: もし仮にこの力者が嬉しいが履行しないならばこのスチームは親らしい fact11: もしもその終身雇用が横向きでないがしかしそれが転げ回るとすれば厚ぼったくない fact12: 「「厳しいということはないかもしくは苦悶だということはないか両方ともだ」ということは成り立たない」物はある fact13: もし仮にこの力者が横向きなら遣り辛い fact14: もしもこの力者が遣り辛くないとすればあの終身雇用は横向きであるということはない fact15: もし仮にその終身雇用は横向きであるし転げ回るなら厚ぼったいということはない fact16: その終身雇用は親らしくない fact17: 仮に「「厳しかないかもしくは苦悶でないかどちらもだ」ということは間違いである」物があるとしたらこのスチームは重畳でない fact18: もし「重畳でない」物があるとするとその終身雇用は遣り辛いし更にそれは奇形児だ fact19: もしその終身雇用が遣り辛くないならばそれは横向きだということはない fact20: もし仮に何かは横向きでないとすれば「それは医療用具だ一方で転げ回らない」ということは成り立たない
void -> assump1: 以下のように仮定する。「この力者は嬉しいけれど履行しない」ということは成り立つということはない; fact7 & assump1 -> int1: この力者は遣り辛くない; int1 & fact5 -> int2: その終身雇用は横向きでないがしかし転げ回る; int2 & fact11 -> int3: その終身雇用は厚ぼったくない; void -> assump2: 以下のように仮定する。その終身雇用は厚ぼったい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この力者は嬉しいがそれは履行するということはない; int5 & fact10 -> int6: このスチームは親らしい; int6 & fact8 -> int7: このスチームは奇形児である; [assump2] & int7 -> hypothesis;
「その三百十人は医療用具であるが転げ回らない」ということは誤りである
fact23 -> int8: その三百十人は横向きだということはないならば「医療用具だ一方で転げ回らない」ということは成り立たない; fact25 -> int9: もしも「その三百十人は厚ぼったいしおまけに横向きである」ということは成り立たないならば横向きでない; fact22 -> int10: 「この力者は横向きだが親らしくない」ということは正しくないならそれは横向きでない; fact27 & fact21 -> int11: このスチームは重畳でない; int11 -> int12: 「重畳でない」物はある; int12 & fact28 -> int13: その終身雇用は遣り辛くて奇形児である; int13 -> int14: その終身雇用は遣り辛い; fact24 & int14 -> int15: 「この力者は横向きだけれど親らしいということはない」ということは成り立たない; int10 & int15 -> int16: この力者は横向きでない; int16 -> int17: 「横向きでない」ものはある; int17 & fact26 -> int18: 「「その三百十人は厚ぼったいしそれにそれは横向きだ」ということは成り立たない」ということは成り立つ; int9 & int18 -> int19: その三百十人は横向きでない; int8 & int19 -> 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: 以下のように仮定する。「この力者は嬉しいけれど履行しない」ということは成り立つということはない; fact7 & assump1 -> int1: この力者は遣り辛くない; int1 & fact5 -> int2: その終身雇用は横向きでないがしかし転げ回る; int2 & fact11 -> int3: その終身雇用は厚ぼったくない; void -> assump2: 以下のように仮定する。その終身雇用は厚ぼったい; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この力者は嬉しいがそれは履行するということはない; int5 & fact10 -> int6: このスチームは親らしい; int6 & fact8 -> int7: このスチームは奇形児である; [assump2] & int7 -> 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. 事実7と仮定1から、推論1: "この力者は遣り辛くない"が導かれる
3. 推論1と事実5から、推論2: "その終身雇用は横向きでないがしかし転げ回る"が導かれる
4. 推論2と事実11から、推論3: "その終身雇用は厚ぼったくない"が導かれる
5. 仮定2: 以下のように仮定する。その終身雇用は厚ぼったい
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この力者は嬉しいがそれは履行するということはない"が導かれる
8. 推論5と事実10から、推論6: "このスチームは親らしい"が導かれる
9. 推論6と事実8から、推論7: "このスチームは奇形児である"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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