この二重譲渡は取り払うということはない
fact1: もし何かは侯であるしまた叩き払えばこの二重譲渡は取り払う fact2: なにがしかの物は侯だしかつ叩き払う
$facts$ = fact1: もし何かは侯であるしまた叩き払えばこの二重譲渡は取り払う fact2: なにがしかの物は侯だしかつ叩き払う ; $hypothesis$ = この二重譲渡は取り払うということはない ; $proof$ = 
事実1: もし何かは侯であるしまた叩き払えばこの二重譲渡は取り払う
事実2: なにがしかの物は侯だしかつ叩き払う

仮説: この二重譲渡は取り払うということはない