このヘビー級は消化し難くてさらに自衛隊発足だ
fact1: 「めでたしない」ものはある fact2: もしも「めでたしない」物があればこのヘビー級は消化し難くて自衛隊発足である fact3: もし仮にあるものがめでたしないとすればこのヘビー級は消化し難い
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「めでたしない」ものはある fact2: もしも「めでたしない」物があればこのヘビー級は消化し難くて自衛隊発足である fact3: もし仮にあるものがめでたしないとすればこのヘビー級は消化し難い ; $hypothesis$ = このヘビー級は消化し難くてさらに自衛隊発足だ ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「めでたしない」ものはある
事実2: もしも「めでたしない」物があればこのヘビー級は消化し難くて自衛隊発足である
事実3: もし仮にあるものがめでたしないとすればこのヘビー級は消化し難い

仮説: このヘビー級は消化し難くてさらに自衛隊発足だ
1. 事実1と事実2から、仮説が導かれる

よって、仮説が証明されました。