「この戌年は再灌流しない」ということは正しい
fact1: もしも「この戌年は性周期でない」ということは成り立つなら「再灌流する」ということは真実だ fact2: この戌年は性周期でない
$facts$ = fact1: もしも「この戌年は性周期でない」ということは成り立つなら「再灌流する」ということは真実だ fact2: この戌年は性周期でない ; $hypothesis$ = 「この戌年は再灌流しない」ということは正しい ; $proof$ = 
事実1: もしも「この戌年は性周期でない」ということは成り立つなら「再灌流する」ということは真実だ
事実2: この戌年は性周期でない

仮説: 「この戌年は再灌流しない」ということは正しい