「この集諦は歌い終える」ということは真実だ
fact1: あの円山派は長ったらしい fact2: 仮にあの円山派が長ったらしいとしたらこの集諦は歌い終えない
$facts$ = fact1: あの円山派は長ったらしい fact2: 仮にあの円山派が長ったらしいとしたらこの集諦は歌い終えない ; $hypothesis$ = 「この集諦は歌い終える」ということは真実だ ; $proof$ = 
事実1: あの円山派は長ったらしい
事実2: 仮にあの円山派が長ったらしいとしたらこの集諦は歌い終えない

仮説: 「この集諦は歌い終える」ということは真実だ