minimario/FOLIO huggingface dataset:
Premises:
The party provides five kinds of fruits: strawberry, orange, blueberry, grape, and cherry.
All fruits are provided in the same weight at the beginning of the party.
If the fruit had the lowest remaining weight at the end of the party, then it means it was the most popular fruit.
At the end of the party, strawberries had the lowest remaining weight.
At the end of the party, the amount of leftover blueberries was lower than that of cherries.
Benjamin only ate oranges and grapes at the party.

Premises in first-order logic:
Party(strawberry) ∨ Party(orange) ∨ Party(blueberry) ∨ Party(grape) ∨ Party(cherry) 
∀x (Party(x) → SameWeight(x))
∀x (LowestAmount(x) → MostPopular(x)) 
LowestAmount(strawberries)
Lower(blueberry, cherry)
Eat(orange, benjamin) ∧ Eat(grape, benjamin) ∧ ¬Eat(blueberry, benjamin) ∧ ¬Eat(cherry, benjamin) ∧ ¬Eat(strawberry, benjamin)

Conclusion: Blueberries were the most popular fruit at the party.
Label: Unknown

Conclusion: Cherries were the most popular fruit at the party.
Label: Unknown

Conclusion: Benjamin ate blueberries at the party.
Label: False
Premises:
All students who attend in person have registered for the conference. 
Students either attend the conference in person or remotely. 
No students from China attend the conference remotely. 
James attends the conference but he does not attend the conference remotely.
Jack attends the conference and he is a student from China.

Premises in first-order logic:
∀x (Attend(x) → Registered(x))
∀x (Attend(x) → InPerson(x) ⊕ Remotely(x))
∀x ((Attend(x) ∧ China(x)) → ¬Remotely(x))
Attend(james) ∧ ¬Remotely(james)
China(jack) ∧ Attend(jack)

Conclusion: James attends the conference but not in person.
Label: False

Conclusion: Jack attends the conference in person.
Label: True

Conclusion: Jack has registered for the conference.
Label: True
Premises:
David Ha'ivri is a political strategist. 
If you are born in Israel to at least one Israeli parent, then you receive citizenship at birth. 
David Ha'ivri emigrated to the United States from Israel, where he was born to Israeli parents. 
Several Zionist leaders have been elected to the Shomron Regional Municipal council. 
David Ha'ivri is a Zionist leader. 

Premises in first-order logic:
PoliticalStrategist(davidhaivri)
∀x ∃y (BornInIsrael(x) ∧ ParentOf(x, y) ∧ Israeli(y) → IsraeliCitizen(x))
∃x (EmigratedTo(davidhaivri, america) ∧ BornInIsrael(davidhaivri) ∧ ParentOf(davidhaivri, x) ∧ Israeli(x))
∃x (ZionistLeader(x) ∧ ElectedTo(x, shomronmunicipalcouncil))
ZionstLeader(davidhaivri)

Conclusion: David Ha'ivri is an Israeli citizen.
Label: True

Conclusion: David Ha'ivri is a United States citizen.
Label: Unknown

Conclusion: David Ha'ivri has been elected to the Shomron Regional Municipal council.
Label: Unknown
Premises:
Mary has the flu.
Flu and influenza are the same disease.
Susan doesn't have influenza.

Premises in first-order logic:
Have(mary, flu)
∀x (Have(x, flu) ↔ Have(x, influenza))
¬Have(susan, influenza)

Conclusion: Either Mary or Susan has influenza.
Label: True
Premises:
James Cocks was a British lawyer.
James Cocks was a Whig politician who sat in the House of Commons.
A British is a European.
Any lawyer is familiar with laws.
Some Whigs speak French.

Premises in first-order logic:
British(james) ∧ Lawyer(james)
Whig(james) ∧ Politician(james) ∧ SatInHouseOfCommons(james)
∀x (British(x) → European(x))
∀x (Lawyer(x) → FamiliarWithLaws(x))
∃x (Whig(x) ∧ SpeakFrench(x))

Conclusion: No lawyer ever sat in the House of Commons.
Label: False

Conclusion: Some European is familiar with laws.
Label: True

Conclusion: James Cocks speaks French.
Label: Unknown
Premises:
Beasts of Prey is either a fantasy novel or a science fiction novel.
Science fiction novels are not about mythological creatures
Beasts of Prey Is about a creature known as the Shetani.
Shetanis are mythological.

Premises in first-order logic:
Novel(beastsofprey) ∧ Fantasy(beastsofprey) ∨ ScienceFiction(beastsofprey)
∀x ∀y (ScienceFiction(x) ∧ Mythological(y) ∧ Creature(y) → ¬About(x, y))
About(beastsofprey, shetani) ∧ Creature(shetani)
Mythological(shetani)

Conclusion: Beasts of prey is a fantasy novel.
Label: True

Conclusion: Beasts of prey isn't a science fiction novel.
Label: True

Conclusion: A shetani is either mythological or a creature.
Label: False
Premises:
Odell is an English surname originating in Odell, Bedfordshire.
In some families Odell is spelled O'Dell, in a mistaken Irish adaptation.
Notable people with the surname include Amy Odell, Jack Odell, and Mats Odell.
Amy Odell is a British singer-songwriter.
Jack Odell is an English toy inventor.

Premises in first-order logic:
∀x (Odell(x) → Surname(x))
∃x (Odell(x) ∧ SpelledODell(x))
Odell(amyOdell) ∧ NotablePeople(amyOdell) ∧ Odell(jackOdell) ∧ NotablePeople(jackOdell) ∧ Odell(matsOdell) ∧ NotablePeople(matsOdell)
British(amyOdell) ∧ Singer(amyOdell) ∧ SongWriter(amyOdell)
English(jackOdell) ∧ ToyInvertor(jackOdell)

Conclusion: Jack Odell is a notable people.
Label: True

Conclusion: Odell is Amy Odell's surname.
Label: True

Conclusion: Amy Odell is an English toy inventor.
Label: Unknown

Conclusion: Amy Odell is also Amy O'dell.
Label: Unknown
Premises:
If you go somewhere by train, you will not lose time.
If you go somewhere by car and meet traffic jam, you will lose time.
If you lose time, you will be late for work.
Mary can get from New Haven to New York City either by train or car.
Mary is late for work.

Premises in first-order logic:
∀x (Train(x) → ¬LoseTime(x))
∀x ((Car(x) ∧ MeetJam(x)) → LoseTime(x))
∀x (LoseTime(x) ↔ LateForWork(x))
Train(mary) ⊕ Car(mary)
LateForWork(mary)

Conclusion: Mary gets from New Haven to New York City by train.
Label: False

Conclusion: Mary gets from New Haven to New York City by car.
Label: True

Conclusion: Mary meets traffic jam.
Label: Unknown
Premises:
If a person is hungry, the person is uncomfortable.
If a person is uncomfortable, the person is unhappy.

Premises in first-order logic:
∀x (Hungry(x) → Uncomfortable(x))
∀x (Uncomfortable(x) → ¬Happy(x))

Conclusion: If a person is not hungry, the person is unhappy.
Label: Unknown
Premises:
Tipped employees do not get a guaranteed minimum wage.
If a person is a white-collar worker, they will get a guaranteed minimum wage (All white-collar workers get a guaranteed minimum wage).
All lawyers are white-collar workers.
Every advocate is a lawyer.
Mary is not a lawyer or a tipped employee.

Premises in first-order logic:
∀x (Tipped(x) → ¬GetMinWage(x))
∀x (WhiteCollar(x) → GetMinWage(x))
∀x (Lawyer(x) → WhiteCollar(x))
∀x (Advocate(x) → Lawyer(x))
¬Lawyer(mary) ⊕ Tipped(mary)

Conclusion: Mary is a white-collar worker.
Label: Unknown

Conclusion: Mary is an advocate.
Label: False

Conclusion: Mary is not an advocate.
Label: True

Conclusion: Mary is either an advocate or a tipped employee.
Label: False

Conclusion: If Mary is not an advocate and gets a guaranteed minimum wage, she is not a tipped employee.
Label: True

Conclusion: If Mary is either an advocate or a tipped employee, she is an advocate.
Label: True
Premises:
Asa Hoffmann was born in New York City.
Asa Hoffman lives in Manhattan.
Asa Hoffman is a chess player.
Some chess players are grandmasters.
People born and living in New York City are New Yorkers.
People liviing in Manhattan live in New York City.

Premises in first-order logic:
BornIn(asaHoffmann, newyorkcity)
LivesIn(asaHoffmann, manhattan)
IsChessPlayer(asaHoffmann)
∃x (IsChestPlayer(x) ∧ IsGrandMaster(x))
∀x (BornIn(x, newyorkcity) ∧ LivesIn(x, newyorkcity) → IsNewYorker(x))
∀x (LivesIn(x, manhattan) → LivesIn(x, newyorkcity))

Conclusion: Asa Hoffmann is a New Yorkers.
Label: True

Conclusion: Asa Hoffmann is a grandmaster.
Label: Unknown

Conclusion: Asa Hoffmann does not live in New York.
Label: False
Premises:
Some of those who apply for a Schengen Visa get it.
To apply for a Schengen Visa, you need to provide financial guarantees.
If you need to provide financial guarantees, you must request documents from the bank.
Do not close your bank account if you request documents from the bank.
Philip closed his bank account.

Premises in first-order logic:
∃x (ApplyVisa(x) → GetVisa(x))
∀x (ApplyVisa(x) → FinancialGuarantees(x))
∀x (FinancialGuarantees(x) → RequestDocuments(x))
∀x (RequestDocuments(x) → ¬CloseBankAccount(x))
CloseBankAccount(philip)

Conclusion: Philip got a Schengen Visa.
Label: Unknown

Conclusion: Philip applied for a Schengen Visa and got it.
Label: False

Conclusion: If Philip did not request documents from the bank or get a Schengen Visa, he didn’t apply for a Schengen Visa.
Label: True
Premises:
Some fears lead to anxiety.
Some anxiety leads to terror.

Premises in first-order logic:
∃x (Fear(x) ∧ Anxiety(x))
∃x (Anxiety(x) ∧ Terror(x))

Conclusion: No fears lead to terror.
Label: Unknown
Premises:
The Great Lakes are Lake Superior, Lake Michigan, Lake Huron, Lake Erie, and Lake Ontario.
Some major settlements of Lake Erie are in NY, PA, OH, and MI.
NY, PA, OH, MI are states in the US.
ON is a state of Canada.
There is a major settlement of Lake Huron in ON. 
All states are in their country.
The US is in North America.
The Great Lakes began to form at the end of the Last Glacial Period.

Premises in first-order logic:
∀x (GreatLake(x) → Superior(x) ∨ Michigan(x) ∨ Huron(x) ∨ Erie(x) ∨ Ontario(x))
∃x ∀y (Erie(y) ∧ MajorSettlementOf(x, y) ∧ In(x, ny) ∨ In(x, pa) ∨ In(x, oh) ∨ In(x, mi))
State(ny, us) ∧ State(pa, us) ∧ State(oh, us) ∧ State(mi, us)
State(on, canada)
∃x ∀y (Huron(y) ∧ MajorSettlementOf(x, y) ∧ In(x, on))
∀x ∀y (State(x, y) → In(x, y))
In(us, northamerica)
∀x (GreatLake(x) → FormAtEndOf(x, lastglacialperiod))

Conclusion: Lake Erie has a major settlement.
Label: True

Conclusion: There is a great lake that did not form at the end of the Last Glacial Period.
Label: False
Premises:
All defenders are soccer players.
No soccer players are professional basketball players.
All centerbacks are defenders.
All NBA players are professional basketball players.
If Stephen Curry is not an NBA player, then Stephen Curry is not an NBA player or a soccer player.

Premises in first-order logic:
∀x (Defender(x) → SoccerPlayer(x))
∀x (SoccerPlayer(x) → ¬ProfessionalBasketballPlayer(x))
∀x (CenterBack(x) → Defender(x))
∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x))
¬NBAPlayer(stephencurry) → ¬(NBAPlayer(stephencurry) ⊕ SoccerPlayer(stephencurry))

Conclusion: Stephen Curry is a professional basketball player.
Label: Unknown

Conclusion: Stephen Curry is a centerback.
Label: False

Conclusion: Stephen Curry is not a centerback.
Label: True
Premises:
Naive cynicism was proposed by Justin Kruger and a colleague.
Thomas Gilovich is a colleague of Justin Kruger. 
Naive cynicism is a philosophy of mind.

Premises in first-order logic:
Proposed(justinKruger, naiveCynicism) ∧ Proposed(colleagueOfJustinKruger, naiveCynicism) 
Colleague(thomasGilovich, justinKruger)
PhilosophyOfMind(naiveCynicism)

Conclusion: Thomas Gilovich proposed naive cynicism.
Label: Unknown

Conclusion: Justin Kruger propose a philosophy of mind.
Label: True

Conclusion: Thomas Gilovich worked on philiophies of mind.
Label: Unknown
Premises:
The Turing Award has been awarded to Donald Knuth, Marvin Minsky, Richard Hamming and John McCarthy. 
Donald Knuth made major contributions to the analysis of algorithms.
Marvin Minsky is recognized by his contributions to the field of artificial intelligence.
Richard Hamming did research on numerical methods.
John McCarthy had a central role in creating and shaping the field of artificial inteligence. 

Premises in first-order logic:
TuringAwarded(donaldKnuth) ∧ TuringAwarded(marvinMinsky) ∧ TuringAwarded(richardHamming) ∧ TuringAwarded(johnMccarthy)
ContributedTo(donaldKnuth, algorithms)
ContributedTo(marvinMinsky, ai)
ContributedTo(richardHamming, numericalMethods)
ContributedTo(johnMccarthy, ai)

Conclusion: At least two people who have won the Turing Award worked in the field of artificial intelligence.
Label: True

Conclusion: At least two people who worked in the field of artificial intelligence have won the Turing Award.
Label: True

Conclusion: Only one people who have won the Turing Award made significant contributions to the analysis of algorithms.
Label: Unknown

Conclusion: No Turing Award winners worked in the field of numerical methods.
Label: False
Premises:
No easy Leetcode problems have an AC rate lower than 20 percent. 
All Leetcode problems recommended to novices are easy.                                                                                                       
Leetcode problems either have an AC rate lower than 20 percent or are starred by more than 1 thousand users. 
All hard Leetcode problems are starred by more than 1 thousand users. 
No Leetcode problems published after 2022 are starred by more than 1 thousand users. 
2Sum is not recommended to novices and hard. 
4Sum is either starred by more than 1 thousand users and published after 2022, or neither starred by more than 1 thousand users nor published after 2022. 

Premises in first-order logic:
∀x (Easy(x) → ¬LowerAC(x))
∀x (Recommended(x) → Easy(x))
∀x (LowerAC(x) ⊕ Starred(x))
∀x (Hard(x) → Starred(x))
∀x (PublishedAfter2022(x) → ¬Starred(x))
¬(Recommended(twosum) ∧ Hard(twosum))
¬(Starred(foursum) ⊕ PublishedAfter2022(foursum))

Conclusion: 2Sum is an easy Leetcode problem.
Label: Unknown

Conclusion: 2Sum is not an easy Leetcode problem.
Label: Unknown

Conclusion: 4Sum is a Leetcode problem recommended to the novice or is hard.
Label: False

Conclusion: 4Sum is neither a 2Sum Leetcode problem recommended to the novice nor a Leetcode problem that's hard.
Label: True
Premises:
Show Your Love is a song recorded by the South Korean boy band BtoB 4u.
The lead single of the extended play Inside is Show Your Love.
Show Your Love contains a hopeful message.
BtoB 4u member Hyunsik wrote Show Your Love.
There is a music video for Show Your Love.

Premises in first-order logic:
Song(showyourlove) ∧ RecordedBy(showyourlove, btob4u) ∧ SouthKorean(btob4u) ∧ BoyBand(btob4u)
ExtendedPlay(inside) ∧ LeadSingle(showyourlove) ∧ LeadSingleOf(showyourlove, inside)
Contains(showyourlove, hopefulmessage)
Member(hyunsik, btob4u) ∧ Wrote(hyunsik, showyourlove)
HasMusicVideo(showyourlove)

Conclusion: Show your love wasn't written by a member of a boy band.
Label: False

Conclusion: A lead single of inside contains a a hopeful message.
Label: True

Conclusion: Hyunsik is Korean.
Label: Unknown
Premises:
All tables are round.
Some furniture are tables.

Premises in first-order logic:
∀x (Table(x) → Round(x))
∃x (Furniture(x) ∧ Table(x))

Conclusion: Some furniture are round.
Label: True
Premises:
All juvenile delinquents are maladjusted individuals.
Some juvenile delinquents are products of broken homes.

Premises in first-order logic:
∀x (JuvenileDelinquent(x) → MaladjustedIndividual(x))
∃x (JuvenileDelinquent(x)  ∧ ProductOfBrokenHome(x))

Conclusion: Some maladjusted individuals are products of broken homes.
Label: True
Premises:
Either brain reading or brain decoding. 
All brain decoding is extracting information from BOLD signals.
No extracting information from BOLD signals is without statistical pattern analysis. 
Writing a novel is without statistical pattern analysis.
If multivoxel (pattern) analysis is without statistical pattern analysis and a brain reading, then multivoxel (pattern) analysis is without statistical pattern analysis and brain decoding.

Premises in first-order logic:
∀x (BrainReading(x) ∨ BrainDecoding(x)) 
∀x (BrainDecoding(x) → ExtractingInformationFromBOLDSignals(x))
∀x (ExtractingInformationFromBOLDSignals(x) → ¬WithoutStatisticalPatternAnalysis(x))
∀x (WritingANovel(x) → WithoutStatisticalPatternAnalysis(x)) 
WithoutStatisticalPatternAnalysis(multivoxelPatternAnalysis) ∧ BrainReading(multivoxelPatternAnalysis) → WithoutStatisticalPatternAnalysis(multivoxelPatternAnalysis) ∧ BrainDecoding(multivoxelPatternAnalysis)

Conclusion: Multivoxel (pattern) analysis is a brain decoding.
Label: Unknown

Conclusion: Multivoxel (pattern) analysis is the writing of a novel.
Label: False

Conclusion: Multivoxel (pattern) analysis is without statistical pattern analysis and writing a novel.
Label: False

Conclusion: Multivoxel (pattern) analysis is without statistical pattern analysis or writing a novel.
Label: False

Conclusion: Multivoxel (pattern) analysis is either without statistical pattern analysis or writing a novel.
Label: False

Conclusion: If multivoxel (pattern) analysis is writing a novel, then multivoxel (pattern) analysis is neither without statistical pattern analysis nor writing a novel.
Label: True
Premises:
If you have room for dessert, you have room for broccoli.
Everyone at Luis's dinner party has room for dessert, including Luis.
Mauricia does not have room for broccoli.
Luis's dinner party is the first ever dinner party that Allison has attended.
Gustave has room for both broccoli and asparagus.
Broccoli and asparagus are both vegetables.

Premises in first-order logic:
∀x (RoomFor(x, dessert) → RoomFor(x, broccoli))
∀x (AtLuisParty(x) → RoomFor(x, dessert))
¬RoomFor(mauricia, broccoli)
FirstDinnerParty(allison, luisparty) ∧ AtLuisParty(allison)
RoomFor(gustave, broccoli) ∧ RoomFor(gustave, asparagus)
Vegetable(broccoli) ∧ Vegetable(asparagus)

Conclusion: Allison has room for broccoli.
Label: True

Conclusion: Mauricia is at Luis's dinner party.
Label: False

Conclusion: Gustav has room for dessert.
Label: Unknown
Premises:
Imagine Dragons is an American pop rock band.
The lead singer of Imagine Dragons is Dan.
Dan is also a songwriter.
All lead singers are singers.
All singers are musicians.
Demons is one of the most popular singles of Imagine Dragons.
Some singles of Imagine Dragons have been on Billboard Hot 100.

Premises in first-order logic:
American(imagineDragon) ∧ RockBand(imagineDragon)
LeadSinger(imagineDragon, dan)
SongWriter(dan)
∀x ∀y (LeadSinger(x, y) → Singer(y))
∀x (Singer(x) → Musician(x))
PopularSingle(imagineDragon, demons)
∃x (PopularSingle(imagineDragon, x) ∧ BillboardHot100(x))

Conclusion: Some rock band has a songwriter.
Label: True

Conclusion: Dan is not a musician.
Label: False

Conclusion: Demons has been on Billboard Hot 100.
Label: Unknown
Premises:
All bread is food.
Some sandwiches are bread.
All food is edible. 
No edible things are poisonous.
Deodorant is poisonous.

Premises in first-order logic:
∀x (Bread(x) → Food(x))
∃x (Sandwich(x) ∧ Bread(x))
∀x (Food(x) → Edible(x))
∀x (Edible(x) → ¬Poisonous(x))
Poisonous(deodorant)

Conclusion: Deodorant is a sandwich.
Label: Unknown

Conclusion: Deodorant is a sandwich and bread.
Label: False

Conclusion: If deodorant is a loaf of bread, then deodorant is not a sandwich.
Label: True
Premises:
Common utilities include water, electricity, gas, heating, sewer, trash, and recycling.
Many apartment rents cover the cost of water and electricity.
Susan lives in an apartment where the rent covers all utilities.
The rent of the apartment where Ava lives does not cover any utility expenses.
Noah lives in an apartment where the rent does not cover heating.

Premises in first-order logic:
CommonUtilities(water) ∧ CommonUtilities(electricity) ∧ CommonUtilities(gas) ∧ CommonUtilities(heating)
∃x (Cover(x, water) ∧ Cover(x, electricity))
∀x (Cover(susan, x))
∀x (¬Cover(ava, x))
¬Cover(noah, heating)

Conclusion: Noah needs to pay the water bill.
Label: Unknown

Conclusion: Noah and Ava both need to pay the heating bill.
Label: True

Conclusion: Susan does not need to pay the water bill.
Label: True
Premises:
All clothes are products. 
No products are perfect. 
All dresses are clothes.
All skirts are dresses. 
If Nike is clothes, then Nike is perfect and a dress.

Premises in first-order logic:
∀x (Clothes(x) → Product(x))
∀x (Product(x) → ¬Perfect(x))
∀x (Dress(x) → Clothes(x))
∀x (Skirt(x) → Dress(x))
Clothes(nike) → Perfect(nike) ∧ Dress(nike)

Conclusion: Nike is perfect.
Label: Unknown

Conclusion: Nike is a skirt.
Label: False

Conclusion: Nike is not a skirt.
Label: True
Premises:
All pets are animals.
Pets can be either a dog or a cat.
If a person has a pet, they care for that pet. 
Dogs and Cats can be naughty. 
Pets who are naughty are not liked as much. 
Charlie has a naughty pet dog named Leo. 

Premises in first-order logic:
∀x (Pet(x) → Animal(x))
∀x (Pet(x) → Dog(x) ⊕ Cat(x))
∀x ∀y (HasPet(x) → Cares(x, y))
∃x ((Cat(x) ∧ Naughty(x)) ∨ (Dog(x) ∧ Naughty(x)))
∀x ∀y (Pet(x) ∧ Naughty(x) → ¬Liked(x, y))
HasPet(charlie) ∧ Pet(leo) ∧ Dog(leo) ∧ Naughty(leo)

Conclusion: Leo is an animal.
Label: True

Conclusion: Charlie does not like Leo and does not care for Leo.
Label: False

Conclusion: Dogs are always not naughty.
Label: False
Premises:
Surprises are either fun or dreadful.
All scares are surprises.

Premises in first-order logic:
∀x (Surprise(x) → (Fun(x) ⊕ Dreadful(x)))
∀x (Scare(x) → Surprise(x))

Conclusion: All scares are fun.
Label: Unknown
Premises:
All books written by Cixin Liu have sold more than 1 million copies. 
Some books that have won the Hugo Award were written by Cixin Liu.
All books about the future are influenced by Isaac Asimov.
The book the Three Body Problem has sold more than 1 million copies.
The Three Body Problem is about the future.

Premises in first-order logic:
∀x (Book(x) ∧ WrittenBy(x, cixinliu) → SoldMoreThan(x, onemillion))
∃x (Won(x, hugoaward) ∧ Book(x) ∧ WrittenBy(x, cixinliu))
∀x (Book(x) ∧ AboutFuture(x) → InfluencedBy(x, isaacasimov))
Book(threebodyproblem) ∧ SoldMoreThan(threebodyproblem, onemillion)
AboutFuture(threebodyproblem)

Conclusion: The Three Body Problem won the Hugo Award.
Label: Unknown

Conclusion: The Three Body Problem was influenced by Isaac Asimov.
Label: True

Conclusion: The Three Body Problem was written by Cixin Liu.
Label: Unknown
Premises:
Some students who major in computer science get up early. 
If a student gets up early, then he/she will study in the morning. 
All students studying in the morning are good at time management. 
All students good at time management are popular among students. 
James is not popular among students. 

Premises in first-order logic:
∃x (ComputerScience(x) ∧ GetUpEarly(x))
∀x (GetUpEarly(x) → StudyMorning(x))
∀x (StudyMorning(x) → GoodAtTimeManagement(x))
∀x (GoodAtTimeManagement(x) → Popular(x))
¬Popular(james)

Conclusion: James majors in computer science.
Label: Unknown

Conclusion: James majors in computer science and gets up early.
Label: False

Conclusion: If James gets up early, then he majors in computer science.
Label: True
Premises:
There is no dog on the roof.
If there is a dog on the roof something went wrong.

Premises in first-order logic:
¬(∃x (Dog(x) ∧ OnRoof(x)))
∀x ∃y ((Dog(x) ∧ OnRoof(x)) → WentWrong(y))

Conclusion: Something went wrong.
Label: Unknown
Premises:
Elephantopus is a genus of perennial plants in the daisy family.
Elephantopus is widespread over much of Africa, southern Asia, Australia, and the Americas.
Several species of Elephantopus are native to the southeastern United States.
Elephantopus scaber is a traditional medicine.

Premises in first-order logic:
∀x (Elephantopus(x) → Genus(x, perennialplants) ∧ BelongTo(x, daisyfamily))
∀x (Elephantopus(x) → WidespreadOver(x, africa) ∧ WidespreadOver(x, southernasia) ∧ WidespreadOver(x, australia) ∧ WidespreadOver(x, americas))
∃x (Elephantopus(x) ∧ NativeTo(x, southeasternunitedstates))
∀x (ElephantopusScaber(x) → TraditionalMedicine(x))

Conclusion: Elephantopus is widespread over much of Australia and Southern Asia.
Label: True

Conclusion: No Elephantopus is native to the southeastern United States.
Label: False

Conclusion: Elephantopus is a traditional medicine.
Label: Unknown