そのジャンクションはボンレスでないけれど相応しい
fact1: そのジャンクションはボンレスでないがしかし相応しい
$facts$ = fact1: そのジャンクションはボンレスでないがしかし相応しい ; $hypothesis$ = そのジャンクションはボンレスでないけれど相応しい ; $proof$ = 
事実1: そのジャンクションはボンレスでないがしかし相応しい

仮説: そのジャンクションはボンレスでないけれど相応しい