minimario/FOLIO huggingface dataset:
Premises:
ETS develops various standardized tests primarily in the United States for K-12 and higher education. 
ETS administers international tests including the TOEFL, TOEIC, GRE and subject tests in more than 180 countries.
Many of the assessments ETS develops are associated with entry to the US tertiary and quaternary education institutions. 
ETS also develops K-12 statewide assessments used for accountability testing in many states.

Premises in first-order logic:
∃x (Develops(ets, x) ∧ StandardizedTest(x) ∧ In(x, unitedstates) ∧ For(x, k-12andhighereducation))
∃x (Administers(ets, x) ∧ InternationalTest(x) ∧ (TOEFL(x) ∨ TOEIC(x) ∨ GRE(x) ∨ SubjectTests(x)))
∃x (Develops(ets, x) ∧ AssociatedWith(x, entrytouseducationinstitutions))
∃x (Develops(ets, x) ∧ StateWideAssesment(x) ∧ UsedFor(x, accountabilitytesting))

Conclusion: ETS develops assessments for K-12 statewide as well as entry to US tertiary and quaternary education institutions.
Label: True

Conclusion: ETS doesn't administer tests internationally.
Label: False

Conclusion: ETS administers international tests including the TOEFL, GRE and subject tests in China.
Label: Unknown
Premises:
All people who enjoy eating gelato ice cream would enjoy a vacation to Italy.
There are no people who can resist the hallmark delectable drinks and desserts that are famed in Italy.
People either enjoy eating gelato ice cream or love to travel and vacation often.
If people often take study abroad semesters to Europe, then they do not regret their college experiences.
If people love to travel and vacation often, then they often take study abroad semesters to Europe.
Robert either enjoys eating gelato ice cream and loves to travel and vacation often, or he neither enjoys eating gelato ice cream nor loves to travel and vacation often.

Premises in first-order logic:
∀x (Gelato(x) → Italy(x))
∀x (¬Resist(x))
∀x (Gelato(x) ∨ Travel(x))
∀x (Europe(x) → ¬Regret(x))
∀x (Travel(x) → Europe(x))
(Gelato(robert) ∧ Travel(robert)) ∨ (¬Gelato(robert) ∧ ¬Travel(robert))

Conclusion: Robert can resist the hallmark delectable drinks and desserts that are famed in Italy.
Label: False

Conclusion: If Robert either would both enjoy a vacation to Italy and regrets his college experiences or neither would enjoy a vacation to Italy nor regrets his college experiences, then Robert would either enjoy a vacation to Italy or, if not, then he can resist the hallmark delectable drinks and desserts that are famed in Italy.
Label: True

Conclusion: If Robert is not both a person who can resist the hallmark delectable drinks and desserts that are famed in Italy and regrets his college experiences, then Robert either enjoys eating gelato ice cream or would enjoy a vacation to Italy.
Label: False
Premises:
To get a student visa, you must be full-time enrolled in an academic program.
Those who are full-time enrolled in an academic program can not work full-time.
Everyone who wants to study abroad needs to have a student visa.
All PhD graduates can work full time. 
If Tom does not want to study abroad, he is full-time enrolled in an educational program.

Premises in first-order logic:
∀x (StudentVisa(x) → FullTimeAcademic(x))
∀x (FullTimeAcademic(x) → ¬WorkFullTime(x))
∀x (StudyAbroad(x) → StudentVisa(x))
∀x (PhdGraduate(x) → WorkFullTime(x))
¬StudyAbroad(tom) → FullTimeAcademic(tom)

Conclusion: Tom is a PhD graduate.
Label: False

Conclusion: Tom is not a PhD graduate.
Label: True

Conclusion: Tom wants to study abroad.
Label: Unknown
Premises:
The installment sales method is the approach to recognize revenue under the US GAAP.
In accrual accounting, revenues are recognized when they are realized.
In cash accounting, revenues are recognized when cash is received.
The US GAAP is the accounting standard developed and used by the US Securities and Exchange Commission.
Sally works for the US Securities and Exchange Commission.

Premises in first-order logic:
∀x (UsesGAAP(x) → UsesInstallmentMethod(x))
∀x (UsesAccruralAccounting(x) → RecognizedWhen(revenues, realized))
∀x (UsesCashAccounting(x) → RecognizedWhen(revenues, cashrecieved))
DevelopedBy(usgaap, ussecuritiesandexchangecommission) ∧ UsesGAAP(ussecuritiesandexchangecommission)
WorksFor(sally, ussecuritiesandexchangecommission)

Conclusion: Sally's company utilizes the installment sales method.
Label: True

Conclusion: The company Sally works for performs accrual accounting.
Label: Unknown

Conclusion: Sally does not work for a company that uses the GAAP.
Label: False
Premises:
All people who are respected by others are people who contribute to the country. 
If a person is respected by others, then he/she contributes to the country. 
All people available to have a visit without any fees are those respected by others. 
All Customers who once served in the army are available to have a visit without any fees. 
All people who once were sentenced for thief stayed in prison for some time. 
All people who once stayed in prison for some time have a bad record in the local state. 
James was either once sentenced for thief or stayed in prison for some time. 
James is either with a bad record in the local state or respected by others. 

Premises in first-order logic:
∀x (Respected(x) → ContributeToCountry(x))
∀x (Respected(x) → ContributeToCountry(x))
∀x (HaveVisitWithoutAnyFees(x) → Respected(x))
∀x (Army(x) → HaveVisitWithoutAnyFees(x))
∀x (Thief(x) → Prison(x))
∀x (Prison(x) → BadRecord(x))
Thief(james) ⊕ Prison(james) 
BadRecord(james) ⊕ Respected(james)

Conclusion: James contributes to the country.
Label: Unknown

Conclusion: James does not contribute to the country.
Label: Unknown

Conclusion: James contributes to the country, and he once served in the army.
Label: False

Conclusion: James did not contribute to the country and did not serve in the army.
Label: True
Premises:
The Croton River watershed is the drainage basin of the Croton River.
The Croton River is in southwestern New York.
Water from the Croton River watershed flows to the Bronx.
The Bronx is in New York.

Premises in first-order logic:
DrainageBasinOf(crotonriverwatershed, crotonriver)
In(crotonriver, southwesternnewyork)
∃x (Water(x) ∧ From(x, crotonriverwatershed) ∧ FlowsTo(x, bronx))
In(bronx, newyork)

Conclusion: Water from the Croton River watershed flows to somewhere in New York.
Label: True

Conclusion: The Croton River watershed is in the Bronx.
Label: Unknown

Conclusion: Water from the Croton River flows to the Bronx.
Label: Unknown
Premises:
All nuclear-powered submarines are warships.
No nuclear-powered submarines are commercial vessels.

Premises in first-order logic:
∀x (NuclearPoweredSubmarine(x) → Warship(x))
∀x (NuclearPoweredSubmarine(x) → ¬CommercialVessel(x))

Conclusion: Some warships are commercial vessels.
Label: Unknown
Premises:
If a album is written by a rock band, then the genre of the album is rock.
If a band writes a album winning an award, then this band wins this award.
Trouble at the Henhouse is an album by The Tragically Hip.
The Tragically Hip is a Canadian rock band.
The song "Butts Wigglin'" is in Trouble at the Henhouse.
Trouble at the Henhouse won the Album of the Year award.
A song in Trouble at the Henhouse appeared in a film.

Premises in first-order logic:
∀x ∀y ∀z (AlbumByBand(x, y) ∧ RockBand(y, z) → Genre(x, rock))
∀x ∀y ∀z (AlbumByBand(x, y) ∧ AlbumAward(x, z) → RockBandAward(y, z))
AlbumByBand(trouble_at_the_Henhouse, the_Tragically_Hip)
RockBand(the_Tragically_Hip, canada)
SongInAlbum(butts_Wigglin, trouble_at_the_Henhouse)
AlbumAward(trouble_at_the_Henhouse, the_Album_of_the_Year)
∃x (SongInFilm(x) ∧ SongInAlbum(x, trouble_at_the_Henhouse))

Conclusion: The genre of Trouble at the Henhouse is rock.
Label: True

Conclusion: A canada rock band didn't win the Album of the Year award.
Label: False

Conclusion: "Butts Wigglin'" appeared in a film.
Label: Unknown
Premises:
Daniel is a software engineer and he works at Palantir Technologies.
Daniel studied bioengineering during his undergraduate at Rice University.
Daniel’s older sister works at Meta as a technical sourcer. 
Daniel’s dad and older sister both graduated from Stanford University.
Daniel’s dad is a doctor practicing internal medicine at a veteran’s hospital in Minneapolis

Premises in first-order logic:
SoftwareEngineer(daniel) ∧ WorksAt(daniel, palantirTechnologies)
 StudiedBioengineering(daniel, riceUniversity)
 WorksAtMeta(danielsOlderSister) ∧ TechnicalSourcer(danielsOlderSister)
 GraduatedFromStanfordUniversity(danielsOlderSister) ∧ GraduatedFromStanfordUniversity(danielsDad)
 DoctorPracticingInternalMedicine(danielsDad, veteransHospitalInMinneapolis)

Conclusion: Daniel once applied to Stanford University, but he couldn’t get in even though he has family members who are Stanford alumni.
Label: Unknown

Conclusion: Daniel studied bioengineering as his major at Rice University.
Label: True

Conclusion: Daniel and his sister grew up in Minneapolis, Minnesota.
Label: Unknown
Premises:
All commerical aircraft are produced by either Boeing or Airbus.
All American Airlines jets are commerical aircraft. 
Airbus made more in revenue than Boeing last year.

Premises in first-order logic:
∀x (CommercialAircraft(x) → ProducedBy(x, boeing) ⊕ ProducedBy(x, airbus))
∀x (AmericanAirlinesAircraft(x) → CommercialAircraft(x))
MoreinRevenue(airbus, boeing)

Conclusion: An American Airlines plane is either a Boeing or Airbus plane.
Label: True

Conclusion: There exists a SpaceX commerical aircraft.
Label: Unknown

Conclusion: There does not exist a United Airlines plane produced by Boeing.
Label: Unknown

Conclusion: There is a commercial plane made by both Airbus and Boeing.
Label: False
Premises:
Luzon is an island in the Philippines.
In December 1999, an earthquake struck Luzon.
People died in the December 1999 earthquake in Luzon.

Premises in first-order logic:
Island(luzon) ∧ In(luzon, philippines)
∃x (Earthquake(x) ∧ StruckIn(x, december1999) ∧ Struck(x, luzon))
∃x (Earthquake(x) ∧ StruckIn(x, december1999) ∧ Struck(x, luzon) ∧ Killed(x))

Conclusion: Leyte is an island in the Philippines.
Label: Unknown

Conclusion: No one has ever died of an earthquake that struck in the Philippines.
Label: False

Conclusion: In 1999, there was at least one earthquake in the Philippines.
Label: True
Premises:
People either invest in the public stock market regularly or enjoy gambling regularly.
If people invest in the public stock market regularly, then they read the Wall Street Journal and other newspapers regularly to keep updated on financial metrics.
All people who enjoy gambling regularly spend a lot of money at casinos and other betting games.
People who spend a lot of money at casinos and other betting games visit the Las Vegas Strip regularly.
People who spend a lot of money at casinos and other betting games have a lot of disposable income to spend.
If Matt invests in the public stock market regularly, then Matt neither has a lot of disposable income to spend nor invests in the public stock market regularly. 

Premises in first-order logic:
∀x (Invests(x) ∨ Gambling(x))
∀x (Invests(x) → Newspapers(x))
∀x (Gambling(x) → Casinos(x))
∀x (Casinos(x) → LasVegas(x))
∀x (Casinos(x) → DisposableIncome(x))
Invests(matt) → ¬DisposableIncome(matt) ∧ ¬Invests(matt)

Conclusion: Matt reads the Wall Street Journal and other newspapers regularly to keep updated on financial metrics.
Label: Unknown

Conclusion: If Matt is either both a person who has a lot of disposable income to spend and invests in the public stock market regularly, or neither has a lot of disposable income to spend nor invests in the public stock market regularly, then Matt neither visits the Las Vegas Strip regularly nor reads the Wall Street Journal and other newspapers regularly to keep updated on the financial metrics.
Label: True

Conclusion: If Matt is either a person who has a lot of disposable income to spend or reads the Wall Street Journal and other newspapers regularly, then Matt neither has a lot of disposable income to spend nor visits the Las Vegas Strip Regularly.
Label: False
Premises:
All students learning piano can strike the right notes. 
All students who can strike the right note can get the rhythms right. 
If a student can get the rhythms right, he will start working on coordination between the left and the right hands. 
Some students who start working on coordination between the left and the right hands become good at it. The other students find it challenging. 
If John can strike the right notes, get the rhythms right and is good at coordination between right and left hands, then he puts emotions into his playing. 
John is a student learning piano. 
John does not find coordination between the left and the right hands challenging. 

Premises in first-order logic:
∀x (Student(x) ∧ LearningPiano(x) → StrikeRightNotes(x))
∀x (Student(x) ∧ StrikeRightNotes(x) → GetRhythmRight(x))
∀x (Student(x) ∧ GetRhythmRight(x) → StartCoordination(x))
∀x (Student(x) ∧ StartCoordination(x) → GoodAtCoordination(x) ⊕ FindCoordinationChallenging(x))
StrikeRightNotes(john) ∧ GetRhythmRight(john) ∧ GoodAtCoordination(john) → PutEmotion(john)
Student(john) ∧ LearningPiano(john)
¬FindCoordinationChallenging(john)

Conclusion: John can get the rhythms right.
Label: True

Conclusion: John does not put emotions into his playing.
Label: False
Premises:
Barbara Ann Marshall is a former swimmer and former world record-holder.
Barbara Ann Marshall participated in the 1972 Summer Olympics.
Barbara Ann Marshall's home country is the United States.
All people who compete in the 1972 Summer Olympics represent their home country.
Barbara Ann Marshall participated in the preliminary heat in the freestyle relay.
Barbara Ann Marshall did not participate in the event final of the 1972 Summer Olympics freestyle relay.
Only relay swimmers who participated in the event final received medals.

Premises in first-order logic:
FormerSwimmer(barbaraannmarshall) ∧ FormerWorldRecordHolder(barbaraannmarshall)
ParticipatedIn(barbaraannmarshall, summer1972olympics)
HomeCountry(barbaraannmarshall, unitedstates)
∀x ∃y (ParticipatedIn(x, summer1972olympics) ∧ HomeCountry(x, y) → Represented(x, y))
ParticipatedIn(barbaraannmarshall, preliminaryheatfreestylerelay)
¬ParticipatedIn(barbaraannmarshall, finalheatfreestylerelay)
∀x ((RelaySwimmer(x) ∧ ¬ParticipatedIn(x, finalheatfreerelay)) ↔ ¬Recieved(x, medal)))

Conclusion: Barbara Ann Marshall did not receive medals.
Label: Unknown

Conclusion: Barbara Ann Marshall represented the United States in the 1972 Summer Olympics.
Label: True
Premises:
A game is played with three stages: red stage, yellow stage, and green stage.
Each player begins at the red stage.
All players must reach the yellow stage before they can reach the green stage.
The yellow stage comes after the red stage.
All players must proceed one stage at a time.

Premises in first-order logic:
∃x (Player(x))
∀x (Player(x) → StartRed(x))
∀x (Player(x) → YellowToGreen(x))
∀x (Player(x) → RedToYellow(x))
∀x (Player(x) → ¬RedToGreen(x))

Conclusion: It is possible to move to the green stage without ever reaching the yellow stage.
Label: False

Conclusion: It is possible to reach the yellow stage without ever reaching the green stage.
Label: True

Conclusion: It is possible to complete the game without ever reaching the green stage.
Label: Unknown
Premises:
People either value physical touch as an especially important love language or value words of affirmation as an especially important love language.
If a person values physical touch as an especially important love language, then they are good with pets.
No people that are good with pets are scared of animals.
People are either scared of animals or love animals.
Adam is either a person who values physical touch as an especially important love language or a person who loves animals.

Premises in first-order logic:
∀x (Physical(x) ∨ Words(x))
∀x (Physical(x) → GoodWithPets(x))
∀x (GoodWithPets(x) → ¬ScaredOfAnimals(x))
∀x (ScaredOfAnimals(x) ∨ LoveAnimals(x))
Physical(adam) ⊕ LoveAnimals(adam)

Conclusion: Adam is scared of animals.
Label: Unknown

Conclusion: Adam values words of affirmation as an especially important love language.
Label: True

Conclusion: Adam values physical touch as an especially important love language and values words of affirmation as an especially important love language.
Label: False

Conclusion: Adam either values physical touch as an especially important love language or values words of affirmation as an especially important love language.
Label: True

Conclusion: If Adam values physical touch as an especially important love language or is good with pets, then Adam values words of affirmation as an especially important love language.
Label: True
Premises:
All birds have wings.
No animal with wings is a reptile.
Some animals that fly are birds.
If something is an iguana, then it is a reptile.
John is neither an iguana nor a bird.

Premises in first-order logic:
∀x (Bird(x) → Winged(x))
∀x (Winged(x) → ¬Reptile(x))
∃x (Fly(x) ∧ Bird(x))
∀x (Iguana(x) → Reptile(x))
¬Iguana(john) ⊕ Bird(john)

Conclusion: John is a reptile.
Label: Unknown

Conclusion: John is not an iguana and an animal that can fly.
Label: True

Conclusion: John is an animal that can fly and a bird.
Label: False
Premises:
EndGame is a movie released in 2006.
EndGame was set in Washington.
EndGame was filmed outside of Washington.
Some movies are filmed in New York.
Andy Chang directed EndGame.
Andy Chang is from Hong Kong.

Premises in first-order logic:
Movie(endGame) ∧ Released(endGame, year2006)
Set(endGame, washington)
FilmedOutside(endGame, washington)
∃x (FilmedIn(x, newYork))
Directed(andyChang, endGame)
From(andyChang, hongKong)

Conclusion: EndGame was filmed in New York.
Label: Unknown

Conclusion: EndGame was not directed by someone from Hong Kong.
Label: False

Conclusion: All of Andy Chang's movies are filmed outside of Washington.
Label: Unknown
Premises:
Six, seven and eight are real numbers.
If a real number equals another real number adding one, the first number is larger.
If the number x is larger than number y, then y is not larger than x.
Seven equals six plus one.
Eight equals seven plus one.
Two is positive.
If a number is positive, then the double of it is also positive.
Eight is the double of four.
Four is the double of two.

Premises in first-order logic:
RealNum(six) ∧ RealNum(seven) ∧ RealNum(eight)
∀x ∀y (RealNum(x) ∧ RealNum(y) ∧ EqualAddOne(x, y) → Larger(x, y))
∀x ∀y (Larger(x, y) ↔ ¬Larger(y, x))
EqualAddOne(seven, six)
EqualAddOne(eight, seven)
Positive(two)
∀x ∀y ((Positive(x) ∧ EqualDouble(y, x)) → Positive(y))
EqualDouble(eight, four)
EqualDouble(four, two)

Conclusion: Eight is larger than seven.
Label: True

Conclusion: Eight is positive.
Label: True

Conclusion: Six is larger than seven.
Label: False
Premises:
A dog never tells the truth.
Some poker players are dogs.

Premises in first-order logic:
∀x (Dog(x) → NeverTellsTruth(x))
∃x (PokerPlayer(x) ∧ Dog(x))

Conclusion: Some poker players never tell the truth.
Label: True
Premises:
All Asians are human. 
All Chinese are Asian.
A man is either Chinese or British.
All British are European. 
All Spanish are European. 
No Indian is European. 
Jessee is either both an Indian and a human, or neither an Indian nor a human.

Premises in first-order logic:
∀x ( Asian(x)→  Human(x))
∀x ( Chinese(x)→  Asian(x))
∀x ( Chinese(x) ∨  British(x))
∀x ( British(x)→  European(x))
∀x ( Spanish(x)→  European(x))
∀x ( Indian(x)→ ¬ European(x))
( Indian(jesse) ∧ Human(jesse)) ⊕ (¬ Indian(jesse) ∧ ¬ Human(jesse))

Conclusion: Jesse is Chinese.
Label: Unknown

Conclusion: Jesse is not Chinese.
Label: Unknown

Conclusion: If Jesse is either an Indian or a Spanish, then Jesse is either both British and European, or neither British nor European.
Label: True
Premises:
No people who never admit a mistake are good teachers.
Some well-informed people are people who never admit a mistake.

Premises in first-order logic:
∀x (NeverAdmitMistakes(x) → ¬GoodTeacher(x))
∃x (WellInformed(x) ∧ NeverAdmitMistakes(x))

Conclusion: Some good teachers are not well-informed people.
Label: Unknown
Premises:
Philatelic literature is divided into the following categories: Stamp catalogues, Periodicals, Auction catalogues, Books, Bibliographies, and Background Material
Mort is not a Stamp catalogue.
Mort is not a periodical, auction catalogue, bibliography, or background material.
Mort is a piece of Philatelic literature.

Premises in first-order logic:
∀x (PhilatelicLit(x) → (Stamp(x) ∨ Periodical(x) ∨ Auction(x) ∨ Book(x) ∨ Bibliography(x) ∨ Background(x)))
¬Stamp(mort)
¬(Periodical(mort) ∨ Auction(mort) ∨ Bibliography(mort) ∨ Background(mort))
PhilatelicLit(mort)

Conclusion: Mort is a book
Label: True

Conclusion: Mort is background material.
Label: False

Conclusion: Eragon is a piece of Philatelic literature.
Label: Unknown
Premises:
Adventures of Rusty is a drama film and children's film.
Columbia Pictures produced Adventures of Rusty
Tintin was produced by Paramount.
Tintin is an adventure film.

Premises in first-order logic:
DramaFilm(adventuresofrusty) ∧ ChildrensFilm(adventuresofrusty)
Produced(columbiapictures, adventuresofrusty)
Produced(paramount, tintin)
AdventureFilm(tintin)

Conclusion: Columbia pictures produces drama films.
Label: True

Conclusion: Columbia pictures produces adventure films.
Label: Unknown

Conclusion: Paramount produces children's films.
Label: Unknown

Conclusion: Paramount produces adventure films.
Label: True
Premises:
Deng Xiaoping served as the paramount leader of the People's Republic of China (PRC). 
Deng Xiaoping was praised for his reaffirmation of the reform program in his Southern Tour of 1992 as well as the reversion of Hong Kong to Chinese control in 1997 and the return of Macau in 1999.
As the party's Secretary-General under Mao and Vice Premier in he 1950s, Deng Xiaoping presided over the Anti-Rightist Campaign launched by Mao.
Deng Xiaoping became instrumental in China's economic reconstruction following the disastrous Great Leap Forward (1958–1960).
Mao Zedong died in 1976.
After Mao Zedong's death, Deng Xiaoping gradually rose to supreme power.

Premises in first-order logic:
ParamountLeaderOf(dengxiaoping, prc)
PraisedFor(dengxiaoping, reaffirmationofreformprogram) ∧ PraisedFor(dengxiaoping, reversionofhongkong) ∧ PraisedFor(dengxiaoping, returnofmacau)
PartysSecretaryGeneral(dengxiaoping) ∧ Under(dengxiaoping, mao) ∧ VicePremier(dengxiaoping) ∧ PresidedOver(dengxiaoping, antirightistcampaign) ∧ LaunchedBy(antirightistcampaign, mao)
InstrumentalIn(dengxiaoping, chinaseconomicreconstruction) ∧ Following(chinaseconomicreconstruction, greatleapforward) ∧ Disastrous(greatleapforward)
DiedIn(mao, y1976)
GraduallyRoseTo(dengxiaoping, supremepower)

Conclusion: The paramount leader of the PRC was also the vice premier.
Label: True

Conclusion: Deng Xiaoping presided over something launched by someone he was under.
Label: True

Conclusion: The person instrumental in china's economic reconstruction gradually rose to supreme power.
Label: True