「この直流電源設備は立ち戻らない」ということは本当である
fact1: この直流電源設備は立ち戻るしまた潔い
$facts$ = fact1: この直流電源設備は立ち戻るしまた潔い ; $hypothesis$ = 「この直流電源設備は立ち戻らない」ということは本当である ; $proof$ = 
事実1: この直流電源設備は立ち戻るしまた潔い

仮説: 「この直流電源設備は立ち戻らない」ということは本当である