あのオルガンは書ける
fact1: あのオルガンは口惜しいということはない fact2: あのオルガンが口惜しいということはないとしたら書ける
$facts$ = fact1: あのオルガンは口惜しいということはない fact2: あのオルガンが口惜しいということはないとしたら書ける ; $hypothesis$ = あのオルガンは書ける ; $proof$ = 
事実1: あのオルガンは口惜しいということはない
事実2: あのオルガンが口惜しいということはないとしたら書ける

仮説: あのオルガンは書ける