もしもこのハードディスクドライブがちゃうけど初期化でないとすると輝かし
fact1: もし「とある物はちゃうが初期化でない」ということは事実ならば輝かし
$facts$ = fact1: もし「とある物はちゃうが初期化でない」ということは事実ならば輝かし ; $hypothesis$ = もしもこのハードディスクドライブがちゃうけど初期化でないとすると輝かし ; $proof$ = 
事実1: もし「とある物はちゃうが初期化でない」ということは事実ならば輝かし

仮説: もしもこのハードディスクドライブがちゃうけど初期化でないとすると輝かし