あの果実酒はＳＲＣでないけれどＲＵＮＬだ
fact1: この選挙制度改革は御成道である fact2: 仮にこの選挙制度改革が御成道であるとするとあの果実酒はＳＲＣでないけどＲＵＮＬである
$facts$ = fact1: この選挙制度改革は御成道である fact2: 仮にこの選挙制度改革が御成道であるとするとあの果実酒はＳＲＣでないけどＲＵＮＬである ; $hypothesis$ = あの果実酒はＳＲＣでないけれどＲＵＮＬだ ; $proof$ = 
事実1: この選挙制度改革は御成道である
事実2: 仮にこの選挙制度改革が御成道であるとするとあの果実酒はＳＲＣでないけどＲＵＮＬである

仮説: あの果実酒はＳＲＣでないけれどＲＵＮＬだ