minimario/FOLIO huggingface dataset:
Premises:
There are eight federal districts of Russia: Central, Northwestern, Southern, North Caucasian, Volga, Ural, Siberian and Far Eastern.
The Central federal district has the largest population among all federal districts in Russia.
Moscow is the administrative center of the Central federal district.
Yekaterinburg is the administrative center of the Ural federal district.
Vladivostok is the administrative center of the Far Eastern federal district.
The Far Eastern federal district has the largest area among all federal districts in Russia.
Some federal districts of Russia were established in 2000.

Premises in first-order logic:
FederalDistrictOfRussia(central) ∨ FederalDistrictOfRussia(northwestern) ∨ FederalDistrictOfRussia(southern) ∨ FederalDistrictOfRussia(northcaucasian) ∨ FederalDistrictOfRussia(volga) ∨ FederalDistrictOfRussia(ural) ∨ FederalDistrictOfRussia(siberian) ∨ FederalDistrictOfRussia(fareastern)
FederalDistrictOfRussia(central) ∧ LargestPopulationIn(central) 
AdministrativeCenterOf(moscow, central)
AdministrativeCenterOf(yekaterinburg, ural)
AdministrativeCenterOf(vladivostok, fareastern)
FederalDistrictOfRussia(fareastern) ∧ LargestAreaIn(fareastern)
∃x (FederalDistrictOfRussia(x) → EstablishedIn(x, 2000))

Conclusion: Vladivostok is the administrative center of the federal district with the largest area.
Label: True

Conclusion: Moscow is the administrative center of the federal district with the largest population.
Label: True

Conclusion: The Northwestern federal district was established in 2000.
Label: Unknown
Premises:
All cancers are malignant tumors.
No malignant tumor can be treated at home.
All colorectal cancer is cancer.
Having a cold can be treated at home.
Breast cancer is neither having a cold nor a malignant tumor (exclusive).

Premises in first-order logic:
∀x (Cancer(x) → MalignantTumor(x))
∀x (MalignantTumor(x) → ¬CanBeTreatedAtHome(x))
∀x (ColorectalCancer(x) → Cancer(x))
∀x (HavingACold(x) → CanBeTreatedAtHome(x))
¬(HavingACold(breastCancer) ⊕ MalignantTumor(breastCancer))

Conclusion: Breast cancer can be treated at home.
Label: Unknown

Conclusion: Breast cancer is colorectal cancer.
Label: False

Conclusion: Breast cancer is not colorectal cancer.
Label: True

Conclusion: Breast cancer is colorectal cancer or a malignant tumor.
Label: False

Conclusion: Breast cancer is colorectal cancer and a cancer.
Label: False

Conclusion: If breast cancer is not colorectal cancer, then breast cancer is a malignant tumor.
Label: False
Premises:
I should not worry about things outside of my control.
Traffic is outside of my control.

Premises in first-order logic:
∀x (OutsideControl(x) → ¬ShouldWorry(x))
∀x (Traffic(x) → OutsideControl(x))

Conclusion: I should not worry about traffic.
Label: True
Premises:
Roversi is an Italian surname.
Alba Roversi uses Roversi as a surname.
Paolo Roversi uses Roversi as a surname.
Roberto Roversi uses Roversi as a surname.
Paolo Roversi is a photographer.
A photographer is a professional or an amateur.

Premises in first-order logic:
∀x (UseAsSurname(x, roversi) → UseItalianSurname(x))
UseAsSurname(alba, roversi)
UseAsSurname(paolo, roversi)
UseAsSurname(roberto, roversi)
Photographer(paolo)
∀x (Photographer(x) → Professional(x) ∨ Amateur(x))

Conclusion: Alba Roversi uses an Italian surname.
Label: True

Conclusion: There are no photographers using an Italian surname.
Label: False

Conclusion: Paolo is an amateur photographer.
Label: Unknown
Premises:
Zaha Hadid is a British-Iraqi architect, artist and designer.
Zaha Hadid was born on 31 October 1950 in Baghdad, Iraq.
Hadid was a visiting professor of Architectural Design at the Yale School of Architecture.
Max is an aspiring architecture student, and he plans to apply to Yale School of Architecture. 

Premises in first-order logic:
British-IraqiArchitect(zahaHadid)
BornIn(zahaHadid, y1950)
Visitingprofessor(zahaHadid, yaleSchoolofArchitecture)
AspiringArchitectureStudent(max) ∧ PlansToApplyTo(max, yaleSchoolofArchitecture)

Conclusion: Hadid became a UK citizen later in her life.
Label: True

Conclusion: Hadid did some work in interior design.
Label: Unknown

Conclusion: Hadid was born in 1982.
Label: Unknown

Conclusion: Max admires Zaha Hadid.
Label: Unknown
Premises:
Something is either an invasive neuroimaging technique or a noninvasive neuroimaging technique. 
All noninvasive neuroimaging techniques provide a spatial resolution of brains.
If a technique provides a spatial resolution of brains, then it is a measurement of brain activity. 
All measurements of brain activity are used by neuroscience researchers.
FMRI is either a measurement of brain activity or a noninvasive neuroimaging technique.

Premises in first-order logic:
∀x (InvasiveNeuroimagingTechnique(x) ∨ NoninvasiveNeuroimagingTechnique(x)) 
 ∀x (NoninvasiveNeuroimagingTechnique(x) → ProvidesSpatialResolutionOfBrains(x)) 
 ∀x (ProvidesSpatialResolutionOfBrains(x) → MeasurementOfBrainActivity(x)) 
 ∀x (MeasurementOfBrainActivity(x) → UsedByNeuroscienceResearchers(x))
 MeasurementOfBrainActivity(fMRI) ⊕ NoninvasiveNeuroimagingTechnique(fMRI)

Conclusion: FMRI provides a spatial resolution of brains.
Label: Unknown

Conclusion: FMRI is an invasive neuroimaging technique and is used by neuroscience researchers.
Label: True

Conclusion: FMRI is either an invasive neuroimaging technique or is used by neuroscience researchers.
Label: False

Conclusion: If fMRI is not an invasive neuroimaging technique and used by neuroscience researchers, then fMRI is neither a noninvasive neuroimaging technique nor provides a spatial resolution of brains.
Label: True
Premises:
Either present their work at the conference or provide a tutorial session at the conference. 
All who present their work at the conference will attend in person. 
All those providing a tutorial session at the conference are invited to join the club. 
All who attend the conference in person are provided with souvenirs. 
All invited to join the club are provided with delicious meals. 
All provided with delicious meals are happy to communicate with each other during the dinner. 
All provided with delicious meals are invited to take a photo with the audience. 
James does not attend the conference in person and is not provided with souvenirs.

Premises in first-order logic:
∀x ( Present(x) ∨ Tutorial(x))
∀x (Present(x) → InPerson(x))
∀x (Tutorial(x) → Invited(x))
∀x (InPerson(x) → Souvenirs(x))
∀x (Invited(x) → Meals(x))
∀x (Meals(x) → HappyCommunicate(x))
∀x (Meals(x) → InvitedTakePhoto(x))
¬(InPerson(james) ∧ Souvenirs(james))

Conclusion: James is provided with souvenirs.
Label: Unknown

Conclusion: James is not provided with souvenirs.
Label: Unknown

Conclusion: James is invited to take a photo with the audience and is happy to communicate with each other at the dinner.
Label: True

Conclusion: James is invited to take a photo with the audience or is happy to communicate with each other during the dinner.
Label: True

Conclusion: James is either invited to take a photo with the audience or happy to communicate with each other during the dinner.
Label: False
Premises:
The USS Salem is a heavy cruiser built for the United States navy.
The last heavy cruiser to enter service was the USS Salem.
The USS Salem is a museum ship.
Museum ships are open to the public.
The USS Salem served in the Atlantic and Mediterranean.

Premises in first-order logic:
HeavyCruiser(usssalem) ∧ BuiltFor(usssalem, unitedstatesnavy)
LastHeavyCruiserToEnterService(usssalem)
MuseumShip(usssalem)
∀x (MuseumShip(x) → OpenToPublic(x))
ServedIn(usssalem, atlantic) ∧ ServedIn(usssalem, mediterranean)

Conclusion: The USS Salem is open to the public.
Label: True

Conclusion: There is a museum ship open to the public that served in the Mediterranean.
Label: True

Conclusion: The USS Salem was not the last heavy cruiser to enter service.
Label: False
Premises:
TS Leda was a good passenger and cargo vessel.
TS Leda was the first Norweigian vessel that was built with stabilizers.
Stabilizers are mechanical devices that are only on ships that have powerful steam turbine engines.
 To be a good passenger and cargo vessel, ships must be quiet and good at sea.
Some ships that are quiet and good at sea have powerful steam turbine engines.

Premises in first-order logic:
∀x (TSLeda(x) → Passenger(x) ∧ CargoVessel(x))
∀x (TSLeda(x) → Norweigian(x) ∧ Stabilizers(x))
∀x (Stabilizers(x) → OnlyOnShips(x) ∧ SteamTurbine(x))
∀x (Passenger(x) ∧ CargoVessel(x) → Quiet(x) ∧ GoodSea(x))
∃x (Quiet(x) ∧ GoodSea(x) ∧ SteamTurbine(x))

Conclusion: TS Leda was quiet and good at sea.
Label: True

Conclusion: TS Leda had powerful steam turbine engines.
Label: True

Conclusion: TS Leda was not a Norweigian vessel.
Label: False
Premises:
Rosa was born in Santiago. 
Santiago is the capital and largest city of Chile.
Rosa is the daughter of a Catalan building contractor, Jose.
Jose has a Chilean wife, Carmen.
A building contractor is responsible for the day-to-day oversight of a construction site. 

Premises in first-order logic:
Born(rosa, santiago)
Capital(santiago, chile) ∧ LargestCity(santiago, chile)
Daughter(rosa, jose) ∧ BuildingContractor(jose) ∧ ¬Chilean(jose)
Wife(jose, carmen) ∧ Chilean(carmen)
∀x ∃y (BuildingContractor(x) ∧ ConstructionSite(y) → Oversee(x, y))

Conclusion: Rosa was born in the largest city of Chile.
Label: True

Conclusion: Neither of Rosa's parents is Chilean.
Label: False

Conclusion: Rosa is the daughter of someone who is responsible for the oversight of traffic.
Label: True
Premises:
Tyga is a rapper.
Rappers release rap albums.
Tyga released the Well Done 3 album.
Rappers are not opera singers.

Premises in first-order logic:
IsRapper(tyga)
ReleasedAlbum(tyga, wellDone3)
∀x ∀y (IsRapper(x) ∧ ReleasedAlbum(x, y) → IsRapAlbum(y))
∀x (IsRapper(x) → ¬IsOperaSinger(x))

Conclusion: Well Done 3 is a rap album.
Label: True

Conclusion: Tyga is an opera singer.
Label: False

Conclusion: Well Done 3 is worth listening.
Label: Unknown
Premises:
Deborah Wallace is a Scottish born actress, playwright and producer.
Psyche is a play based on the life of James Miranda Barry.
Homesick, Psyche and The Void are plays from Deborah Wallace.
Deborah Wallace co-produced Gasland.

Premises in first-order logic:
BornIn(deborahwallace, scotland) ∧ Actress(deborahwallace) ∧ Playwright(deborahwallace) ∧ Producer(deborahwallace)
Play(psyche) ∧ BasedOn(psyche, lifeofjamesmirandabarry)
Play(homesick) ∧ From(homesick, deborahwallace) ∧ Play(psyche) ∧ From(psyche, deborahwallace) ∧ Play(thevoid) ∧ From(thevoid, deborahwallace)
Co-Produced(deborahwallace, gasland)

Conclusion: Gasland was coproduced by the same person Homesick is from.
Label: True

Conclusion: There isn't a play from Deborah Wallace that is based on the life of James Miranda Barry.
Label: False

Conclusion: Gasland is a play.
Label: Unknown
Premises:
If an animal needs a large territory, then it travels far.
Everything that eats a lot needs a large territory.
If something is a big animal, then it will eat a lot.
All bears are big animals.
Larry is a big animal.

Premises in first-order logic:
∀x (NeedsLargeTerritory(x) → TravelFar(x))
∀x (EatsALot(x) → NeedsLargeTerritory(x))
∀x (BigAnimal(x) → EatsALot(x))
∀x (Bear(x) → BigAnimal(x))
BigAnimal(larry)

Conclusion: Larry is a bear.
Label: Unknown

Conclusion: Larry is neither a bear nor travels far.
Label: False

Conclusion: If Larry either travels far or needs a large territory, then Larry is a bear.
Label: True
Premises:
No criminal is kind. 
All person who breaks the law is a criminals.
People are either kind or evil.
If someone is evil, then they are ugly.
If someone is evil, then they are cold-blood.
If Garry is either evil and ugly or neither evil nor ugly, then Garry is not evil.

Premises in first-order logic:
∀x (Criminal(x) → ¬Kind(x))
∀x (BreakLaw(x) → Criminal(x))
∀x (Kind(x) ⊕ Evil(x))
∀x (Evil(x) → Ugly(x))
∀x (Evil(x) → ColdBlood(x))
((Evil(garry) ∧ Ugly(garry)) ⊕ (¬Evil(garry) ∧ ¬Ugly(garry))) → ¬Evil(garry)

Conclusion: Garry is ugly.
Label: Unknown

Conclusion: Garry is cold-blooded and breaks the law.
Label: False

Conclusion: If Garry is evil or breaks the law, then Garry is not both a criminal and breaking the law.
Label: True
Premises:
Phoneix's music is classified under the indie pop genre.
Phoenix is a band from France.
French bands write songs in French or in English.
Aside from indie pop, pop rock and synth-pop are two other genres of music.
Phoneix has no songs in French.

Premises in first-order logic:
IndiePop(phoenix)
Band(phoenix) ∧ France(phoenix)
∀x ∀y (Band(x) ∧ France(x) ∧ Make(x, y) → FrenchSong(y) ⊕ EnglishSong(y))
∀x (IndiePop(x) → ¬PopRock(x) ∧ ¬SynthPop(x))
∀x (Make(phoenix, x) → ¬FrenchSong(x))

Conclusion: Phoenix makes pop rock music.
Label: False

Conclusion: Phoenix has songs in French.
Label: False