「この境橋は盛行でないかそれは長くないかまたは両方ともだ」ということは確かである
fact1: もしこの境橋は猛々しいとすると「それは盛行でないかあるいは長くないかまたはどちらもだ」ということは間違っている fact2: この境橋は猛々しい
$facts$ = fact1: もしこの境橋は猛々しいとすると「それは盛行でないかあるいは長くないかまたはどちらもだ」ということは間違っている fact2: この境橋は猛々しい ; $hypothesis$ = 「この境橋は盛行でないかそれは長くないかまたは両方ともだ」ということは確かである ; $proof$ = 
事実1: もしこの境橋は猛々しいとすると「それは盛行でないかあるいは長くないかまたはどちらもだ」ということは間違っている
事実2: この境橋は猛々しい

仮説: 「この境橋は盛行でないかそれは長くないかまたは両方ともだ」ということは確かである