google/LoraxBench huggingface dataset:
Language: su_FORMAL
Premise: Aya sababaraha generalisasi tina persamaan Fermat ka persamaan anu langkung umum anu ngamungkinkeun ayana eksponen n janten bilangan bulat négatif atanapi rasional, atanapi pikeun mertimbangkeun tilu eksponen anu béda
Hypothesis: Persamaan Fermat diajar dina widang élmu pasti
Label: neutral
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Hukum Charles kapanggih dina abad ka-17.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Hukum volume kapanggih ku Jacques Chandler.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Jacques Charles nyaéta nu manggihkeun hukum volume.
Label: entailment
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Hukum Charles kapanggih dina abad ka-18.
Label: entailment
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Jacques Charles nyaéta ahli matematika.
Label: neutral
Language: su_FORMAL
Premise: Hukum Charles, atanapi hukum volume, kapanggih taun 1787 ku Jacques Charles.
Hypothesis: Jacques Charles nyebat hukum volume salaku hukum Charles
Label: neutral
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Hukum Boyle mangrupikeun panyampurnaan tina Persamaan Gas Umum.
Label: contradiction
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Hukum Charles kapanggih sateuacan hukum gas gabungan.
Label: entailment
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Persamaan Gas Umum diturunkeun tina tilu hukum.
Label: entailment
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Hukum gas gabungan ngabahas hubungan tekanan sareng volume gas.
Label: neutral
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Boyle sareng Charles ngarumuskeun hukum gas gabungan.
Label: neutral
Language: su_FORMAL
Premise: Hukum gas gabungan atanapi Persamaan Gas Umum didapat ku ngagabungkeun Hukum Boyle, Hukum Charles, sareng Hukum Gay-Lussac.
Hypothesis: Hukum gas gabungan langkung akurat tibatan hukum Gay-Lussac.
Label: neutral
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Graham nalungtik hubungan antara laju sareng suhu gas.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Gas berdifusi langkung gancang nalika langkung padet.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Laju difusi molekul gas sok konstan.
Label: contradiction
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Densitas gas sabanding tibalik sareng kuadrat laju nalika difusi.
Label: entailment
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Suhu gas sok konstan.
Label: neutral
Language: su_FORMAL
Premise: Hukum Graham nyatakeun yén laju nalika molekul gas berdifusi sabanding tibalik sareng akar kuadrat densitasna dina suhu konstan.
Hypothesis: Hukum Graham disebut ogé salaku hukum gas.
Label: neutral
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Hasil pleno pasangan nomor 1 meunangkeun sora pangsaeutikna jeung diéléhkeun ku 3 paslon sanesna.
Label: contradiction
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Hasil pleno pasangan nomor 1 meunangkeun sora pangsaeutikna jeung ngéléhkeun 3 paslon sanesna.
Label: contradiction
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Pasangan nomor 1 meunang ngalawan 3 paslon sanesna.
Label: entailment
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Hasil pleno pasangan nomor 1 meunang ngaliwatan voting.
Label: entailment
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Pasangan nomor 1 meunang sora sabanyak 120 sora.
Label: neutral
Language: su_FORMAL
Premise: Hasil pleno pasangan nomor 1 meunangkeun sora pangseueurna jeung ngéléhkeun 3 paslon sanesna.
Hypothesis: Jumlah sora paslon 1 jeung 2 béda 10 sora.
Label: neutral
Language: su_FORMAL
Premise: Kuring nyarios, ‘siap mas Bismillahirrahmanirrahim abdi ngiring gabung di PAN sareng mas Eko’," saur Denny neraskeun.
Hypothesis: Denny siap gabung di PDI sareng mas Eko.
Label: contradiction
Language: su_FORMAL
Premise: Kuring nyarios, ‘siap mas Bismillahirrahmanirrahim abdi ngiring gabung di PAN sareng mas Eko’," saur Denny neraskeun.
Hypothesis: Eko nyaéta  anggota PAN.
Label: entailment
Language: su_FORMAL
Premise: Kuring nyarios, ‘siap mas Bismillahirrahmanirrahim abdi ngiring gabung di PAN sareng mas Eko’," saur Denny neraskeun.
Hypothesis: Denny siap gabung sareng PAN.
Label: entailment
Language: su_FORMAL
Premise: Kuring nyarios, ‘siap mas Bismillahirrahmanirrahim abdi ngiring gabung di PAN sareng mas Eko’," saur Denny neraskeun.
Hypothesis: Denny nyaéta  anggota Golkar sateuacan gabung sareng PAN.
Label: neutral
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolri ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Label: contradiction
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolda Jawa Barat ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Label: contradiction
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolda Jawa Timur ngalakukeun gugatan sabab kecurangan kapanggih ku pihakna.
Label: entailment
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolda Jawa Timur ieu ngajelaskeun, gugatan éta dilayangkan sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Label: entailment
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolda Jawa Timur ngalayangkan gugatan ka Pengadilan Negeri Surabaya.
Label: neutral
Language: su_FORMAL
Premise: Mantan Kapolda Jawa Timur ieu nyarios, gugatan éta dilakukeun sabab pihakna mendakan dugaan kecurangan terstruktur, sistematis, sareng masif.
Hypothesis: Mantan Kapolda Jawa Timur ngalayangkan gugatan minggu kamari.
Label: neutral
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Sora anu dinyatakeun sah jumlahna kirang ti 1 juta sora.
Label: contradiction
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Tina angka éta 1.049.334 sora di antarana dinyatakeun teu sah, sedengkeun sora sah jumlahna 49.135.
Label: contradiction
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Leuwih ti 1 juta sora dinyatakeun sah.
Label: entailment
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Sora teu sah jumlahna sakitar 49 rébu sora.
Label: entailment
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Sora teu sah sabagian gedé kajadian di Pulo Sulawesi.
Label: neutral
Language: su_FORMAL
Premise: Tina angka éta 1.049.334 sora di antarana dinyatakeun sah, sedengkeun sora teu sah jumlahna 49.135.
Hypothesis: Sora sah didominasi ku paslon 1 jeung paslon 2.
Label: neutral
Language: su_FORMAL
Premise: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Hypothesis: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus lancar.
Label: contradiction
Language: su_FORMAL
Premise: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Hypothesis: Partai Demokrat ayeuna ngawasaan Senat sedengkeun Partai Republik ngawasaan DPR, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Label: contradiction
Language: su_FORMAL
Premise: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Hypothesis: Partai Demokrat leuwih berkuasa di Amérika tibatan Partai Republik.
Label: contradiction
Language: su_FORMAL
Premise: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Hypothesis: Sabagian gedé anggota senat nyaéta  politisi ti Partai Republik.
Label: entailment
Language: su_FORMAL
Premise: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus terus ngalaman tarik ulur.
Hypothesis: Partai Demokrat ayeuna ngawasaan House of Representative (DPR) sedengkeun Partai Republik ngawasaan Senat, hal ieu anu nyababkeun panambahan stimulus teu gampang diputuskeun.
Label: entailment
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Joe Biden gaduh ambisi jadi wakil présidén AS.
Label: contradiction
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Dina kampanyena, Joe Biden kurang merhatikeun isu virus.
Label: contradiction
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Biden mimiti ngantor sacara resmi di Gedong Putih dina 20 Januari.
Label: entailment
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Joe Biden katingali merhatikeun isu virus.
Label: entailment
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Lamun kapilih, Biden bakal jadi présidén AS ka-32.
Label: neutral
Language: su_FORMAL
Premise: Dina sababaraha kasempetan nalika kampanye pamilihan présidén Amérika Serikat (Pilpres AS), Biden jangji pikeun ngajadikeun perang ngalawan virus salaku prioritas utama nalika anjeunna ngajabat dina 20 Januari.
Hypothesis: Joe Biden nyaéta  calon présidén AS anu asalna ti nagara bagian Delaware.
Label: neutral
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Pilkada serentak parantos lumangsung dina 8 Désémber 2020 di 260 daérah.
Label: contradiction
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Pilkada serentak parantos lumangsung dina 8 Désémber 2020 di 270 daérah.
Label: contradiction
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Pilkada serentak parantos lumangsung dina 8 Désémber 2020 di dua ratus genep puluh daérah.
Label: contradiction
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Pilkada parantos lumangsung dina 9 Désémber 2020 di 270 daérah sacara babarengan.
Label: entailment
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Pilkada 9 Désémber 2020 lumangsung lancar.
Label: neutral
Language: su_FORMAL
Premise: Pilkada serentak parantos lumangsung dina 9 Désémber 2020 di 270 daérah.
Hypothesis: Henteu aya laporan kecurangan anu kajantenan dina Pilkada 9 Désémber 2020.
Label: neutral
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Nepi ka ayeuna prosés perhitungan sora henteu diteruskeun ku Komisi Pemilihan Umum (KPU).
Label: contradiction
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Prosés perhitungan sora parantos réngsé dilakukeun ku Komisi Pemilihan Umum (KPU).
Label: contradiction
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Nepi ka ayeuna prosés pencacahan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Label: entailment
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Hasil voting acan final dugi ka ayeuna.
Label: entailment
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU) di Yogyakarta.
Label: neutral
Language: su_FORMAL
Premise: Nepi ka ayeuna prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU).
Hypothesis: Prosés perhitungan sora masih kénéh dilakukeun ku Komisi Pemilihan Umum (KPU) dugi ka jam 12 peuting.
Label: neutral
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 acan ketok palu.
Label: contradiction
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang 2020 parantos ketok palu.
Label: contradiction
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota TangSel 2020 parantos ketok palu.
Label: entailment
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos diputuskeun.
Label: entailment
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Jumlah sora antara paslon 1 sareng paslon 2 pilkada Tangerang Kidul béda 100 sora wungkul.
Label: neutral
Language: su_FORMAL
Premise: Hasil rekapitulasi sareng perhitungan sora Pemilihan Kepala Daérah (Pilkada) Kota Tangerang Kidul 2020 parantos ketok palu.
Hypothesis: Aya langkung ti 5 calon dina Pilkada Tangerang Kidul 2020.
Label: neutral
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Prabowo meunang Pilkada Tangsel.
Label: contradiction
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Prabowo Subianto éléh Pilkada Tangsel.
Label: entailment
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Prabowo Subianto éléh Pilkada Tangerang Kidul.
Label: entailment
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Prabowo éléh Pilkada Tangsel dua kali berturut-turut.
Label: neutral
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Prabowo éléh Pilkada Tangsel dina taun 2020.
Label: neutral
Language: su_FORMAL
Premise: Képonakan Prabowo éléh Pilkada Tangsel.
Hypothesis: Képonakan Joko Widodo meunang Pilkada Tangsel.
Label: neutral
Language: su_FORMAL
Premise: Saacanna, hasil rekapitulasi perhitungan sora Pilkada Surabaya nunjukkeun pasangan Machfud Arifin - Mujiaman éléh ti Eri Cahyadi - Armudji.
Hypothesis: Pasangan Machfud Arifin - Mujiaman meunang ti Eri Cahyadi - Armudji.
Label: contradiction
Language: su_FORMAL
Premise: Saacanna, hasil rekapitulasi perhitungan sora Pilkada Surabaya nunjukkeun pasangan Machfud Arifin - Mujiaman éléh ti Eri Cahyadi - Armudji.
Hypothesis: Pilkada Surabaya dimeunangkeun ku pasangan Machfud Arifin - Mujiaman.
Label: contradiction
Language: su_FORMAL
Premise: Saacanna, hasil rekapitulasi perhitungan sora Pilkada Surabaya nunjukkeun pasangan Machfud Arifin - Mujiaman éléh ti Eri Cahyadi - Armudji.
Hypothesis: Pasangan Machfud Arifin - Mujiaman meunang Pilkada Medan.
Label: contradiction
Language: su_FORMAL
Premise: Saacanna, hasil rekapitulasi perhitungan sora Pilkada Surabaya nunjukkeun pasangan Machfud Arifin - Mujiaman éléh ti Eri Cahyadi - Armudji.
Hypothesis: Pasangan Machfud Arifin - Mujiaman meunang Pilkada Surabaya.
Label: contradiction
Language: su_FORMAL
Premise: Saacanna, hasil rekapitulasi perhitungan sora Pilkada Surabaya nunjukkeun pasangan Machfud Arifin - Mujiaman éléh ti Eri Cahyadi - Armudji.
Hypothesis: Pasangan Machfud Arifin - Mujiaman henteu asal ti Sumatra Utara.
Label: neutral
Language: su_FORMAL
Premise: Isu séjénna nyaéta Gerakan Melawan Kampanye Hideung, Politik Identitas, Nasionalisme Sempit, Pragmatisme, Prakték Politik Duit jeung Politisasi SARA dina Pilkada ogé Netralitas ASN, TNI jeung POLRI dina Pilkada.
Hypothesis: Isu Pilkada ngan ukur ngawengku Prakték Politik Duit sareng Politisasi SARA.
Label: contradiction
Language: su_FORMAL
Premise: Isu séjénna nyaéta Gerakan Melawan Kampanye Hideung, Politik Identitas, Nasionalisme Sempit, Pragmatisme, Prakték Politik Duit jeung Politisasi SARA dina Pilkada ogé Netralitas ASN, TNI jeung POLRI dina Pilkada.
Hypothesis: Isu Politisasi SARA teu aya dina Pilkada.
Label: contradiction
Language: su_FORMAL
Premise: Isu séjénna nyaéta Gerakan Melawan Kampanye Hideung, Politik Identitas, Nasionalisme Sempit, Pragmatisme, Prakték Politik Duit jeung Politisasi SARA dina Pilkada ogé Netralitas ASN, TNI jeung POLRI dina Pilkada.
Hypothesis: Pilkada gaduh seueur isu.
Label: entailment
Language: su_FORMAL
Premise: Isu séjénna nyaéta Gerakan Melawan Kampanye Hideung, Politik Identitas, Nasionalisme Sempit, Pragmatisme, Prakték Politik Duit jeung Politisasi SARA dina Pilkada ogé Netralitas ASN, TNI jeung POLRI dina Pilkada.
Hypothesis: Sahenteuna aya tujuh isu Pilkada.
Label: entailment
Language: su_FORMAL
Premise: Isu séjénna nyaéta Gerakan Melawan Kampanye Hideung, Politik Identitas, Nasionalisme Sempit, Pragmatisme, Prakték Politik Duit jeung Politisasi SARA dina Pilkada ogé Netralitas ASN, TNI jeung POLRI dina Pilkada.
Hypothesis: Pilkada diharepkeun tiasa lumangsung lancar.
Label: neutral
Language: su_FORMAL
Premise: Hasil monitoring nunjukkeun yén sabagian ageung TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Hypothesis: Teu aya TPS anu parantos nerapkeun protokol kaséhatan kalayan saé.
Label: contradiction
Language: su_FORMAL
Premise: Hasil monitoring nunjukkeun yén sabagian ageung TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Hypothesis: Sadaya TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Label: contradiction
Language: su_FORMAL
Premise: Hasil monitoring nunjukkeun yén sabagian ageung TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Hypothesis: Protokol kaséhatan parantos diterapkeun kalayan saé di sabagian ageung TPS.
Label: entailment
Language: su_FORMAL
Premise: Hasil monitoring nunjukkeun yén sabagian ageung TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Hypothesis: Aya TPS anu acan nerapkeun protokol kaséhatan kalayan saé.
Label: entailment
Language: su_FORMAL
Premise: Hasil monitoring nunjukkeun yén sabagian ageung TPS parantos nerapkeun protokol kaséhatan kalayan saé.
Hypothesis: Pilkada serentak terakhir dilaksanakeun di tengah mangsa pandemi.
Label: neutral
Language: su_FORMAL
Premise: Di sagigireun éta, Adrianus medarkeun aya kapanggih husus nyaéta kapatuhan nerapkeun protokol kaséhatan di TPS.
Hypothesis: Kapatuhan nerapkeun protokol kaséhatan di TPS teu dipaparkeun ku Adrianus.
Label: contradiction
Language: su_FORMAL
Premise: Di sagigireun éta, Adrianus medarkeun aya kapanggih husus nyaéta kapatuhan nerapkeun protokol kaséhatan di TPS.
Hypothesis: Teu aya TPS anu nerapkeun protokol kaséhatan.
Label: contradiction
Language: su_FORMAL
Premise: Di sagigireun éta, Adrianus medarkeun aya kapanggih husus nyaéta kapatuhan nerapkeun protokol kaséhatan di TPS.
Hypothesis: Kapatuhan nerapkeun protokol kaséhatan di TPS dipaparkeun ku Adrianus.
Label: entailment
Language: su_FORMAL
Premise: Di sagigireun éta, Adrianus medarkeun aya kapanggih husus nyaéta kapatuhan nerapkeun protokol kaséhatan di TPS.
Hypothesis: TPS patuh kana nerapkeun protokol kaséhatan.
Label: entailment
Language: su_FORMAL
Premise: Di sagigireun éta, Adrianus medarkeun aya kapanggih husus nyaéta kapatuhan nerapkeun protokol kaséhatan di TPS.
Hypothesis: Pilkada serentak terakhir dilaksanakeun di tengah mangsa pandemi.
Label: neutral
Language: su_FORMAL
Premise: Dumasar kana data KPU Gunung Kidul, jumlah warga dina Daftar Pemilih Tetap (DPT) ngahontal 599.850 urang.
Hypothesis: Jumlah DPT KPU Gunung Kidul kirang ti 400 rébu urang.
Label: contradiction
Language: su_FORMAL
Premise: Dumasar kana data KPU Gunung Kidul, jumlah warga dina Daftar Pemilih Tetap (DPT) ngahontal 599.850 urang.
Hypothesis: Jumlah warga dina DPT Gunung Kidul ngahontal 599.850 urang dumasar kana data KPU Gunung Kidul.
Label: entailment