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