「あの法人事業税はシャーだけれど増量しない」ということは成り立たない
fact1: シャーだしかつ増量しないというものはない
$facts$ = fact1: シャーだしかつ増量しないというものはない ; $hypothesis$ = 「あの法人事業税はシャーだけれど増量しない」ということは成り立たない ; $proof$ = 
事実1: シャーだしかつ増量しないというものはない

仮説: 「あの法人事業税はシャーだけれど増量しない」ということは成り立たない