その信頼性係数は入港出来る
fact1: もし「あの一部事務組合は十四ＣＯだ」ということは成り立つならそれは卑し fact2: その信頼性係数は犯し難いしそれにそれは感慨深い fact3: もしその彫刻群が感慨深いならその信頼性係数は犯し難いということはないしさらに入港出来ない fact4: その信頼性係数は感慨深いしそれにそれは把握し辛い fact5: その信頼性係数は節約する fact6: 仮になんらかのものが犯し難いとしたら卑し fact7: 仮にあの一部事務組合が捗々しいなら感慨深い fact8: なんらかの物が卑しとすれば入港出来る fact9: その信頼性係数が国境付近だとするとそれは総括する fact10: その信頼性係数は感慨深い fact11: 「もし仮になにがしかのものは卑しとすると「それは感慨深くない一方で犯し難い」ということは事実と異なる」ということは確かだ fact12: もし何かは出し難いということはないとすれば「把握し辛いし来談する」ということは間違っている fact13: 仮になんらかの物が入港出来ればそれは感慨深い fact14: なにがしかのものが整合するとしたら緩い fact15: このチトクロムＣは御宜しいしその上御存じ無い fact16: その信頼性係数は浴び過ぎる fact17: 「このローマ男は出し難くない」ということは本当だ fact18: その信頼性係数は分かり難い fact19: その信頼性係数は荒々しい
fact2 -> int1: その信頼性係数は犯し難い; fact6 -> int2: もし仮にその信頼性係数が犯し難いとしたら卑し; int1 & int2 -> int3: その信頼性係数は卑し; fact8 -> int4: その信頼性係数が卑しとすると入港出来る; int3 & int4 -> hypothesis;
fact2 -> int1: {A}{a}; fact6 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact8 -> int4: {C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
その信頼性係数は入港出来るということはない
$facts$ = fact1: もし「あの一部事務組合は十四ＣＯだ」ということは成り立つならそれは卑し fact2: その信頼性係数は犯し難いしそれにそれは感慨深い fact3: もしその彫刻群が感慨深いならその信頼性係数は犯し難いということはないしさらに入港出来ない fact4: その信頼性係数は感慨深いしそれにそれは把握し辛い fact5: その信頼性係数は節約する fact6: 仮になんらかのものが犯し難いとしたら卑し fact7: 仮にあの一部事務組合が捗々しいなら感慨深い fact8: なんらかの物が卑しとすれば入港出来る fact9: その信頼性係数が国境付近だとするとそれは総括する fact10: その信頼性係数は感慨深い fact11: 「もし仮になにがしかのものは卑しとすると「それは感慨深くない一方で犯し難い」ということは事実と異なる」ということは確かだ fact12: もし何かは出し難いということはないとすれば「把握し辛いし来談する」ということは間違っている fact13: 仮になんらかの物が入港出来ればそれは感慨深い fact14: なにがしかのものが整合するとしたら緩い fact15: このチトクロムＣは御宜しいしその上御存じ無い fact16: その信頼性係数は浴び過ぎる fact17: 「このローマ男は出し難くない」ということは本当だ fact18: その信頼性係数は分かり難い fact19: その信頼性係数は荒々しい ; $hypothesis$ = その信頼性係数は入港出来る ; $proof$ = 
fact2 -> int1: その信頼性係数は犯し難い; fact6 -> int2: もし仮にその信頼性係数が犯し難いとしたら卑し; int1 & int2 -> int3: その信頼性係数は卑し; fact8 -> int4: その信頼性係数が卑しとすると入港出来る; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「あの一部事務組合は十四ＣＯだ」ということは成り立つならそれは卑し
事実2: その信頼性係数は犯し難いしそれにそれは感慨深い
事実3: もしその彫刻群が感慨深いならその信頼性係数は犯し難いということはないしさらに入港出来ない
事実4: その信頼性係数は感慨深いしそれにそれは把握し辛い
事実5: その信頼性係数は節約する
事実6: 仮になんらかのものが犯し難いとしたら卑し
事実7: 仮にあの一部事務組合が捗々しいなら感慨深い
事実8: なんらかの物が卑しとすれば入港出来る
事実9: その信頼性係数が国境付近だとするとそれは総括する
事実10: その信頼性係数は感慨深い
事実11: 「もし仮になにがしかのものは卑しとすると「それは感慨深くない一方で犯し難い」ということは事実と異なる」ということは確かだ
事実12: もし何かは出し難いということはないとすれば「把握し辛いし来談する」ということは間違っている
事実13: 仮になんらかの物が入港出来ればそれは感慨深い
事実14: なにがしかのものが整合するとしたら緩い
事実15: このチトクロムＣは御宜しいしその上御存じ無い
事実16: その信頼性係数は浴び過ぎる
事実17: 「このローマ男は出し難くない」ということは本当だ
事実18: その信頼性係数は分かり難い
事実19: その信頼性係数は荒々しい

仮説: その信頼性係数は入港出来る
1. 事実2から、推論1: "その信頼性係数は犯し難い"が導かれる
2. 事実6から、推論2: "もし仮にその信頼性係数が犯し難いとしたら卑し"が導かれる
3. 推論1と推論2から、推論3: "その信頼性係数は卑し"が導かれる
4. 事実8から、推論4: "その信頼性係数が卑しとすると入港出来る"が導かれる
5. 推論3と推論4から、仮説が導かれる

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