その受理伺いが実行方法であるなら激しくないし加えて比例税でない
fact1: 実行方法は激しくなくてそれに比例税でない
$facts$ = fact1: 実行方法は激しくなくてそれに比例税でない ; $hypothesis$ = その受理伺いが実行方法であるなら激しくないし加えて比例税でない ; $proof$ = 
事実1: 実行方法は激しくなくてそれに比例税でない

仮説: その受理伺いが実行方法であるなら激しくないし加えて比例税でない