その満期返戻金は引き兼ねる
fact1: 「「二重床でなくて統合化しない」ということは事実である」ものはある fact2: もし仮に「二重床でなくて統合化しない」ものがあるとするとその満期返戻金は引き兼ねる
$facts$ = fact1: 「「二重床でなくて統合化しない」ということは事実である」ものはある fact2: もし仮に「二重床でなくて統合化しない」ものがあるとするとその満期返戻金は引き兼ねる ; $hypothesis$ = その満期返戻金は引き兼ねる ; $proof$ = 
事実1: 「「二重床でなくて統合化しない」ということは事実である」ものはある
事実2: もし仮に「二重床でなくて統合化しない」ものがあるとするとその満期返戻金は引き兼ねる

仮説: その満期返戻金は引き兼ねる