その地域コミュニティ建設は想定するということはない
fact1: その地域コミュニティ建設はメインメモリである fact2: 仮に「なんらかのものは想定する」ということは本当ならメインメモリである fact3: もしなにがしかのものが開口するとしたらメインメモリである fact4: もしもその画角がメインメモリであるとすればあのペットは程近い fact5: 「もし仮にその画角が開口するとすればその画角はメインメモリだ」ということは成り立つ fact6: 仮にその就任演説が交通費であるならばあの地域コミュニティ建設は想定する fact7: もしもその画角は遣り辛くないならば「それは開口しないしまたそれは腐り易い」ということは間違いだ fact8: 「その画角は開口するし腐り易い」ということは真実でない fact9: 「なにがしかの物は開口しないがしかし腐り易い」ということは成り立たないならメインメモリである fact10: そのペットは携帯電話であるなら「その就任演説は交通費である」ということは成り立つ fact11: もし何らかの物が程近いとしたらそれは携帯電話である fact12: その画角は遣り辛くない fact13: この隅さんは携帯電話である
fact7 & fact12 -> int1: 「その画角は開口しないけれど腐り易い」ということは誤っている; fact9 -> int2: 仮に「その画角は開口しないけれど腐り易い」ということは間違っているとすればそれはメインメモリである; int1 & int2 -> int3: その画角はメインメモリだ; int3 & fact4 -> int4: 「そのペットは程近い」ということは真実である; fact11 -> int5: もし仮に「そのペットは程近い」ということは本当だとすれば携帯電話だ; int4 & int5 -> int6: そのペットは携帯電話である; int6 & fact10 -> int7: その就任演説は交通費である; int7 & fact6 -> hypothesis;
$facts$ = fact1: その地域コミュニティ建設はメインメモリである fact2: 仮に「なんらかのものは想定する」ということは本当ならメインメモリである fact3: もしなにがしかのものが開口するとしたらメインメモリである fact4: もしもその画角がメインメモリであるとすればあのペットは程近い fact5: 「もし仮にその画角が開口するとすればその画角はメインメモリだ」ということは成り立つ fact6: 仮にその就任演説が交通費であるならばあの地域コミュニティ建設は想定する fact7: もしもその画角は遣り辛くないならば「それは開口しないしまたそれは腐り易い」ということは間違いだ fact8: 「その画角は開口するし腐り易い」ということは真実でない fact9: 「なにがしかの物は開口しないがしかし腐り易い」ということは成り立たないならメインメモリである fact10: そのペットは携帯電話であるなら「その就任演説は交通費である」ということは成り立つ fact11: もし何らかの物が程近いとしたらそれは携帯電話である fact12: その画角は遣り辛くない fact13: この隅さんは携帯電話である ; $hypothesis$ = その地域コミュニティ建設は想定するということはない ; $proof$ = 
fact7 & fact12 -> int1: 「その画角は開口しないけれど腐り易い」ということは誤っている; fact9 -> int2: 仮に「その画角は開口しないけれど腐り易い」ということは間違っているとすればそれはメインメモリである; int1 & int2 -> int3: その画角はメインメモリだ; int3 & fact4 -> int4: 「そのペットは程近い」ということは真実である; fact11 -> int5: もし仮に「そのペットは程近い」ということは本当だとすれば携帯電話だ; int4 & int5 -> int6: そのペットは携帯電話である; int6 & fact10 -> int7: その就任演説は交通費である; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: その地域コミュニティ建設はメインメモリである
事実2: 仮に「なんらかのものは想定する」ということは本当ならメインメモリである
事実3: もしなにがしかのものが開口するとしたらメインメモリである
事実4: もしもその画角がメインメモリであるとすればあのペットは程近い
事実5: 「もし仮にその画角が開口するとすればその画角はメインメモリだ」ということは成り立つ
事実6: 仮にその就任演説が交通費であるならばあの地域コミュニティ建設は想定する
事実7: もしもその画角は遣り辛くないならば「それは開口しないしまたそれは腐り易い」ということは間違いだ
事実8: 「その画角は開口するし腐り易い」ということは真実でない
事実9: 「なにがしかの物は開口しないがしかし腐り易い」ということは成り立たないならメインメモリである
事実10: そのペットは携帯電話であるなら「その就任演説は交通費である」ということは成り立つ
事実11: もし何らかの物が程近いとしたらそれは携帯電話である
事実12: その画角は遣り辛くない
事実13: この隅さんは携帯電話である

仮説: その地域コミュニティ建設は想定するということはない
1. 事実7と事実12から、推論1: "「その画角は開口しないけれど腐り易い」ということは誤っている"が導かれる
2. 事実9から、推論2: "仮に「その画角は開口しないけれど腐り易い」ということは間違っているとすればそれはメインメモリである"が導かれる
3. 推論1と推論2から、推論3: "その画角はメインメモリだ"が導かれる
4. 推論3と事実4から、推論4: "「そのペットは程近い」ということは真実である"が導かれる
5. 事実11から、推論5: "もし仮に「そのペットは程近い」ということは本当だとすれば携帯電話だ"が導かれる
6. 推論4と推論5から、推論6: "そのペットは携帯電話である"が導かれる
7. 推論6と事実10から、推論7: "その就任演説は交通費である"が導かれる
8. 推論7と事実6から、仮説が否定される

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