google/LoraxBench huggingface dataset:
Language: iba
Premise: Piala Tiger bermula taun 1996 di Singapura.
Hypothesis: Piala Tiger 1996 diatur di Indonesia.
Label: contradiction
Language: iba
Premise: Piala Tiger bermula taun 1996 di Singapura.
Hypothesis: Piala Tiger pertama dipertandingkan di Singapura.
Label: entailment
Language: iba
Premise: Piala Tiger bermula taun 1996 di Singapura.
Hypothesis: Enda bisi Piala Tiger leman 1990.
Label: entailment
Language: iba
Premise: Piala Tiger bermula taun 1996 di Singapura.
Hypothesis: Singapura menang Piala Tiger 1996.
Label: neutral
Language: iba
Premise: Piala Tiger bermula taun 1996 di Singapura.
Hypothesis: Indonesia pernah jadi tuai rumah Piala Tiger.
Label: neutral
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Semifinal piala Tiger 2002 tandingkan Indonesia lawan Thailand.
Label: contradiction
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Thailand kalah bak Piala Tiger 2002.
Label: contradiction
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Thailand nyadi juara Piala Tiger dua kale berturut-turut.
Label: entailment
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Indonesia menang bak Semifinal Piala Tiger 2000.
Label: entailment
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Indonesia ngalahkan Thailand bak final Piala Tiger 1998.
Label: neutral
Language: iba
Premise: Pada Piala Tiger 2000 enggau 2002 terjadi final "el classico ASEAN" ti semua Thailand te menang pengudah berturut-turut ngalahkan Indonesia bak final.
Hypothesis: Thailand memenangkan Piala Tiger lebeh mayuh ari Indonesia sejak pertama kale diselenggarakan.
Label: neutral
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Finlandia kalah dalam milih tuan rumah kejuaraan dunya te pertama.
Label: contradiction
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Kejuaraan dunya barok diselenggarakan bak Stuttgart.
Label: contradiction
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Tuan rumah kejuaraan dunya te pertama ialah Finlandia.
Label: entailment
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Stuttgart enda terpilih nyadi penyelenggara kejuaraan dunya pertama.
Label: entailment
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Diwan IAAF nunyok juri ti betugas pada kejuaraan dunya.
Label: neutral
Language: iba
Premise: Pengudah kota Stuttgart, Jerman Barat ngau Helsinki, Finlandia nyalon direk, Diwan IAAF memutuskan Helsinki sebagai tempat penyelenggaraan kejuaaran dunya ti pertama.
Hypothesis: Finlandia ngabak dirik agi sebagai tempat penyelenggara kejuaraan dunya selanjutnya.
Label: neutral
Language: iba
Premise: Kejuaraan Dunya Atletik te pertama pada taun 1983 hanya bisi 1300 atlet nitih tok ari 154 negara, sedangkan pada taun 2003 bisi 1907 atlet nitih ari 203 negara.
Hypothesis: Kurang ari seribu atlet nyadi peserta kejuaraan dunya atletik taun 1983.
Label: contradiction
Language: iba
Premise: Kejuaraan Dunya Atletik te pertama pada taun 1983 hanya bisi 1300 atlet nitih tok ari 154 negara, sedangkan pada taun 2003 bisi 1907 atlet nitih ari 203 negara.
Hypothesis: Sekitar 1300 atlet nitih kejuaraan dunya atletik bak taun 2003.
Label: contradiction
Language: iba
Premise: Kejuaraan Dunya Atletik te pertama pada taun 1983 hanya bisi 1300 atlet nitih tok ari 154 negara, sedangkan pada taun 2003 bisi 1907 atlet nitih ari 203 negara.
Hypothesis: Lebeh ari 200 negara kalak nganjung atlet ia ke kejuaraan dunya atletik.
Label: entailment
Language: iba
Premise: Kejuaraan Dunya Atletik te pertama pada taun 1983 hanya bisi 1300 atlet nitih tok ari 154 negara, sedangkan pada taun 2003 bisi 1907 atlet nitih ari 203 negara.
Hypothesis: Jumlah peserta kejuaraan dunya atletik taun 2003 namb'ah ari penyelenggaraan pertama.
Label: entailment
Language: iba
Premise: Kejuaraan Dunya Atletik te pertama pada taun 1983 hanya bisi 1300 atlet nitih tok ari 154 negara, sedangkan pada taun 2003 bisi 1907 atlet nitih ari 203 negara.
Hypothesis: Hanya 154 negara nitih dalam kejuaraan dunya atletik sebedau taun 2003.
Label: neutral
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Hukum Gossen I ntusoi ialah pemuas ari siku hal ti dijalaikan secara terus menerus kan berakeir pada kenikmatan
Label: contradiction
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Hukum Gossen te pertama tusoi ialah pemuas akan siku hal ti dilakukan secara bersamaan tau' berakhir pada kejenuhan
Label: entailment
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Ide dasar Hukum Gossen te pertama ngambik ari kebenaran berdasar uleh pengalaman ari relasi antar kebutuhan urang ngau pemuas kebutuhan sidak
Label: entailment
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Hukum Gossen te pertama ngambik ari teori ahli ekonomi pada masa lalu
Label: neutral
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Cuntoh pelaksanaan hukum tok terutama tau tepedak bak keidupan kota dini kebutuhan akan siko utai selalu berubah seiring bejalai waktu
Label: neutral
Language: iba
Premise: Hukum Gossen pertama ialah generalisasi ari kebenaran berdasarkan pengalaman enti pemuas keperluan ari siku jenis barang tertentu dilakukan selalu, nikmat nyak akan selalu berkurang sampai gau capai siku kejenuhan
Hypothesis: Saat kebutuhan akan siku utai dah terpuaskan, urang lebieh beralih ke utai lain sebedau didapat ia
Label: neutral
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Enda sama ngau hukum Gossen pertama, hukum Gossen kedua lebeh pada pemuasan kebutuhan ke siku utai
Label: contradiction
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Hukum Gossen pertama ngau kedua dikelumpokkan sebagai Hukum Guna Vertikal
Label: contradiction
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Te enda sama di antara kedua hukum nyak ialah pada jumlah utai ti tepuas
Label: entailment
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Kedua hukum Gossen sama-sama ngebahas tentang pemuasan terhadap utai
Label: entailment
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Kedua hukum Gossen bisi peringkat aplikasi ti sama bak idup urang
Label: neutral
Language: iba
Premise: Hukum Gossen 2 ialah mega hukum tuk Horizontal laban madah pemuasan hadap macam-macam utai, sedangkan hukum Gossen 1 ialah hukum semina bahas pemuasan siku utai
Hypothesis: Hukum Gossen mayuh nyadi pembelaja bakani kebutuhan urang tau memengaruhi rega bandar
Label: neutral
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Hukum Pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti dijelaskan uleh Gregor Johann Mendel dalam karya ia "Perujian pasal Persilangan Binatang"
Label: contradiction
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Hukum Pewarisan sifat bedau kalak ditulis uleh Mendel dalam bentuk karya ilmiah
Label: contradiction
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Gregor Johann Mendel bisi nitih keilmuan dalam bidang genetika
Label: entailment
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Mendel mendelai hukum pewarisan sifat dalam salah satu karya tulisnya.
Label: entailment
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Hukum pewarisan sifat ditemukan sebedau taun 1800an
Label: neutral
Language: iba
Premise: Hukum pewarisan Mendel ialah hukum pasal pewarisan sifat pada organisme ti ntusi uleh Gregor Johann Mendel dalam karya ia 'Perujian pasal Persilangan Tanaman'
Hypothesis: Selain hukum pewarisan sifat, Mendel mega bisi nitih dalam teori evolusi
Label: neutral
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Gen nadai bentok-bentok lain ti ngatur mayuh variasi pada karakter turunan ia
Label: contradiction
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Gen bisi bentuk ti sama
Label: contradiction
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Gen bisi beberapa bentok
Label: entailment
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Bentok gen memengaruhi mayuh variasi karakter turunan ia
Label: entailment
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Bentok gen ti adai kak mansia variasi ia lebeh mayuh ari variasi pada gen tumbuhan
Label: neutral
Language: iba
Premise: Gen bisi bentok-bentok lain ti ngatur mayoh variasi pada karakter turunan ia
Hypothesis: Sampai saat tuk, bisi lebeh ari 1000 bentok lain ari gen
Label: neutral
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau cB pada gamar 2), alel dominan (S tauka B) kak selal terekspresikan (tepedak secara visual ari luar), tang dalam keadaan tertentu tauk enda tepedak
Label: contradiction
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekpresikan (enda tepedak secara visual ari luar)
Label: contradiction
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te resesif (S tauka B) kak selalu terekspresikan (tepeda secara visual ari luar
Label: contradiction
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun dua gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Label: entailment
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb dan sB pada gamar 2), alel te dominan (s tauka B) kak selalu tepedak
Label: entailment
Language: iba
Premise: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau sB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan (tepedak secara visual ari luar)
Hypothesis: Mun siku pasang gen tuk ialah dua alel ti enda sama (Sb ngau cB pada gamar 2), alel te dominan (S tauka B) kak selalu terekspresikan ngau massa ti enda sama
Label: neutral
Language: iba
Premise: Teori nilai rerata agi ahli dalam keadaan ti lebeh umom
Hypothesis: Teori nilai rerata enda ahli dalam keadaan ti lebeh umom
Label: contradiction
Language: iba
Premise: Teori nilai rerata agi ahli dalam keadaan ti lebeh umom
Hypothesis: Teori nilai rerata agi ahli dalam keadaan ti lebeh khusus
Label: contradiction
Language: iba
Premise: Teori nilai rerata agi ahli dalam keadaan ti lebeh umom
Hypothesis: Teori nilai rerata agi tauk dikena dalam keadaan ti lebeh umom
Label: entailment
Language: iba
Premise: Teori nilai rerata agi ahli dalam keadaan ti lebeh umom
Hypothesis: Teori nilai rerata agi ahlo dalam keadaan ti lebeh umom kata seurang matematikawan ari MIT
Label: neutral
Language: iba
Premise: Teori nilai rerata agi ahli dalam keadaan ti lebeh umom
Hypothesis: Teori nilai rerata agi ahlo dalam keadaan ti lebeh umom, hal tuk baru jak dibuktikan uleh Prof. Hassan dalam beritakan terbaru ia
Label: neutral
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Sistem ngau massa ti berubah-ubah macam roket atau emer ti berlubang biasa endai tauk diitung macam sisterm partikel, adu hukum kedua Newton tauk dikena langsung
Label: contradiction
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Sistem ngau massa ti berubah-ubah macam roket atau emer ti berlubang biasa endai tauk diitung macam sistem partikel, maka hukum te pertama Newton endai tauk dikena langsung
Label: contradiction
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Tuk sistem ngau massa ti enda berubah maka hukum kedua Newton tauk dikena langsung
Label: entailment
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Hukum Newton berhubungan ngau fenomena fisika
Label: entailment
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Hukum Newton diberitakan tumu ia bak Perancis
Label: neutral
Language: iba
Premise: Sistem ngau massa ti berubah-ubah macam roket atau emer ti  berlubang biasa endai tauk diitung macam sistem partikel, adu hukum kedua Newton endai tauk dikena langsung
Hypothesis: Hukum Newton mula bekelala pada awal taun 1800an
Label: neutral
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Teori terakhir Fermat (Fermat's Last Theorem) ti nemu uleh Pierre de Fermat sebedau abad ke17
Label: contradiction
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Fermat's Last Theorem ialah teori matematika ti enda terlalu bekelala
Label: contradiction
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Pierre de Fermat ti nemu teorema terkahir Fermat pada abat ke17
Label: entailment
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Fermat's Last Theorem ti nemu sebedau abad ke20
Label: entailment
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Fermat ti nemu teori nyak pas ia agi umor 25 taun
Label: neutral
Language: iba
Premise: Teori terakhir Fermat (Fermat's Last Theorem) ialah salah siku teori paling bekelala dalam matematika, ti nemu uleh Pierre de Fermat pada abad ke17
Hypothesis: Fermat ialah seurang matematikawan ari Perancis
Label: neutral
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Goro Shimura ngau Yutaka Taniyama nguji kurva eliptik ngau bentok modular selama lebeh ari 1955 taun
Label: contradiction
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Goro Shimura ngau Yutaka Taniyama ialah ahli dalam ilmu biologi
Label: contradiction
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Goro Shimura ngau Yutaka Taniyama ahli dalam bidang matematika
Label: entailment
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Antara abad ke-20, matematikawan Jepang Gori Shimura ngau Yutaka Taniyama ngamat ulih hubungan antar dua bidang berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Label: entailment
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Goro Shimura ngau Yutaka Taniyama nguji kurva eliptik ngau bentok modular selama lebeh ari 10 taun
Label: neutral
Language: iba
Premise: Sekitar 1955, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama ngamat ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik ngau bentok modular
Hypothesis: Sekitar 1955 bak bulan Disember, matematikawan Jepang Goro Shimura enggau Yutaka Taniyama nguji ulih hubungan antar dua utai berbeda dalam matematika, ialah kurva eliptik enggau bentok modular
Label: neutral
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Pada 1983, Gerhard Frey nguji siku hubungan antar persamaan antara Fermat ngau Konjektur Taniyama-Shimura-Weil (diatu benama Teori Modularitas)
Label: contradiction
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Pada 1983, Gerhard Frey nguji siku hubungan antara persamaan Fermat ngau Hukum Newton (diatu bernama teori modularitas)
Label: contradiction
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Gerhard Frey nguji siku hubungan antar persamaan Fermat ngau Konjektur Taniyama-Shimura-Weil sebedau taun 1990
Label: entailment
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Gerhard Frey gaga nguji enggau persamaan Fermat ngau Teori modularitas
Label: entailment
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Gerhard Frey berhasil nemu teori baru ti tusi hubungan antara persamaan Fermat ngau Teori Modularitas
Label: neutral
Language: iba
Premise: Pada 1984, Gerhard Frey mengamati siku hubungan antara persamaan Fermat ngau Kojektur Taniyama-Shimur-Weil (diatu benama teorema madularitas)
Hypothesis: Pada 1984, Gerhard Frey ngau beberapa mahasiswa doktoral nguji siku hubungan antara persamaan Fermat ngau Konjektur Taniyama-Shimura-Weil (diatu benama teori modularitas)
Label: neutral
Language: iba
Premise: Adai beberapa generalisasi ari persamaan Fermat ke persamaan ti lebeh umum ti ulih bisi eksponen n nyadi bilangan bulat negatif tauka rasional, tuk menimbang tiga eksponen enda sama
Hypothesis: Adai beberapa generalisasi ari persamaan Fermat ke persamaan ti lebeh khusus ti ulih bisi eksponen n nyadi bilangan bulat negatif tauka rasional, tuk nguji tiga eksponen berbeda
Label: contradiction
Language: iba
Premise: Adai beberapa generalisasi ari persamaan Fermat ke persamaan ti lebeh umum ti ulih bisi eksponen n nyadi bilangan bulat negatif tauka rasional, tuk menimbang tiga eksponen enda sama
Hypothesis: Persamaan Fermat enda bisi generalisasi
Label: contradiction
Language: iba
Premise: Adai beberapa generalisasi ari persamaan Fermat ke persamaan ti lebeh umum ti ulih bisi eksponen n nyadi bilangan bulat negatif tauka rasional, tuk menimbang tiga eksponen enda sama
Hypothesis: Bentok ti lebih umom ari persamaan Fermat tauk dikena tuk eksponen n nyadi bilangan negatif
Label: entailment
Language: iba
Premise: Adai beberapa generalisasi ari persamaan Fermat ke persamaan ti lebeh umum ti ulih bisi eksponen n nyadi bilangan bulat negatif tauka rasional, tuk menimbang tiga eksponen enda sama
Hypothesis: Persamaan Fermat tuk ditemu sebedau taun 1900
Label: neutral