minimario/FOLIO huggingface dataset:
Premises:
If people perform in school talent shows often, then they attend and are very engaged with school events.
People either perform in school talent shows often or are inactive and disinterested members of their community.
If people chaperone high school dances, then they are not students who attend the school.
All people who are inactive and disinterested members of their community chaperone high school dances.
All young children and teenagers who wish to further their academic careers and educational opportunities are students who attend the school.
Bonnie either both attends and is very engaged with school events and is a student who attends the school, or she neither attends and is very engaged with school events nor is a student who attends the school. 

Premises in first-order logic:
∀x (TalentShows(x) → Engaged(x))
∀x (TalentShows(x) ∨ Inactive(x))
∀x (Chaperone(x) → ¬Students(x))
∀x (Inactive(x) → Chaperone(x))
∀x (AcademicCareer(x) → Students(x))
(Engaged(bonnie) ∧ Students(bonnie)) ⊕ (¬Engaged(bonnie) ∧ ¬Students(bonnie))

Conclusion: Bonnie performs in school talent shows often.
Label: Unknown

Conclusion: If Bonnie is either both a young child or teenager who wishes to further her academic career and educational opportunities and chaperones high school dances or neither is a young child nor teenager who wishes to further her academic career and educational opportunities, then Bonnie is either a student who attends the school or is an inactive and disinterested member of the community.
Label: True

Conclusion: If Bonnie either chaperones high school dances or, if she does not, she performs in school talent shows often, then Bonnie is both a young child or teenager who wishes to further her academic career and educational opportunities and an inactive and disinterested member of the community.
Label: False
Premises:
All employees who schedule a meeting with their customers will appear in the company today. 
Everyone who has lunch in the company schedules meetings with their customers. 
Employees will either have lunch in the company or have lunch at home.
If an employee has lunch at home, then he/she is working remotely from home.
All employees who are in other countries work remotely from home. 
No managers work remotely from home. 
James is either a manager and appears in the company today or neither a manager nor appears in the company today.

Premises in first-order logic:
∀x (Meeting(x) → AppearInCompany(x))
∀x (LunchInCompany(x) → Meetings(x))
∀x (LunchInCompany(x) ∨ LunchAtHome(x))
∀x (LunchAtHome(x) → WorkRemotelyFromHome(x))
∀x (InOtherCountries(x) → WorkRemotelyFromHome(x))
∀x (Manager(x) → ¬WorkRemotelyFromHome(x))
Manager(james) ⊕ AppearInCompany(james)

Conclusion: James has lunch in the company.
Label: Unknown

Conclusion: James does not have lunch in the company.
Label: Unknown

Conclusion: If James is either a manager or in other countries,  then James either has lunch at home and works remotely from home, or neither has lunch at home nor works remotely from home.
Label: True
Premises:
Monkeypox is an infectious disease caused by the monkeypox virus.
Monkeypox virus can occur in certain animals, including humans.
Humans are mammals.
Mammals are animals.
Symptons of Monkeypox include fever, headache, muscle pains, feeling tired, and so on.
People feel tired when they get a glu.

Premises in first-order logic:
∃x (OccurMonkeypoxVirus(x) ∧ GetMonkeypox(x))
∃x (Animal(x) ∧ OccurMonkeypoxVirus(x))
∀x (Human(x) → Mammal(x))
∀x (Mammal(x) → Animal(x))
∃x (GetMonkeypox(x) ∧ (Fever(x) ∨ Headache(x) ∨ MusclePain(x) ∨ Tired(x)))
∀x (Human(x) ∧ Flu(x) → Tired(x))

Conclusion: There is an animal.
Label: True

Conclusion: No one gets flu.
Label: Unknown

Conclusion: Symptons of Monkeypox include coughing.
Label: Unknown
Premises:
There are six types of wild turkeys: Eastern wild turkey, Osceola wild turkey, Gould’s wild turkey, Merriam’s wild
turkey, Rio Grande wild turkey, and Ocellated wild turkey.
Tom is not an Eastern wild turkey.
Tom is not an Osceola wild turkey.
Tom is also not a Gould's wild turkey, or a Merriam's wild turkey, or a Rio Grande wild turkey.
Tom is a wild turkey.

Premises in first-order logic:
∀x (WildTurkey(x) → (Eastern(x) ∨ Osceola(x) ∨ Goulds(x) ∨ Merriams(x) ∨ Riogrande(x) ∨ Ocellated(x)))
¬(WildTurkey(tom) ∧ Eastern(tom))
¬(WildTurkey(tom) ∧ Osceola(tom))
WildTurkey(tom) → ¬(Goulds(tom) ∨ Merriams(tom) ∨ Riogrande(tom))
WildTurkey(tom)

Conclusion: Tom is an Ocellated wild turkey.
Label: True

Conclusion: Tom is an Eastern wild turkey.
Label: False

Conclusion: Joey is a wild turkey.
Label: Unknown
Premises:
A Japanese game company created the game the Legend of Zelda.
All games in the Top 10 list are made by Japanese game companies.
[BG] If a game sells more than one million copies, then it will be selected into the Top 10 list.
The Legend of Zelda sold more than one million copies.

Premises in first-order logic:
∃x (Japanese(x) ∧ VideoGameCompany(x) ∧ Game(thelegendofzelda) ∧ Created(x, thelegendofzelda))
∀x ∀y (Game(x) ∧ InTop10(x) ∧ Created(x, y) → Japanese(y))
∀x (Game(x) ∧ SellsMoreThan(x, onemillioncopies) → Top10(x))
SellsMoreThan(thelegendofzelda, onemillioncopies)

Conclusion: The Legend of Zelda is in the Top 10 list.
Label: True

Conclusion: FIFA 22 is made by a Japanese video game company.
Label: Unknown

Conclusion: The Legend of Zelda is not in the Top 10 list.
Label: False
Premises:
All squares have four sides.
All four-sided things are shapes. 

Premises in first-order logic:
∀x (Square(x) → FourSides(x))
∀x (FourSides(x) → IsShape(x))

Conclusion: All squares are shapes.
Label: True
Premises:
All rabbits are cute. 
Some turtles exist. 
An animal is either a rabbit or a squirrel.
If something is skittish, then it is not still.
All squirrels are skittish.
Rock is still.

Premises in first-order logic:
∀x (Rabbit(x) → Cute(x))
∃x (Turtle(x))
∀x (Rabbit(x) ∨ Squirrel(x))
∀x (Skittish(x) → ¬Still(x))
∀x (Squirrel(x) → Skittish(x))
Still(rock)

Conclusion: Rock is a turtle.
Label: Unknown

Conclusion: Rock is not a turtle.
Label: Unknown

Conclusion: Rock is a turtle or cute.
Label: True

Conclusion: If Rock is not both a turtle and a squirrel, then Rock is either cute or skittish.
Label: True

Conclusion: If Rock is cute and still, then Rock is a turtle and skittish.
Label: False
Premises:
"Stranger Things" is a popular Netflix show.
If a Netflix show is popular, Karen will binge-watch it.
If and only if Karen binge-watches a Netflix show, she will download it.
Karen does not download "Black Mirror".
"Black Mirror" is a Netflix show.
If Karen binge-watches a Netflix show, she will share it to Lisa.

Premises in first-order logic:
NetflixShow(strangerThings) ∧ Popular(strangerThings)
∀x ((NetflixShow(x) ∧ Popular(x)) → BingeWatch(karen, x))
∀x ((NetflixShow(x) ∧ BingeWatch(karen, x)) ↔ Download(karen, x))
¬Download(karen, blackMirror)
NetflixShow(blackMirror)
∀x ((NetflixShow(x) ∧ BingeWatch(karen, x)) → Share(x, lisa))

Conclusion: Karen will share "Stranger Things" to Lisa.
Label: True

Conclusion: "Black Mirror" is popular.
Label: False

Conclusion: Karen will share "Black Mirror" to Lisa.
Label: Unknown
Premises:
Beijing is the capital of the People's Republic of China. 
Beijing is the world's most populous national capital city.
Beijing is located in Northern China.
Beijing hosted the 2008 Summer Olympics and 2008 Summer Paralympics Games.
Beijing has hosted both the Summer and Winter Olympics, along with the Summer and Winter Paralympics
Many of Beijing's 91 universities consistently rank among the best in the Asia-Pacific and the world.

Premises in first-order logic:
CapitalOf(beijing, prx)
MostPopulousNationalCapitalCity(beijing)
InNorthernChina(beijing)
Hosted(beijing, summer2008olympic) ∧ Hosted(beijing, summer2008paralympicgames)
Hosted(beijing, summerolympic) ∧ Hosted(beijing, winterolympic) ∧ Hosted(beijing, summerparalympicgames)  ∧ Hosted(beijing, winterparalympicgames)
∃x (BeijingUniversity(x) ∧ ConsistentlyRankAmongTheBest(x))

Conclusion: Beijing has hosted both the 2008 Summer Olympics and a winter olympics.
Label: True

Conclusion: Beijing is located in southern China.
Label: Unknown

Conclusion: Beijing is the second largest Chinese city by urban population.
Label: Unknown
Premises:
All aliens are extraterrestrial.
If someone is from Mars, then they are aliens.
No extraterrestrial is human.
Everyone from Earth is a human.
Marvin cannot be from Earth and from Mars.
If Marvin is not from Earth, then Marvin is an extraterrestrial.

Premises in first-order logic:
∀x (Alien(x) → Extraterrestrial(x))
∀x (FromMars(x) → Alien(x))
∀x (Extraterrestrial(x) → ¬Human(x))
∀x (FromEarth(x) → Human(x))
¬FromEarth(marvin) ∧ ¬FromMars(marvin)
¬FromEarth(marvin) → Extraterrestrial(marvin)

Conclusion: Marvin is an alien.
Label: False

Conclusion: Marvin is neither a human nor from Mars.
Label: True

Conclusion: If Marvin is not from Mars, then Marvin is a human.
Label: Unknown
Premises:
A person is either a Grand Slam champion or an Oscar-nominated actor.
All people who are Grand Slam champions are professional tennis players.
All Oscar-nominated actors are celebrities.
All professional tennis players are athletes.
If a person is a celebrity then they are well paid.
If a person is an athlete then they are famous.
All well-paid people live in tax havens.
If Djokovic is famous and is an athlete, then Djokovic lives in well paid.

Premises in first-order logic:
∀x (GrandSlamChampion(x) ⊕ OscarNominatedActor(x))
∀x (GrandSlamChampion(x) → ProfessionalTennisPlayer(x))
∀x (OscarNominatedActor(x) → Celebrity(x))
∀x (ProfessionalTennisPlayer(x) → Athlete(x))
∀x (Celebrity(x) → WellPaid(x))
∀x (Athlete(x) → Famous(x))
∀x (WellPaid(x) → LivesInTaxHaven(x))
Famous(djokovic) ∧ Athlete(djokovic) → LivesInTaxHaven(djokovic)

Conclusion: Djokovic is a Grand Slam champion.
Label: Unknown

Conclusion: Djokovic lives in a tax haven.
Label: True

Conclusion: Djokovic does not live in a tax haven.
Label: False
Premises:
Diamond Mine is a professional wrestling stable, formed in WWE.
Roderick Strong leads Diamond Mine.
Diamond Mine includes the Creed Brothers, and Ivy Nile.
Imperium has a feud with Diamond Mine.

Premises in first-order logic:
ProfessionalWrestlingStable(diamondmine) ∧ FormedIn(diamondmine, wwe)
Leads(roderickstrong, diamondmine)
Includes(diamondmine, creedbrothers) ∧ Includes(diamondmine, ivynile)
HasFeud(imperium, diamondmine)

Conclusion: Roderick strong leads a professional wrestling stable.
Label: True

Conclusion: Roderick strong leads the Creed Brothers.
Label: Unknown

Conclusion: Imperium doesn't have a feud with a professional wrestling stable that includes Ivy Nile.
Label: False
Premises:
Symphony No. 9 is a music piece.
Composers write music pieces.
Beethoven wrote Symphony No. 9.
Vienna Music Society premiered Symphony No. 9.
Vienna Music Society is an orchestra.
Beethoven leads the Vienna Music Society.
Orchestras are led by conductors.

Premises in first-order logic:
MusicPiece(symphony9)
∀x ∀y ((MusicPiece(x) ∧ Writtenby(x, y)) → Composer(y))
Writtenby(symphony9, beethoven)
Premiered(viennamusicsociety, symphony9)
Orchestra(viennamusicsociety)
Lead(beethoven, viennamusicsociety)
∀x ∀y ((Orchestra(x) ∧ Lead(y, x)) → Conductor(y))

Conclusion: Beethoven is a composer.
Label: True

Conclusion: Some orchestras premiered music pieces.
Label: True

Conclusion: Beethoven is not a conductor.
Label: False
Premises:
All of Zaha Hadid's design styles are timeless.
No mass product design is timeless.
Either Zaha Hadid's design style or Kelly Wearstler's design style. 
All of Kelly Wearstler's design styles are evocative.
All of Kelly Wearstler's design styles are dreamy.
If a design by Max is timeless, then a design by Max is a mass product design and evocative.

Premises in first-order logic:
∀x (ZahaHadidDesignStyle(x) → Timeless(x))
∀x (MassProductDesign(x) → ¬Timeless(x))
∀x (ZahaHadidDesignStyle(x) ∨ KellyWearstlerDesignStyle(x)) 
∀x (KellyWearstlerDesignStyle(x) → Evocative(x))
∀x (KellyWearstlerDesignStyle(x) → Dreamy(x))
Timeless(aDesignByMax) → MassProductDesign(aDesignByMax) ∧ Evocative(aDesignByMax)

Conclusion: A design by Max is a mass product design.
Label: Unknown

Conclusion: A design by Max is evocative and dreamy.
Label: True

Conclusion: A design by Max is either evocative or dreamy.
Label: False
Premises:
If a player is ranked highly by the Women's Tennis Association, then they are among the most active players in major tennis. 
Everyone who lost to Iga Świątek is ranked highly by the Women's Tennis Association.
All female tennis players at Roland Garros 2022 lost to Iga Świątek.
Either female tennis players at Roland Garros 2022 or male tennis players at Roland Garros 2022. 
All male tennis players at Roland Garros 2022 lost to Rafael Nadal.
If Coco Gauff is a player who is ranked highly by the Women's Tennis Association or a player who lost to Rafael Nadal, then Coco Gauff is not a male tennis player at Roland Garros 2022.

Premises in first-order logic:
∀x (RankedHighlyByWomenTennisAssociation(x) → AmongMostActivePlayersInMajorTennis(x))
∀x (LostToIgaŚwiątek(x) → RankedHighlyByWomenTennisAssociation(x))
∀x (FemaleTennisPlayersAtRolandGarros2022(x) → LostToIgaŚwiątek(x)) 
∀x (FemaleTennisPlayersAtRolandGarros2022(x) ∨ MaleTennisPlayersAtRolandGarros2022(x)) 
∀x (MaleTennisPlayersAtRolandGarros2022(x) → LostToRafaelNadal(x))
RankedHighlyByWomenTennisAssociation(cocoGauff) ∨ LostToRafaelNadal(cocoGauff) → ¬MaleTennisPlayersAtRolandGarros2022(cocoGauff)

Conclusion: Coco Gauff is among the most active players in major tennis.
Label: True

Conclusion: Coco Gauff has lost to Rafael Nadal.
Label: Unknown

Conclusion: Coco Gauff is not a player who lost to Iga Świątek or one of the most active players in major tennis.
Label: False
Premises:
All cats are mammals.
Some pets are not mammals.

Premises in first-order logic:
∀x (Cat(x) → Mammal(x))
∃x (Pet(x) ∧ ¬Mammal(x))

Conclusion: No pets are cats.
Label: Unknown
Premises:
[BG] There are four seasons in a year: Spring, Summer, Fall, and Winter.
All students who want to have a long vacation love summer the most.
Emma's favorite season is summer.
Mia's favorite season is not the same as Emma's. 
James wants to have a long vacation.

Premises in first-order logic:
Season(spring) ∨ Season(summer) ∨ Season(fall) ∨ Season(winter)
∀x (WantlongVacation(x) → Love(x, summer))
Love(emma, summer)
¬Love(mia, emma)
WantlongVacation(james)

Conclusion: James's favorite season is summer.
Label: True

Conclusion: James's favorite season is fall.
Label: False

Conclusion: Mia's favorite season is spring.
Label: Unknown
Premises:
No digital media are analog.
Every printed text is analog.
All streaming services are digital.
If an object is a hardcover book then it is printed text.
If 1984 is a streaming service, then 1984 is a hardcover book.

Premises in first-order logic:
∀x (Digital(x) → ¬Analog(x))
∀x (PrintedText(x) → Analog(x))
∀x (StreamingService(x) → Digital(x))
∀x (HardcoverBook(x) → PrintedText(x))
StreamingService(y1984) → HardcoverBook(y1984)

Conclusion: 1984 is printed text.
Label: Unknown

Conclusion: 1984 is a streaming service.
Label: False

Conclusion: 1984 is not a streaming service.
Label: True
Premises:
All Romance languages are Indo-European languages.
The Romance languages are a language family.
All languages within a language family are related to each other.
French and Spanish are both Romance languages.
German is related to Spanish.
Basque is not related to any other language.

Premises in first-order logic:
∀x (RomanceLanguage(x) → IndoEuropeanLanguage(x))
∀x (RomanceLanguage(x) → MemberOf(x, romancefamily))
∀x ∀y ∀z ((MemberOf(x, z) ∧ MemberOf(y, z)) → (Related(x, y) ∧ Related(y, x)))
RomanceLanguage(french) ∧ RomanceLanguage(spanish)
Related(german, spanish)
∀x (¬Related(basque, x))

Conclusion: Basque is a Romance language.
Label: False

Conclusion: German is a Romance language.
Label: Unknown

Conclusion: French is an Indo-European language.
Label: True
Premises:
Robert Lewandowski is a striker.
[BG] Strikers are soccer players.
Robert Lewandowski left Bayern Munchen.
[BG] If a player left a team they no longer play for that team.

Premises in first-order logic:
IsStriker(robertLewandowski)
∀x (IsStriker(x) → IsSoccerPlayer(x))
LeftTeam(robertLewandowski, bayernMunchen)
∀x ∀y (LeftTeam(x, y) → ¬PlaysForTeam(x, y))

Conclusion: Robert Lewandowski is a soccer player.
Label: True

Conclusion: Robert Lewandowski plays for Bayern Munchen.
Label: False

Conclusion: Robert Lewandowski is a star.
Label: Unknown
Premises:
Billings is a city in Montana.
Montana includes the cities of Butte, Helena, and Missoula.
White Sulphur Springs and Butte are cities in the same state.
The city of Pierre is not in Montana.
Any city in Butte is not in Pierre.

Premises in first-order logic:
CityIn(billings, montana)
CityIn(butte, montana) ∧ CityIn(helena, montana) ∧ CityIn(missoula, montana)
∃x (CityIn(whitesulphursprings, x) ∧ CityIn(butte, x))
¬CityIn(pierre, montana)
∀x (CityIn(butte, x) → ¬CityIn(pierre, x))

Conclusion: Butte and Pierre are in the same state.
Label: False

Conclusion: Pierre and Bismarck are in the same state.
Label: Unknown

Conclusion: Montana is home to the city of Missoula.
Label: True
Premises:
International students in US have either an F1 visa or a J1 visa.
An international student in US with an F1 visa needs to apply for CPT or OPT if the student wants to work in the US.
Mike is an international student.
Mike needs to apply for CPT if he wants to work in the US.

Premises in first-order logic:
∀x (InternationalStudent(x) → F1(x) ⊕ J1(x))
∀x (InternationalStudent(x) ∧ F1(x) ∧ WantWorkInUS(x) → Apply(x, cpt) ∨ Apply(x, opt))
InternationalStudent(mike)
WantWorkInUS(mike) → Apply(mike, cpt)

Conclusion: Mike has an F1 visa.
Label: Unknown

Conclusion: Mike has a J1 visa.
Label: Unknown
Premises:
All cows are bovines.
Some pets are cows.
If something is a bovine, then it is domesticated.
No domesticated animals are alligators.
Ted is an aligator.

Premises in first-order logic:
∀x (Cow(x) → Bovine(x))
∃x (Pet(x) ∧ Cow(x))
∀x (Bovine(x) → Domesticated(x))
∀x (Domesticated(x) → ¬Aligator(x))
Aligator(ted)

Conclusion: Ted is a pet.
Label: Unknown

Conclusion: Ted is a pet and a cow.
Label: False

Conclusion: If Ted is a cow, then Ted is not a pet.
Label: True
Premises:
Yale University is a private Ivy League research university.
Yale University moved to New Haven in 1716.
Yale university's endowment was valued at $42.3 billion.
Yale University has been organized into 27 constituent colleges and schools: the residential colleges, the Yale Graduate School of Arts and Sciences, and twelve professional schools.
A list of residential colleges at Yale: Benjamin Franklin College, Berkeley College, Branford College, Davenport College, Ezra Stiles College, Grace Hopper College, Jonathan Edwards College, Morse College, Pauli Murray College, Pierson College, Saybrook College, Silliman College, Timothy Dwight College, and Trumbull College.

Premises in first-order logic:
PrivateIvyLeagueResearchUniversity(yale)
MovedTo(yale, newhaven) ∧ MovedIn(yale, y1716)
ValuedAt(yalesendowment, y42.3billion)
∃x (OrganizedInto(yale, x) ∧ ConstituentCollegesandSchools(x) ∧ ((ResidentialCollege(x) ⊕ GraduateSchool(x)) ⊕ ProfessionalSchool(x)))
ResidentialCollege(benjaminfranklincollege) ∧ AtYale(benjaminfranklincollege) ∧ ResidentialCollege(berkeleycollege) ∧ AtYale(berkeleycollege) ∧ ResidentialCollege(branfordcollege) ∧ AtYale(branfordcollege) ∧ ResidentialCollege(davenportcollege) ∧ AtYale(davenportcollege) ∧ ResidentialCollege(ezrastilescollege) ∧ AtYale(ezrastilescollege) ∧ ResidentialCollege(gracehoppercollege) ∧ AtYale(gracehoppercollege) ∧ ResidentialCollege(jonathanedwardscollege) ∧ AtYale(jonathanedwardscollege) ∧ ResidentialCollege(morsecollege) ∧ AtYale(morsecollege) ∧ ResidentialCollege(paulimurraycollege) ∧ AtYale(paulimurraycollege) ∧ ResidentialCollege(piersoncollege) ∧ AtYale(piersoncollege) ∧ ResidentialCollege(saybrookcollege) ∧ AtYale(saybrookcollege) ∧ ResidentialCollege(sillimancollege) ∧ AtYale(sillimancollege) ∧ ResidentialCollege(timothydwightcollege) ∧ AtYale(timothydwightcollege) ∧ ResidentialCollege(trumbullcollege) ∧ AtYale(trumbullcollege)

Conclusion: A private Ivy League research university moved to New Haven.
Label: True

Conclusion: Yale University has the largest university endowment of any educational institution.
Label: Unknown

Conclusion: Pierson College is a residential college at Yale.
Label: True
Premises:
Badults is a British Sitcom series, starring members of Pappy's.
Badults piloted in July 2013 on BBC Three.
The Working title "The Secret Dude Society" was used for Badults.
Andrew Collins was the script editor for Badults

Premises in first-order logic:
∃x (MemberOf(x, pappys) ∧ BritishSitcom(badults) ∧ Series(badults) ∧ Starring(badults, x))
PilotedIn(badults, july2013) ∧ PilotedOn(badults, bbcthree)
WorkingTitle(thesecretdudesociety, badults)
ScriptEditor(andrewcollins) ∧ ScriptEditorFor(andrewcollins, badults)

Conclusion: Andrew Collins was the script editor for a series with the working title "The Secret Dude Society".
Label: True

Conclusion: No members of Pappy's have starred for a show piloting on BBC Two or BBC Three.
Label: False
Premises:
All growth companies’ stocks are volatile.
If the stock price is volatile, then it is not suitable for a retirement fund.
Some companies’ stocks are growth companies’ stocks.
All mature companies’ stocks are suitable for a retirement fund.
KO is a mature company’s stock.

Premises in first-order logic:
∀x (GrowthCompanies’Stocks(x) → PriceVolatile(x))
 ∀x (PriceVolatile(x) → ¬SuitableForRetirementRund(x)) 
 ∃x (Companies’Stocks(x) ∧ GrowthCompanies’Stocks(x))
 ∀x (MatureCompanies’Stocks(x) → SuitableForRetirementRund(x))
 MatureCompanies’Stocks(kO)

Conclusion: KO is a company stock.
Label: Unknown

Conclusion: KO is a company stock and a growth company’s stock.
Label: False

Conclusion: If KO is a growth company’s stock or if its price is volatile, then KO is neither a company’s stock nor is its price volatile.
Label: True
Premises:
All vehicle registration plates in Istanbul begin with the number 34.
Plates that do not begin with the number 34 are not from Istanbul. 
Joe's vehicle registration plate is from Istanbul. 
Tom's license plate begins with the number 35. 
[BG] If a license plate begins with the number 35, then it does not begin with the number 34.

Premises in first-order logic:
∀x (Vehicleregistrationplate(x, istanbul) → Beginwith(x, number34))
∀x (¬Beginwith(x, number34) → ¬FromIstanbul(x))
Vehicleregistrationplate(joe, istanbul)
Beginwith(tom, number35)
∀x (Beginwith(x, number35) → ¬Beginwith(x, number34))

Conclusion: Joe's license plate begins with the number 34.
Label: True

Conclusion: Tom's license plate is from Istanbul.
Label: False
Premises:
If people work in student jobs on campus, then they need to earn money to help pay for their college tuition.
If people order takeout frequently in college, then they work in student jobs on campus.
People either order takeout frequently in college or enjoy the dining hall meals and recipes.
If people enjoy the dining hall meals and recipes, then they are not picky eaters.
If people enjoy the dining hall meals and recipes, then they spend a lot of their time eating and catching up with friends in the campus dining halls.
If Mary works in student jobs on campus and needs to earn money to help pay for her college tuition, then Mary is neither picky nor needs to earn money to help pay for her college tuition.

Premises in first-order logic:
∀x (StudentJobs(x) → Tuition(x))
∀x (Takeout(x) → StudentJobs(x))
∀x (Takeout(x) ∨ DiningHall(x))
∀x (DiningHall(x) → NotPicky(x))
∀x (DiningHall(x) → Eating(x))
StudentJobs(mary) ∧ Tuition(mary) → ¬(NotPicky(mary) ∨ Tuition(mary))

Conclusion: Mary needs to earn money to help pay for her college tuition.
Label: Unknown

Conclusion: Mary is not a picky eater and spends a lot of her time eating and catching up with friends in the campus dining halls.
Label: True

Conclusion: Mary either is not a picky eater or, if she is, then she spends a lot of her time eating and catching up with friends in the campus dining halls.
Label: False