もしもそのピッチ上がδＶであるとすれば操業しないしかつそれは切り替える
fact1: ΔＶは操業しないけど切り替える
$facts$ = fact1: ΔＶは操業しないけど切り替える ; $hypothesis$ = もしもそのピッチ上がδＶであるとすれば操業しないしかつそれは切り替える ; $proof$ = 
事実1: ΔＶは操業しないけど切り替える

仮説: もしもそのピッチ上がδＶであるとすれば操業しないしかつそれは切り替える