あの四打数は長い
fact1: この公益上は前列左だ fact2: もしこの公益上が前列左であるとするとあの四打数は長くない
$facts$ = fact1: この公益上は前列左だ fact2: もしこの公益上が前列左であるとするとあの四打数は長くない ; $hypothesis$ = あの四打数は長い ; $proof$ = 
事実1: この公益上は前列左だ
事実2: もしこの公益上が前列左であるとするとあの四打数は長くない

仮説: あの四打数は長い