Premis: OJS memiliki jalan rel untuk tram di kota Surabaya dan sekitarnya dengan panjang 95 km.
Hipotesis: OJS tidak memiliki rel untuk tram di Surabaya.
Label: contradiction