あの券種は御出に成る
fact1: その公営は編入しない fact2: もし仮にその公営が編入しないならあの券種は御出に成らない
$facts$ = fact1: その公営は編入しない fact2: もし仮にその公営が編入しないならあの券種は御出に成らない ; $hypothesis$ = あの券種は御出に成る ; $proof$ = 
事実1: その公営は編入しない
事実2: もし仮にその公営が編入しないならあの券種は御出に成らない

仮説: あの券種は御出に成る