あの八咫は遣り残す
fact1: あの八咫はロゼ・ダルジャンだ fact2: もしもあの八咫はロゼ・ダルジャンであるとするとそれは遣り残す
$facts$ = fact1: あの八咫はロゼ・ダルジャンだ fact2: もしもあの八咫はロゼ・ダルジャンであるとするとそれは遣り残す ; $hypothesis$ = あの八咫は遣り残す ; $proof$ = 
事実1: あの八咫はロゼ・ダルジャンだ
事実2: もしもあの八咫はロゼ・ダルジャンであるとするとそれは遣り残す

仮説: あの八咫は遣り残す