google/LoraxBench huggingface dataset:
Language: min
Premise: Ado duo jarak palombaan nan ditandiangkan pado Olimpiade Musim Panas: palombaan lari 20 kilometer (laki-laki jo padusi) jo palombaan lari 50 kilometer (laki-laki sajo).
Hypothesis: Olimpiade Musim Panas adolah sabuah acara olahraga internasional nan diadoan satiok ampek taun.
Label: neutral
Language: min
Premise: Ado duo jarak palombaan nan ditandiangkan pado Olimpiade Musim Panas: palombaan lari 20 kilometer (laki-laki jo padusi) jo palombaan lari 50 kilometer (laki-laki sajo).
Hypothesis: Pamainan tampek partamo, kaduo jo katigo pado palombaan lari Olimpiade Musim Panas akan mandapek medali ameh, perak jo parunggu.
Label: neutral
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Singapura alun pernah manjadi tuan rumah Piala Tiger.
Label: contradiction
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Piala Tiger 1996 diadoan di Indonesia.
Label: contradiction
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Piala Tiger partamo kali ditandiangkan di Singapura.
Label: entailment
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Indak ado Piala Tiger sabalun 1990.
Label: entailment
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Singapura manang Piala Tiger 1996.
Label: neutral
Language: min
Premise: Piala Tiger dimulai pado taun 1996 di Singapura.
Hypothesis: Indonesia pernah manjadi tuan rumah Piala Tiger.
Label: neutral
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Patandiang semifinal Piala Tiger 2002 manampilkan Indonesia malawan Thailand.
Label: contradiction
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Thailand kalah pado final Piala Tiger 2002.
Label: contradiction
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Thailand manang Piala Tiger duo kali baturuik-turuik.
Label: entailment
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Indonesia manang pado semifinal Piala Tiger 2000.
Label: entailment
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Indonesia mangalahkan Thailand pado patandiangan final Piala Tiger 1998.
Label: neutral
Language: min
Premise: Pado Piala Tiger 2000 & 2002 ado patandiangan final "el clasico ASEAN" nan dimenangkan Thailand sasudah baturuik-turuik mengalahkan Indonesia pado final.
Hypothesis: Thailand labiah banyak marabuik Piala Tiger daripado Indonesia sajak partamo kali diadoan.
Label: neutral
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Finlandia kalah dalam tawaran untuak manjadi tuan rumah kajuaraan dunia partamo.
Label: contradiction
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Kajuaraan dunia partamo diadoan di Stuttgart.
Label: contradiction
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Tuan rumah kajuaraan dunia partamo adolah Finlandia.
Label: entailment
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Stuttgart indak tapiliah untuak manjadi tuan rumah kajuaraan dunia partamo.
Label: entailment
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Dewan IAAF manunjuak hakim nan manjabat pado kajuaraan dunia.
Label: neutral
Language: min
Premise: Sasudah kota Stuttgart, Jerman Barat jo Helsinki, Finlandia mancalonkan diri, Dewan IAAF mamutuihan Helsinki sabagai tampek untuak kajuaraan dunia patamo.
Hypothesis: Finlandia mancalonkan baliak sabagai tampek untuak kajuaraan dunia barikuiknyo.
Label: neutral
Language: min
Premise: Kejuaraan Dunia Atletik nan partamo pado taun 1983 hanyo dihadiri dek 1.300 atlet dari 154 nagara, sadangkan pado taun 2003 1.907 atlet dari 203 nagara ikuik.
Hypothesis: Kurang dari saribu atlet ikuik dalam Kejuaraan Dunia Atletik taun 1983.
Label: contradiction
Language: min
Premise: Kejuaraan Dunia Atletik nan partamo pado taun 1983 hanyo dihadiri dek 1.300 atlet dari 154 nagara, sadangkan pado taun 2003 1.907 atlet dari 203 nagara ikuik.
Hypothesis: Kiro-kiro 1.300 atlet ikuik dalam Kejuaraan Dunia Atletik pado 2003.
Label: contradiction
Language: min
Premise: Kejuaraan Dunia Atletik nan partamo pado taun 1983 hanyo dihadiri dek 1.300 atlet dari 154 nagara, sadangkan pado taun 2003 1.907 atlet dari 203 nagara ikuik.
Hypothesis: Labiah dari 200 nagara alah mangirim atlet ka Kejuaraan Dunia Atletik.
Label: entailment
Language: min
Premise: Kejuaraan Dunia Atletik nan partamo pado taun 1983 hanyo dihadiri dek 1.300 atlet dari 154 nagara, sadangkan pado taun 2003 1.907 atlet dari 203 nagara ikuik.
Hypothesis: Jumlah peserta pado Kajuaraan Dunia Atletik taun 2003 maningkek dibandiangkan jo ajang partamo.
Label: entailment
Language: min
Premise: Kejuaraan Dunia Atletik nan partamo pado taun 1983 hanyo dihadiri dek 1.300 atlet dari 154 nagara, sadangkan pado taun 2003 1.907 atlet dari 203 nagara ikuik.
Hypothesis: Hanyo 154 nagara nan ikuik dalam Kejuaraan Dunia Atletik sabalun taun 2003.
Label: neutral
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Hukum Gossen I manggambarkan baso kapuasan jo sasuatu nan dikarajoan taruih manaruih akan baakhia jo kasanangan
Label: contradiction
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Hukum Gossen partamo manggambarkan baso kapuasan jo sasuatu nan dikarajoan taruih manaruih bapek baakhia jo bosan.
Label: entailment
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Gagasan dasar dari Hukum Gossen partamo kali diambiak dari fakta-fakta badasarkan pangalaman manganai hubungan antaro kabutuhan manusia jo kapuasan kabutuhannyo.
Label: entailment
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Hukum Gossen partamo diambiak dari teori-teori para ahli ekonomi pado maso lalu.
Label: neutral
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Contoh palaksanaan hukum iko tarutamo dapek dicaliak pado kahidupan kota di mano kabutuhan untuak jinih benda tatantu taruih barubah dari waktu ka waktu.
Label: neutral
Language: min
Premise: Hukum Gossen partamo adolah generalisasi fakta badasarkan pangalaman jikok pamuasan kabutuhan untuak jinih objek tatantu dilakukan sacaro taruih manaruih, kanikmatan akan taruih bakurang sampai akhianyo mancapai jenuh.
Hypothesis: Katiko kabutuhan untuak ciek jinih benda alah dipuaskan, manusia cenderung pindah ka benda lain nan alun didapek.
Label: neutral
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Babeda jo hukum Gossen partamo, hukum Gossen kaduo labiah manakankan pado mamanuahi kabutuhan untuak ciek jinih barang.
Label: contradiction
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Hukum Gossen partamo jo kaduo dikategorikan sabagai hukum gona vertikal.
Label: contradiction
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Beda antaro kaduo hukum ko talatak pado jumlah barang nan dipuaskan.
Label: entailment
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Duo hukum Gossen mambahas kapuasan jo barang.
Label: entailment
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Kaduo hukum Gossen ko punyo tingkek penerapan nan samo dalam kahidupan urang.
Label: neutral
Language: min
Premise: Hukum gossen 2 disabuik juo hukum guna Horizontal karano mambahas kapuasan jo babagai barang, sadangkan hukum gossen 1 disabuik hukum guna vertikal karano hanyo mambahas kapuasan jo ciek jinih barang.
Hypothesis: Hukum Gossen acok digunoan sabagai studi kasus baa kabutuhan masyarakaik dapek mampangaruahi harago pasa.
Label: neutral
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Hewan'.
Label: contradiction
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Hukum pawarisan sipaik alun ditulih dek Mendel dalam bantuak karya ilmiah.
Label: contradiction
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Gregor Johann Mendel mambarikan kontribusi keilmuan pado bidang genetika.
Label: entailment
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Mendel manggambarkan hukum pawarisan sipaik dalam salah satu karya tulisannyo.
Label: entailment
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Hukum pawarisan sipaik ditamukan sabalun taun 1800-an.
Label: neutral
Language: min
Premise: Hukum pawarisan Mendel adolah hukum manganai pawarisan sipaik pado organisme nan digambarkan dek Gregor Johann Mendel dalam karyanyo 'Percobaan mengenai Persilangan Tanaman'.
Hypothesis: Salain hukum pawarisan sipaik, Mendel juo mambaikan kontribusi dalam teori evolusi.
Label: neutral
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Gen indak mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Label: contradiction
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Gen mampunyoi bantuak nan monoton.
Label: contradiction
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Gen mampunyoi babarapo bantuak.
Label: entailment
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Bantuak gen mampangaruahi variasi karakter nan diwarihkan.
Label: entailment
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Ado labiah banyak variasi bantuak gen nan tadapek pado manusia daripado ado variasi gen tumbuhan.
Label: neutral
Language: min
Premise: Gen mampunyoi bantuak alternatif nan maatur variasi karakter warisan.
Hypothesis: Sampai kini ado labiah dari 1000 bantuak alternatif gen.
Label: neutral
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua), tapi dalam kondisi tatantu mungkin indak nampak.
Label: contradiction
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (indak nampak sacaro visual dari lua).
Label: contradiction
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel resesif (S atau B) akan selalu diekspresikan (nampak sacaro visual dari lua).
Label: contradiction
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok kaduo gen ko marupoan duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Label: entailment
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok pasangan gen ko marupoan duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu nampak.
Label: entailment
Language: min
Premise: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan (nampak sacaro visual dari lua).
Hypothesis: Jikok pasangan gen ko adolah duo alel nan babeda (Sb jo sB pado gambar 2), alel dominan (S atau B) akan salalu diekspresikan jo massa nan babeda.
Label: neutral
Language: min
Premise: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum.
Hypothesis: Teorema nilai rato-rato indak valid dalam kaadaan nan labiah umum.
Label: contradiction
Language: min
Premise: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum.
Hypothesis: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah khusus.
Label: contradiction
Language: min
Premise: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum.
Hypothesis: Teorema nilai rato-rato masih dapek digunoan dalam kaadaan nan labiah umum.
Label: entailment
Language: min
Premise: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum.
Hypothesis: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum manuruik ahli matematika dari MIT.
Label: neutral
Language: min
Premise: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum.
Hypothesis: Teorema nilai rato-rato masih balaku dalam kaadaan nan labiah umum, iko baru sajo dibuktikan dek Prof. Hassan dalam publikasi terbarunyo.
Label: neutral
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Sistem jo massa nan babeda-beda sarupo roket atau ember jo lubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton dapek digunoan langsuang.
Label: contradiction
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Sistem jo massa nan babeda-beda sarupo roket atau ember jo lubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum partamo Newton indak dapek digunoan sacaro langsuang.
Label: contradiction
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Untuak sistem jo massa nan indak barubah, hukum kaduo Newton dapek digunoan langsuang.
Label: entailment
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Hukum Newton bahubuangan jo fenomena fisik.
Label: entailment
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Hukum Newton dipublikasikan pado mulonyo dalam bahaso Parancih.
Label: neutral
Language: min
Premise: Sistem jo massa nan babeda-beda sarupo roket atau ember nan balubang biasonyo indak dapek dihituang sarupo sistem partikel, sahinggo hukum kaduo Newton indak dapek digunoan sacaro langsuang.
Hypothesis: Hukum Newton mulai dikenal pado awal 1800-an.
Label: neutral
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Teorema Terakhir Fermat (Fermat's Last Theorem) diciptakan dek Pierre de Fermat sabalun abaik ka-17.
Label: contradiction
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Fermat's Last Theorem adolah teorema matematika nan indak populer bana.
Label: contradiction
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Pierre de Fermat manciptakan teorema akhia Fermat pado abaik ka-17.
Label: entailment
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Fermat's Last Theorem diusulkan sabalun abaik ka-20.
Label: entailment
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Fermat manamukan teorema iko katiko inyo baumua 25 taun.
Label: neutral
Language: min
Premise: Teorema Terakhir Fermat (Fermat's Last Theorem) adolah salah satu teorema nan paliang tanamo dalam matematika, nan diciptakan dek Pierre de Fermat pado abaik ka-17.
Hypothesis: Fermat adolah ahli matematika dari Parancih.
Label: neutral
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Goro Shimura jo Yutaka Taniyama manaliti kurva elips jo bantuak modular salamo labiah dari 1955 taun.
Label: contradiction
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Goro Shimura jo Yutaka Taniyama adolah ahli biologi.
Label: contradiction
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Goro Shimura jo Yutaka Taniyama adolah ahli matematika.
Label: entailment
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Pado patangahan abaik ka-20, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, yaitu kurva elips jo bantuak modular.
Label: entailment
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Goro Shimura jo Yutaka Taniyama manaliti kurva elips jo bantuak modular salamo labiah dari 10 taun.
Label: neutral
Language: min
Premise: Sakitar taun 1955, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Hypothesis: Sakitar taun 1955 pado bulan Desember, ahli matematika Japang Goro Shimura jo Yutaka Taniyama mangamati kamungkinan hubuangan antaro duo bidang nan babeda dalam matematika, iyolah kurva elips jo bantuak modular.
Label: neutral
Language: min
Premise: Pado taun 1984, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Hypothesis: Pado taun 1983, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Label: contradiction
Language: min
Premise: Pado taun 1984, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Hypothesis: Pado taun 1983, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo hukum Newton (kini disabuik teorema modularitas).
Label: contradiction
Language: min
Premise: Pado taun 1984, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Hypothesis: Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo Konjektur Taniyama-Shimura-Weil sabalun taun 1990.
Label: entailment
Language: min
Premise: Pado taun 1984, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Hypothesis: Gerhard Frey malakuan panalitian nan takaik jo pasamoan Fermat jo teorema modularitas.
Label: entailment
Language: min
Premise: Pado taun 1984, Gerhard Frey mangamati hubuangan antaro persamaan Fermat jo dugaan Taniyama-Shimura-Weil (kini disabuik teorema modularitas).
Hypothesis: Gerhard Frey berhasil manamukan teori baru nan manjalehan hubungan antaro pasamoan Fermat jo teorema modularitas.
Label: neutral