あの晩餐会は煙たくてまた伏せる
fact1: あの晩餐会は煙たい fact2: 「あの晩餐会は伏せる」ということは確かである
$facts$ = fact1: あの晩餐会は煙たい fact2: 「あの晩餐会は伏せる」ということは確かである ; $hypothesis$ = あの晩餐会は煙たくてまた伏せる ; $proof$ = 
事実1: あの晩餐会は煙たい
事実2: 「あの晩餐会は伏せる」ということは確かである

仮説: あの晩餐会は煙たくてまた伏せる