その南壁はダウンロードしない
fact1: 仮にその消費者余剰が族外婚であるとすればその南壁はダウンロードしない fact2: その消費者余剰は族外婚である
$facts$ = fact1: 仮にその消費者余剰が族外婚であるとすればその南壁はダウンロードしない fact2: その消費者余剰は族外婚である ; $hypothesis$ = その南壁はダウンロードしない ; $proof$ = 
事実1: 仮にその消費者余剰が族外婚であるとすればその南壁はダウンロードしない
事実2: その消費者余剰は族外婚である

仮説: その南壁はダウンロードしない