あのゴシック式は西向きでないがしかしそれはおっきい
fact1: あのゴシック式は西向きでないけれどおっきい
$facts$ = fact1: あのゴシック式は西向きでないけれどおっきい ; $hypothesis$ = あのゴシック式は西向きでないがしかしそれはおっきい ; $proof$ = 
事実1: あのゴシック式は西向きでないけれどおっきい

仮説: あのゴシック式は西向きでないがしかしそれはおっきい