premise: Kuching is in the state of Johor.
hypothesis: Kuching [ ˈkuːtʃɪŋ ] ( Jawi : , ) , officially the City of Kuching , is the capital and the most populous city in the state of Sarawak in Malaysia . After the formation of Malaysia in 1963 , Kuching retained its status as state capital and was granted city status in 1988 .