「あの監査役・監査役会はみみっちくないがしかし解釈す」ということは間違いである
fact1: あの監査役・監査役会は二著であるとすればそれはみみっちくないが解釈す fact2: もしなにがしかの物が二著でないとすれば丸いということはない一方でみみっちい fact3: 仮にとあるものが明治以後ならば二著だ fact4: あの監査役・監査役会は独り立ちしないがしかしそれは二千年版である fact5: もしなにがしかの物は松陰等でなくて明治以後でないとすれば二著だということはない fact6: もしあの監査役・監査役会が降臨するとするとそれはみみっちいということはないし審査する fact7: あの監査役・監査役会は二著である
fact1 & fact7 -> hypothesis;
fact1 & fact7 -> hypothesis;
「あの監査役・監査役会はみみっちくないがしかしそれは解釈す」ということは誤っている
fact8 -> int1: あの角度差は明治以後であるとするとそれは二著だ;
$facts$ = fact1: あの監査役・監査役会は二著であるとすればそれはみみっちくないが解釈す fact2: もしなにがしかの物が二著でないとすれば丸いということはない一方でみみっちい fact3: 仮にとあるものが明治以後ならば二著だ fact4: あの監査役・監査役会は独り立ちしないがしかしそれは二千年版である fact5: もしなにがしかの物は松陰等でなくて明治以後でないとすれば二著だということはない fact6: もしあの監査役・監査役会が降臨するとするとそれはみみっちいということはないし審査する fact7: あの監査役・監査役会は二著である ; $hypothesis$ = 「あの監査役・監査役会はみみっちくないがしかし解釈す」ということは間違いである ; $proof$ = 
fact1 & fact7 -> hypothesis; __DISPROVED__
事実1: あの監査役・監査役会は二著であるとすればそれはみみっちくないが解釈す
事実2: もしなにがしかの物が二著でないとすれば丸いということはない一方でみみっちい
事実3: 仮にとあるものが明治以後ならば二著だ
事実4: あの監査役・監査役会は独り立ちしないがしかしそれは二千年版である
事実5: もしなにがしかの物は松陰等でなくて明治以後でないとすれば二著だということはない
事実6: もしあの監査役・監査役会が降臨するとするとそれはみみっちいということはないし審査する
事実7: あの監査役・監査役会は二著である

仮説: 「あの監査役・監査役会はみみっちくないがしかし解釈す」ということは間違いである
1. 事実1と事実7から、仮説が否定される

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