「もしあの南方録が来辛いということはないならばあの南方録は大系である」ということは成り立つ
fact1: 来辛くないものは大系だ
$facts$ = fact1: 来辛くないものは大系だ ; $hypothesis$ = 「もしあの南方録が来辛いということはないならばあの南方録は大系である」ということは成り立つ ; $proof$ = 
事実1: 来辛くないものは大系だ

仮説: 「もしあの南方録が来辛いということはないならばあの南方録は大系である」ということは成り立つ