この岩波文化は進級しない
fact1: 仮に「何らかのものは馴染み深いけどインチでない」ということは事実と異なるならそれは馴染み深くない fact2: 「「核エネルギーだし進級する」ということは誤りである」ものがあるとするとその選任方法は逃れ難くない fact3: この岩波文化が核エネルギーならばそれは進級する fact4: 全ては広めない fact5: この岩波文化は不開示決定通知書だということはない fact6: もしもなにかは逃れ難いとすればそれは馴染み深いということはない fact7: 仮になにがしかの物は高くないならば「核エネルギーであるし加えて進級する」ということは成り立たない fact8: この岩波文化は切り出せる fact9: もしも「逃れ難くない」ものがあるならこの岩波文化は馴染み深いかまたはそれは輝かしということはない fact10: もしもある物は広めないとしたら「高くてインチだ」ということは成り立たない fact11: この岩波文化は逃れ難いかあるいはそれは手堅くないかまたは両方ともである fact12: その選任方法は高くない fact13: この岩波文化は馴染み深い fact14: 綱領は癒し難いということはない fact15: このキッチン鋏は核エネルギーでない fact16: もし仮に「その選任方法は高いということはない」ということは事実であるならば「馴染み深いけどインチでない」ということは間違いだ fact17: もし仮になんらかの物は馴染み深くないとすると「核エネルギーであるし逃れ難い」ということは間違いだ fact18: 「何かは高くてそれにインチである」ということは誤りであるとすれば高くない fact19: もしもこの岩波文化が核エネルギーであるかあるいは逃れ難くないとすると進級する fact20: 「この岩波文化は職業指導でない」ということは事実だ
fact6 -> int1: もし仮にこの岩波文化が逃れ難いとすると馴染み深くない; void -> assump1: 以下のように仮定する。この岩波文化は逃れ難い; int1 & assump1 -> int2: この岩波文化は馴染み深くない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この岩波文化は逃れ難くない; int4 -> int5: この岩波文化は核エネルギーであるかあるいは逃れ難くない; int5 & fact19 -> hypothesis;
この岩波文化は馴染み深いかそれは輝かしない
fact22 -> int6: もし仮に「この山本周五郎著は高くてインチだ」ということは成り立たないとしたら「高くない」ということは真実である; fact23 -> int7: もしもあの国内投資家は広めないとすれば「それは高くてさらにインチである」ということは成り立たない; fact25 -> int8: 「あの国内投資家は広めない」ということは正しい; int7 & int8 -> int9: 「あの国内投資家は高いインチだ」ということは成り立つということはない; int9 -> int10: 高いしそれはインチであるという物はない; int10 -> int11: 「この山本周五郎著が高いしその上それはインチである」ということは嘘である; int6 & int11 -> int12: この山本周五郎著は高くない; fact24 -> int13: もし仮にこの山本周五郎著は高くないなら「それは核エネルギーであるし進級する」ということは嘘だ; int12 & int13 -> int14: 「この山本周五郎著は核エネルギーだしまた進級する」ということは嘘である; int14 -> int15: 「「核エネルギーであるし進級する」ということは嘘である」ものはある; int15 & fact26 -> int16: その選任方法は逃れ難くない; int16 -> int17: 「逃れ難いということはない」物はある; fact21 & int17 -> hypothesis;
$facts$ = fact1: 仮に「何らかのものは馴染み深いけどインチでない」ということは事実と異なるならそれは馴染み深くない fact2: 「「核エネルギーだし進級する」ということは誤りである」ものがあるとするとその選任方法は逃れ難くない fact3: この岩波文化が核エネルギーならばそれは進級する fact4: 全ては広めない fact5: この岩波文化は不開示決定通知書だということはない fact6: もしもなにかは逃れ難いとすればそれは馴染み深いということはない fact7: 仮になにがしかの物は高くないならば「核エネルギーであるし加えて進級する」ということは成り立たない fact8: この岩波文化は切り出せる fact9: もしも「逃れ難くない」ものがあるならこの岩波文化は馴染み深いかまたはそれは輝かしということはない fact10: もしもある物は広めないとしたら「高くてインチだ」ということは成り立たない fact11: この岩波文化は逃れ難いかあるいはそれは手堅くないかまたは両方ともである fact12: その選任方法は高くない fact13: この岩波文化は馴染み深い fact14: 綱領は癒し難いということはない fact15: このキッチン鋏は核エネルギーでない fact16: もし仮に「その選任方法は高いということはない」ということは事実であるならば「馴染み深いけどインチでない」ということは間違いだ fact17: もし仮になんらかの物は馴染み深くないとすると「核エネルギーであるし逃れ難い」ということは間違いだ fact18: 「何かは高くてそれにインチである」ということは誤りであるとすれば高くない fact19: もしもこの岩波文化が核エネルギーであるかあるいは逃れ難くないとすると進級する fact20: 「この岩波文化は職業指導でない」ということは事実だ ; $hypothesis$ = この岩波文化は進級しない ; $proof$ = 
fact6 -> int1: もし仮にこの岩波文化が逃れ難いとすると馴染み深くない; void -> assump1: 以下のように仮定する。この岩波文化は逃れ難い; int1 & assump1 -> int2: この岩波文化は馴染み深くない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: この岩波文化は逃れ難くない; int4 -> int5: この岩波文化は核エネルギーであるかあるいは逃れ難くない; int5 & fact19 -> hypothesis; __DISPROVED__
事実1: 仮に「何らかのものは馴染み深いけどインチでない」ということは事実と異なるならそれは馴染み深くない
事実2: 「「核エネルギーだし進級する」ということは誤りである」ものがあるとするとその選任方法は逃れ難くない
事実3: この岩波文化が核エネルギーならばそれは進級する
事実4: 全ては広めない
事実5: この岩波文化は不開示決定通知書だということはない
事実6: もしもなにかは逃れ難いとすればそれは馴染み深いということはない
事実7: 仮になにがしかの物は高くないならば「核エネルギーであるし加えて進級する」ということは成り立たない
事実8: この岩波文化は切り出せる
事実9: もしも「逃れ難くない」ものがあるならこの岩波文化は馴染み深いかまたはそれは輝かしということはない
事実10: もしもある物は広めないとしたら「高くてインチだ」ということは成り立たない
事実11: この岩波文化は逃れ難いかあるいはそれは手堅くないかまたは両方ともである
事実12: その選任方法は高くない
事実13: この岩波文化は馴染み深い
事実14: 綱領は癒し難いということはない
事実15: このキッチン鋏は核エネルギーでない
事実16: もし仮に「その選任方法は高いということはない」ということは事実であるならば「馴染み深いけどインチでない」ということは間違いだ
事実17: もし仮になんらかの物は馴染み深くないとすると「核エネルギーであるし逃れ難い」ということは間違いだ
事実18: 「何かは高くてそれにインチである」ということは誤りであるとすれば高くない
事実19: もしもこの岩波文化が核エネルギーであるかあるいは逃れ難くないとすると進級する
事実20: 「この岩波文化は職業指導でない」ということは事実だ

仮説: この岩波文化は進級しない
1. 事実6から、推論1: "もし仮にこの岩波文化が逃れ難いとすると馴染み深くない"が導かれる
2. 仮定1: 以下のように仮定する。この岩波文化は逃れ難い
3. 推論1と仮定1から、推論2: "この岩波文化は馴染み深くない"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この岩波文化は逃れ難くない"が導かれる
6. 推論4から、推論5: "この岩波文化は核エネルギーであるかあるいは逃れ難くない"が導かれる
7. 推論5と事実19から、仮説が否定される

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