あのＸＬは弁済するが公爵でない
fact1: あの中止命令は遠退く fact2: もしもこのＳＰＡは遠退くとすれば「あのＸＬは弁済する一方で公爵であるということはない」ということは事実と異なる fact3: このＳＰＡは遠退く
$facts$ = fact1: あの中止命令は遠退く fact2: もしもこのＳＰＡは遠退くとすれば「あのＸＬは弁済する一方で公爵であるということはない」ということは事実と異なる fact3: このＳＰＡは遠退く ; $hypothesis$ = あのＸＬは弁済するが公爵でない ; $proof$ = 
事実1: あの中止命令は遠退く
事実2: もしもこのＳＰＡは遠退くとすれば「あのＸＬは弁済する一方で公爵であるということはない」ということは事実と異なる
事実3: このＳＰＡは遠退く

仮説: あのＸＬは弁済するが公爵でない