この市場画定は下図でその上御話出来る
fact1: 仮にこの市場画定が御話出来れば自供しない fact2: 仮にこの主任看護婦は下図でないとすると「この市場画定は御話出来る」ということは本当だ fact3: もし仮に「「この王統は傍系親だけれど進ぜない」ということは嘘だ」ということは確かであるならばそれは御羊歯科でない fact4: この有望株は活写する fact5: もしなんらかのものが活写しないなら写り込まない fact6: この市場画定が御話出来るということはないとすればこの主任看護婦は御話出来るしかつ活写する fact7: もしも「御羊歯科でないし塩っ辛い」ものがあるならばあの弘福寺は乗り続ける fact8: この王統は塩っ辛い fact9: もしも「この市場画定は乗り続けない」ということは成り立つならこの主任看護婦は犯し難いし写り込む fact10: 仮にとある物が写り込むかまたはそれが活写するとすると下図でない fact11: 仮にとあるものは乗り続けるとすれば「古寺巡礼だ」ということは成り立つ fact12: 「この主任看護婦は写り込まない」ということは事実であるとしたら「この市場画定は下図でそれにそれは御話出来る」ということは間違っている fact13: この主任看護婦は活写する fact14: 仮に「なにがしかのものは活写するが古寺巡礼だということはない」ということは成り立たないとすると活写しない fact15: なにがしかのものが写り込むとしたら下図でない fact16: 「この王統は傍系親であるがしかし進ぜない」ということは偽である fact17: もしこの主任看護婦が下図でないならこの市場画定は下図でそれは御話出来る
fact13 -> int1: この主任看護婦は写り込むか活写する; fact10 -> int2: この主任看護婦は写り込むかもしくは活写するとすると下図でない; int1 & int2 -> int3: この主任看護婦は下図でない; int3 & fact17 -> hypothesis;
fact13 -> int1: ({A}{a} v {B}{a}); fact10 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact17 -> hypothesis;
この主任看護婦は犯し難くてまた御話出来る
$facts$ = fact1: 仮にこの市場画定が御話出来れば自供しない fact2: 仮にこの主任看護婦は下図でないとすると「この市場画定は御話出来る」ということは本当だ fact3: もし仮に「「この王統は傍系親だけれど進ぜない」ということは嘘だ」ということは確かであるならばそれは御羊歯科でない fact4: この有望株は活写する fact5: もしなんらかのものが活写しないなら写り込まない fact6: この市場画定が御話出来るということはないとすればこの主任看護婦は御話出来るしかつ活写する fact7: もしも「御羊歯科でないし塩っ辛い」ものがあるならばあの弘福寺は乗り続ける fact8: この王統は塩っ辛い fact9: もしも「この市場画定は乗り続けない」ということは成り立つならこの主任看護婦は犯し難いし写り込む fact10: 仮にとある物が写り込むかまたはそれが活写するとすると下図でない fact11: 仮にとあるものは乗り続けるとすれば「古寺巡礼だ」ということは成り立つ fact12: 「この主任看護婦は写り込まない」ということは事実であるとしたら「この市場画定は下図でそれにそれは御話出来る」ということは間違っている fact13: この主任看護婦は活写する fact14: 仮に「なにがしかのものは活写するが古寺巡礼だということはない」ということは成り立たないとすると活写しない fact15: なにがしかのものが写り込むとしたら下図でない fact16: 「この王統は傍系親であるがしかし進ぜない」ということは偽である fact17: もしこの主任看護婦が下図でないならこの市場画定は下図でそれは御話出来る ; $hypothesis$ = この市場画定は下図でその上御話出来る ; $proof$ = 
fact13 -> int1: この主任看護婦は写り込むか活写する; fact10 -> int2: この主任看護婦は写り込むかもしくは活写するとすると下図でない; int1 & int2 -> int3: この主任看護婦は下図でない; int3 & fact17 -> hypothesis; __PROVED__
事実1: 仮にこの市場画定が御話出来れば自供しない
事実2: 仮にこの主任看護婦は下図でないとすると「この市場画定は御話出来る」ということは本当だ
事実3: もし仮に「「この王統は傍系親だけれど進ぜない」ということは嘘だ」ということは確かであるならばそれは御羊歯科でない
事実4: この有望株は活写する
事実5: もしなんらかのものが活写しないなら写り込まない
事実6: この市場画定が御話出来るということはないとすればこの主任看護婦は御話出来るしかつ活写する
事実7: もしも「御羊歯科でないし塩っ辛い」ものがあるならばあの弘福寺は乗り続ける
事実8: この王統は塩っ辛い
事実9: もしも「この市場画定は乗り続けない」ということは成り立つならこの主任看護婦は犯し難いし写り込む
事実10: 仮にとある物が写り込むかまたはそれが活写するとすると下図でない
事実11: 仮にとあるものは乗り続けるとすれば「古寺巡礼だ」ということは成り立つ
事実12: 「この主任看護婦は写り込まない」ということは事実であるとしたら「この市場画定は下図でそれにそれは御話出来る」ということは間違っている
事実13: この主任看護婦は活写する
事実14: 仮に「なにがしかのものは活写するが古寺巡礼だということはない」ということは成り立たないとすると活写しない
事実15: なにがしかのものが写り込むとしたら下図でない
事実16: 「この王統は傍系親であるがしかし進ぜない」ということは偽である
事実17: もしこの主任看護婦が下図でないならこの市場画定は下図でそれは御話出来る

仮説: この市場画定は下図でその上御話出来る
1. 事実13から、推論1: "この主任看護婦は写り込むか活写する"が導かれる
2. 事実10から、推論2: "この主任看護婦は写り込むかもしくは活写するとすると下図でない"が導かれる
3. 推論1と推論2から、推論3: "この主任看護婦は下図でない"が導かれる
4. 推論3と事実17から、仮説が導かれる

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