このＸＢは平安宮でない
fact1: あの副食が商業誌であるということはないけど名高いとすればこのＸＢは平安宮でない fact2: あの副食は商業誌であるということはないがしかし名高い
$facts$ = fact1: あの副食が商業誌であるということはないけど名高いとすればこのＸＢは平安宮でない fact2: あの副食は商業誌であるということはないがしかし名高い ; $hypothesis$ = このＸＢは平安宮でない ; $proof$ = 
事実1: あの副食が商業誌であるということはないけど名高いとすればこのＸＢは平安宮でない
事実2: あの副食は商業誌であるということはないがしかし名高い

仮説: このＸＢは平安宮でない