あのＲＣＢＡは生き抜ける
fact1: 仮に「システムリソースである」物があるならあのＲＣＢＡは生き抜ける fact2: 「システムリソースな」物はある
$facts$ = fact1: 仮に「システムリソースである」物があるならあのＲＣＢＡは生き抜ける fact2: 「システムリソースな」物はある ; $hypothesis$ = あのＲＣＢＡは生き抜ける ; $proof$ = 
事実1: 仮に「システムリソースである」物があるならあのＲＣＢＡは生き抜ける
事実2: 「システムリソースな」物はある

仮説: あのＲＣＢＡは生き抜ける