あの拡散は初級用だということはない
fact1: 「あの拡散が症例Ｅ・ＦＲだしそれは初級用だ」ということは正しい
$facts$ = fact1: 「あの拡散が症例Ｅ・ＦＲだしそれは初級用だ」ということは正しい ; $hypothesis$ = あの拡散は初級用だということはない ; $proof$ = 
事実1: 「あの拡散が症例Ｅ・ＦＲだしそれは初級用だ」ということは正しい

仮説: あの拡散は初級用だということはない