「もしもそのミクロ分析が解約出来るとすればそのミクロ分析は休み始めるが空々しかない」ということは成り立たない
fact1: もし仮に何かは解約出来るならそれは休み始めるがしかし空々しいということはない
$facts$ = fact1: もし仮に何かは解約出来るならそれは休み始めるがしかし空々しいということはない ; $hypothesis$ = 「もしもそのミクロ分析が解約出来るとすればそのミクロ分析は休み始めるが空々しかない」ということは成り立たない ; $proof$ = 
事実1: もし仮に何かは解約出来るならそれは休み始めるがしかし空々しいということはない

仮説: 「もしもそのミクロ分析が解約出来るとすればそのミクロ分析は休み始めるが空々しかない」ということは成り立たない