この一時間後は要る
fact1: この一時間後は嵩張る fact2: 「もしもこの一時間後が嵩張るならこの一時間後は要る」ということは事実である fact3: その新ジャガは嵩張る
$facts$ = fact1: この一時間後は嵩張る fact2: 「もしもこの一時間後が嵩張るならこの一時間後は要る」ということは事実である fact3: その新ジャガは嵩張る ; $hypothesis$ = この一時間後は要る ; $proof$ = 
事実1: この一時間後は嵩張る
事実2: 「もしもこの一時間後が嵩張るならこの一時間後は要る」ということは事実である
事実3: その新ジャガは嵩張る

仮説: この一時間後は要る