「仮に安全策だけど単離出来ないとすると復活出来ない」物はある
fact1: もしもそのフィクフは安全策であるけど単離出来ないとすれば復活出来ない
$facts$ = fact1: もしもそのフィクフは安全策であるけど単離出来ないとすれば復活出来ない ; $hypothesis$ = 「仮に安全策だけど単離出来ないとすると復活出来ない」物はある ; $proof$ = 
事実1: もしもそのフィクフは安全策であるけど単離出来ないとすれば復活出来ない

仮説: 「仮に安全策だけど単離出来ないとすると復活出来ない」物はある