「この弊社は止む無くない」ということは成り立つ
fact1: もしもあの不足がコスメならばこの福利厚生は生活関連でないけれど脂肪吸引する fact2: もしも「「あるものは止む無しがしかし脂肪吸引しない」ということは嘘でない」ということは成り立たないとすれば「それは批評する」ということは事実だ fact3: 「生活関連でない」ものはある fact4: 「「生活関連であるかあるいはコスメであるか両方ともである」ということは間違いである」ものがあるとするとあの不足は批評しない fact5: 「コスメであるということはない」物はある fact6: もしも「「なんらかのものは批評する一方で正しくない」ということは成り立つ」ということは成り立たないなら批評しない fact7: 仮にその大顎は監視し易くないならば「あの不足は輸出出来ないかまたはそれは寝首でないかあるいは両方ともだ」ということは嘘である fact8: もしもなんらかのものが生活関連でないけれど脂肪吸引するとすると止む無くない fact9: 「仮に「この福利厚生は批評しなくて更に脂肪吸引しない」ということは成り立たないならこの弊社は止む無くない」ということは事実である fact10: もしもこの中外が繋がり易くないとしたらそれは試せるし呼吸出来る fact11: あの普通郵便は塩っ辛くない fact12: 「「生活関連であるかあるいはコスメであるか両方だ」ということは誤っている」物はある fact13: 「あの不足は脂肪吸引するということはない」ということは正しくないとすればこの福利厚生は批評する fact14: この福利厚生は脂肪吸引するとすれば「あの不足は批評する」ということは成り立つ fact15: もしも「ある物は輸出出来ないかあるいはそれは寝首でない」ということは誤っているなら「それはコスメだ」ということは成り立つ fact16: この弊社は脂肪吸引する fact17: もしもこの福利厚生が脂肪吸引しないとしたらこの弊社は脂肪吸引する fact18: この海水面は脂肪吸引する fact19: もしこの福利厚生が脂肪吸引するということはないとしたらこの弊社は止む無ししおまけにそれは脂肪吸引する fact20: とあるものが辛抱強いとすると監視し易くない fact21: この福利厚生が止む無くなくておまけにそれが批評しないとしたらこの弊社は止む無くない fact22: もし「あの不足は脂肪吸引する」ということは成り立つならこの弊社は批評する fact23: 「生活関連であるかコスメであるかもしくは両方である」物はある fact24: この中外は繋がり易くない
void -> assump1: 以下のように仮定する。この福利厚生は脂肪吸引する; fact14 & assump1 -> int1: 「あの不足は批評する」ということは確かである; fact12 & fact4 -> int2: あの不足は批評しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この福利厚生は脂肪吸引しない; int4 & fact19 -> int5: この弊社は止む無くて脂肪吸引する; int5 -> hypothesis;
この弊社は止む無しということはない
fact27 -> int6: この福利厚生は生活関連であるということはないが脂肪吸引すれば止む無くない; fact30 -> int7: もしも「「あの不足は輸出出来るということはないかもしくはそれは寝首でないかあるいはどちらもである」ということは成り立たない」ということは嘘でないとすればそれはコスメだ; fact33 -> int8: もし「その大顎は辛抱強い」ということは正しいなら「監視し易くない」ということは真実だ; fact29 -> int9: 「「塩っ辛くない」ということは成り立つ」物はある; fact25 -> int10: 「この福利厚生は批評する一方で正しくない」ということは誤りであるとすると批評しない; fact32 & fact28 -> int11: この中外は試せるしまた呼吸出来る; 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: この福利厚生が止む無くなくておまけにそれが批評しないとしたらこの弊社は止む無くない fact22: もし「あの不足は脂肪吸引する」ということは成り立つならこの弊社は批評する fact23: 「生活関連であるかコスメであるかもしくは両方である」物はある fact24: この中外は繋がり易くない ; $hypothesis$ = 「この弊社は止む無くない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この福利厚生は脂肪吸引する; fact14 & assump1 -> int1: 「あの不足は批評する」ということは確かである; fact12 & fact4 -> int2: あの不足は批評しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この福利厚生は脂肪吸引しない; int4 & fact19 -> int5: この弊社は止む無くて脂肪吸引する; int5 -> hypothesis; __DISPROVED__
事実1: もしもあの不足がコスメならばこの福利厚生は生活関連でないけれど脂肪吸引する
事実2: もしも「「あるものは止む無しがしかし脂肪吸引しない」ということは嘘でない」ということは成り立たないとすれば「それは批評する」ということは事実だ
事実3: 「生活関連でない」ものはある
事実4: 「「生活関連であるかあるいはコスメであるか両方ともである」ということは間違いである」ものがあるとするとあの不足は批評しない
事実5: 「コスメであるということはない」物はある
事実6: もしも「「なんらかのものは批評する一方で正しくない」ということは成り立つ」ということは成り立たないなら批評しない
事実7: 仮にその大顎は監視し易くないならば「あの不足は輸出出来ないかまたはそれは寝首でないかあるいは両方ともだ」ということは嘘である
事実8: もしもなんらかのものが生活関連でないけれど脂肪吸引するとすると止む無くない
事実9: 「仮に「この福利厚生は批評しなくて更に脂肪吸引しない」ということは成り立たないならこの弊社は止む無くない」ということは事実である
事実10: もしもこの中外が繋がり易くないとしたらそれは試せるし呼吸出来る
事実11: あの普通郵便は塩っ辛くない
事実12: 「「生活関連であるかあるいはコスメであるか両方だ」ということは誤っている」物はある
事実13: 「あの不足は脂肪吸引するということはない」ということは正しくないとすればこの福利厚生は批評する
事実14: この福利厚生は脂肪吸引するとすれば「あの不足は批評する」ということは成り立つ
事実15: もしも「ある物は輸出出来ないかあるいはそれは寝首でない」ということは誤っているなら「それはコスメだ」ということは成り立つ
事実16: この弊社は脂肪吸引する
事実17: もしもこの福利厚生が脂肪吸引しないとしたらこの弊社は脂肪吸引する
事実18: この海水面は脂肪吸引する
事実19: もしこの福利厚生が脂肪吸引するということはないとしたらこの弊社は止む無ししおまけにそれは脂肪吸引する
事実20: とあるものが辛抱強いとすると監視し易くない
事実21: この福利厚生が止む無くなくておまけにそれが批評しないとしたらこの弊社は止む無くない
事実22: もし「あの不足は脂肪吸引する」ということは成り立つならこの弊社は批評する
事実23: 「生活関連であるかコスメであるかもしくは両方である」物はある
事実24: この中外は繋がり易くない

仮説: 「この弊社は止む無くない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この福利厚生は脂肪吸引する
2. 事実14と仮定1から、推論1: "「あの不足は批評する」ということは確かである"が導かれる
3. 事実12と事実4から、推論2: "あの不足は批評しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この福利厚生は脂肪吸引しない"が導かれる
6. 推論4と事実19から、推論5: "この弊社は止む無くて脂肪吸引する"が導かれる
7. 推論5から、仮説が否定される

よって、仮説が否定されました。