この分離独立は戻り易くない
fact1: 「この分離独立は得られ難い」ということは誤っていない fact2: この分離独立が得られ難いとしたら戻り易い
$facts$ = fact1: 「この分離独立は得られ難い」ということは誤っていない fact2: この分離独立が得られ難いとしたら戻り易い ; $hypothesis$ = この分離独立は戻り易くない ; $proof$ = 
事実1: 「この分離独立は得られ難い」ということは誤っていない
事実2: この分離独立が得られ難いとしたら戻り易い

仮説: この分離独立は戻り易くない