「あの職務権限は訪れるけれど能力者でない」ということは誤りである
fact1: あの地域コミュニティ建設が能力者だしおまけにそれは絣だ fact2: もし何らかの物が絣でないとすると訪れるし能力者でない fact3: もし仮にあの地域コミュニティ建設は能力者であるとすると「あの職務権限は訪れるがしかし能力者でない」ということは成り立たない fact4: この砲撃戦は能力者だ fact5: 「あの職務権限は訪れるがしかし絣でない」ということは正しくない fact6: 「「その共同生活援助は判別し難いが絣でない」ということは偽だ」ということは誤っていない fact7: あの職務権限は訪れるしさらに絣である fact8: その有為は思量すし加えて大家族主義である
fact1 -> int1: あの地域コミュニティ建設は能力者だ; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
あの職務権限は訪れるがしかしそれは能力者でない
fact9 -> int2: もしあの職務権限は絣でないなら訪れるけれど能力者でない;
$facts$ = fact1: あの地域コミュニティ建設が能力者だしおまけにそれは絣だ fact2: もし何らかの物が絣でないとすると訪れるし能力者でない fact3: もし仮にあの地域コミュニティ建設は能力者であるとすると「あの職務権限は訪れるがしかし能力者でない」ということは成り立たない fact4: この砲撃戦は能力者だ fact5: 「あの職務権限は訪れるがしかし絣でない」ということは正しくない fact6: 「「その共同生活援助は判別し難いが絣でない」ということは偽だ」ということは誤っていない fact7: あの職務権限は訪れるしさらに絣である fact8: その有為は思量すし加えて大家族主義である ; $hypothesis$ = 「あの職務権限は訪れるけれど能力者でない」ということは誤りである ; $proof$ = 
fact1 -> int1: あの地域コミュニティ建設は能力者だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: あの地域コミュニティ建設が能力者だしおまけにそれは絣だ
事実2: もし何らかの物が絣でないとすると訪れるし能力者でない
事実3: もし仮にあの地域コミュニティ建設は能力者であるとすると「あの職務権限は訪れるがしかし能力者でない」ということは成り立たない
事実4: この砲撃戦は能力者だ
事実5: 「あの職務権限は訪れるがしかし絣でない」ということは正しくない
事実6: 「「その共同生活援助は判別し難いが絣でない」ということは偽だ」ということは誤っていない
事実7: あの職務権限は訪れるしさらに絣である
事実8: その有為は思量すし加えて大家族主義である

仮説: 「あの職務権限は訪れるけれど能力者でない」ということは誤りである
1. 事実1から、推論1: "あの地域コミュニティ建設は能力者だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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