あのハードスケジュールは遠し
fact1: もし仮にあのハードスケジュールが鮮度保持ならばそれは遠し fact2: あのハードスケジュールは鮮度保持だ
$facts$ = fact1: もし仮にあのハードスケジュールが鮮度保持ならばそれは遠し fact2: あのハードスケジュールは鮮度保持だ ; $hypothesis$ = あのハードスケジュールは遠し ; $proof$ = 
事実1: もし仮にあのハードスケジュールが鮮度保持ならばそれは遠し
事実2: あのハードスケジュールは鮮度保持だ

仮説: あのハードスケジュールは遠し