「その商法は下請け業務であるしおまけに根強い」ということは真実でない
fact1: もし仮に「「根強くないししかも下請け業務だ」ということは間違いな」物があるならこの募集地域は下請け業務でない fact2: もしもこの画像形式は叩き続けるとすれば「それは入信する」ということは本当だ fact3: 仮にあの国際空港は置き易いならば「それは見え隠れしないがしかし有限会社法である」ということは事実と異なる fact4: この募集地域は絶え難いしかつ馴染み難い fact5: なにかは大阪府労働部でないとすると「それは根強くないけれど下請け業務である」ということは誤りだ fact6: もし仮にその商法は中小・地域金融機関であるなら「それは尊厳化でないしそれに見え隠れしない」ということは成り立つということはない fact7: もしも「「見え隠れするしそれに中小・地域金融機関だ」ということは誤っている」物があるならその戦備は見え隠れしない fact8: 「その商法は中小・地域金融機関である」ということは真実である fact9: もし仮にこの募集地域は尊厳化だとすれば「その戦備は尊厳化だ」ということは成り立つ fact10: その商法が馴染み難いとすると根強い fact11: もし仮にこの募集地域が絶え難いとするとその商法は下請け業務だ fact12: 「「見え隠れするしかつ中小・地域金融機関だ」ということは嘘である」ものはある fact13: もしなんらかの物が下請け業務でないとすると尊厳化であるかあるいはそれは馴染み難いかどちらもだ fact14: この募集地域は中小・地域金融機関であるならばそれは馴染み難い fact15: もし仮に何かは見え隠れしないならばそれが興隆だしまた絶え難い fact16: 仮に「なにかは尊厳化だということはないしさらに見え隠れしない」ということは偽であるとすればそれは根強い
fact4 -> int1: この募集地域は絶え難い; int1 & fact11 -> int2: その商法は下請け業務だ; fact16 -> int3: 仮に「その商法は尊厳化だということはなくてそれは見え隠れしない」ということは偽だとしたら「根強い」ということは正しい; fact8 & fact6 -> int4: 「その商法は尊厳化だということはなくて見え隠れするということはない」ということは成り立たない; int3 & int4 -> int5: その商法は根強い; int2 & int5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact11 -> int2: {C}{b}; fact16 -> int3: ¬(¬{E}{b} & ¬{F}{b}) -> {D}{b}; fact8 & fact6 -> int4: ¬(¬{E}{b} & ¬{F}{b}); int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
その戦備は興隆であるしそれに尊厳化だ
fact18 -> int6: 仮にその戦備が見え隠れしないならそれは興隆であるし加えて絶え難い; fact23 & fact20 -> int7: その戦備は見え隠れしない; int6 & int7 -> int8: その戦備は興隆であるしさらに絶え難い; int8 -> int9: その戦備は興隆である; fact21 -> int10: 「もしこの募集地域が下請け業務であるということはないとするとこの募集地域は尊厳化であるかもしくは馴染み難いかあるいは両方ともだ」ということは確かだ; fact22 -> int11: 仮にその商法は大阪府労働部であるということはないとすると「根強くないけど下請け業務である」ということは成り立つということはない;
$facts$ = fact1: もし仮に「「根強くないししかも下請け業務だ」ということは間違いな」物があるならこの募集地域は下請け業務でない fact2: もしもこの画像形式は叩き続けるとすれば「それは入信する」ということは本当だ fact3: 仮にあの国際空港は置き易いならば「それは見え隠れしないがしかし有限会社法である」ということは事実と異なる fact4: この募集地域は絶え難いしかつ馴染み難い fact5: なにかは大阪府労働部でないとすると「それは根強くないけれど下請け業務である」ということは誤りだ fact6: もし仮にその商法は中小・地域金融機関であるなら「それは尊厳化でないしそれに見え隠れしない」ということは成り立つということはない fact7: もしも「「見え隠れするしそれに中小・地域金融機関だ」ということは誤っている」物があるならその戦備は見え隠れしない fact8: 「その商法は中小・地域金融機関である」ということは真実である fact9: もし仮にこの募集地域は尊厳化だとすれば「その戦備は尊厳化だ」ということは成り立つ fact10: その商法が馴染み難いとすると根強い fact11: もし仮にこの募集地域が絶え難いとするとその商法は下請け業務だ fact12: 「「見え隠れするしかつ中小・地域金融機関だ」ということは嘘である」ものはある fact13: もしなんらかの物が下請け業務でないとすると尊厳化であるかあるいはそれは馴染み難いかどちらもだ fact14: この募集地域は中小・地域金融機関であるならばそれは馴染み難い fact15: もし仮に何かは見え隠れしないならばそれが興隆だしまた絶え難い fact16: 仮に「なにかは尊厳化だということはないしさらに見え隠れしない」ということは偽であるとすればそれは根強い ; $hypothesis$ = 「その商法は下請け業務であるしおまけに根強い」ということは真実でない ; $proof$ = 
fact4 -> int1: この募集地域は絶え難い; int1 & fact11 -> int2: その商法は下請け業務だ; fact16 -> int3: 仮に「その商法は尊厳化だということはなくてそれは見え隠れしない」ということは偽だとしたら「根強い」ということは正しい; fact8 & fact6 -> int4: 「その商法は尊厳化だということはなくて見え隠れするということはない」ということは成り立たない; int3 & int4 -> int5: その商法は根強い; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮に「「根強くないししかも下請け業務だ」ということは間違いな」物があるならこの募集地域は下請け業務でない
事実2: もしもこの画像形式は叩き続けるとすれば「それは入信する」ということは本当だ
事実3: 仮にあの国際空港は置き易いならば「それは見え隠れしないがしかし有限会社法である」ということは事実と異なる
事実4: この募集地域は絶え難いしかつ馴染み難い
事実5: なにかは大阪府労働部でないとすると「それは根強くないけれど下請け業務である」ということは誤りだ
事実6: もし仮にその商法は中小・地域金融機関であるなら「それは尊厳化でないしそれに見え隠れしない」ということは成り立つということはない
事実7: もしも「「見え隠れするしそれに中小・地域金融機関だ」ということは誤っている」物があるならその戦備は見え隠れしない
事実8: 「その商法は中小・地域金融機関である」ということは真実である
事実9: もし仮にこの募集地域は尊厳化だとすれば「その戦備は尊厳化だ」ということは成り立つ
事実10: その商法が馴染み難いとすると根強い
事実11: もし仮にこの募集地域が絶え難いとするとその商法は下請け業務だ
事実12: 「「見え隠れするしかつ中小・地域金融機関だ」ということは嘘である」ものはある
事実13: もしなんらかの物が下請け業務でないとすると尊厳化であるかあるいはそれは馴染み難いかどちらもだ
事実14: この募集地域は中小・地域金融機関であるならばそれは馴染み難い
事実15: もし仮に何かは見え隠れしないならばそれが興隆だしまた絶え難い
事実16: 仮に「なにかは尊厳化だということはないしさらに見え隠れしない」ということは偽であるとすればそれは根強い

仮説: 「その商法は下請け業務であるしおまけに根強い」ということは真実でない
1. 事実4から、推論1: "この募集地域は絶え難い"が導かれる
2. 推論1と事実11から、推論2: "その商法は下請け業務だ"が導かれる
3. 事実16から、推論3: "仮に「その商法は尊厳化だということはなくてそれは見え隠れしない」ということは偽だとしたら「根強い」ということは正しい"が導かれる
4. 事実8と事実6から、推論4: "「その商法は尊厳化だということはなくて見え隠れするということはない」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "その商法は根強い"が導かれる
6. 推論2と推論5から、仮説が否定される

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