「発電用でないとすれば相提携する」ものはある
fact1: この出勤日は発電用であるということはないならば相提携する
$facts$ = fact1: この出勤日は発電用であるということはないならば相提携する ; $hypothesis$ = 「発電用でないとすれば相提携する」ものはある ; $proof$ = 
事実1: この出勤日は発電用であるということはないならば相提携する

仮説: 「発電用でないとすれば相提携する」ものはある