prajaktakini/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 (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.
Conclusion (first-order logic): Engaged(bonnie)
Label: Uncertain

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.
Conclusion (first-order logic): AcademicCareer(bonnie) ⊕ Chaperone(bonnie) → AcademicCareer(bonnie) ⊕ Inactive(bonnie)
Label: True
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 (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.
Conclusion (first-order logic): LunchInCompany(james)
Label: Uncertain

Conclusion: James does not have lunch in the company.
Conclusion (first-order logic): ¬LunchInCompany(james)
Label: Uncertain
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 (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.
Conclusion (first-order logic): ∃x (Animal(x))
Label: True

Conclusion: No one gets flu.
Conclusion (first-order logic): ∀x (Human(x) → ¬Flu(x))
Label: Uncertain

Conclusion: Symptons of Monkeypox include coughing.
Conclusion (first-order logic): ∃x (GetMonkeypox(x) ∧ Coughing(x))
Label: Uncertain
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 (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.
Conclusion (first-order logic): Ocellated(tom)
Label: True

Conclusion: Tom is an Eastern wild turkey.
Conclusion (first-order logic): Eastern(tom)
Label: False

Conclusion: Joey is a wild turkey.
Conclusion (first-order logic): WildTurkey(joey)
Label: Uncertain
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 (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.
Conclusion (first-order logic): Top10(thelegendofzelda)
Label: True

Conclusion: FIFA 22 is made by a Japanese video game company.
Conclusion (first-order logic): ∀x (Created(fifa22, x) → Japanese(x) ∧ VideoGameCompany(x))
Label: Uncertain

Conclusion: The Legend of Zelda is not in the Top 10 list.
Conclusion (first-order logic): ¬Top10(thelegendofzelda)
Label: False
Premises:
All squares have four sides.
All four-sided things are shapes. 
Premises (first-order logic):
∀x (Square(x) → FourSides(x))
∀x (FourSides(x) → IsShape(x))

Conclusion: All squares are shapes.
Conclusion (first-order logic): ∀x (Square(x) → IsShape(x))
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 (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.
Conclusion (first-order logic): Turtle(rock)
Label: Uncertain

Conclusion: Rock is not a turtle.
Conclusion (first-order logic): ¬Turtle(rock)
Label: Uncertain

Conclusion: Rock is a turtle or cute.
Conclusion (first-order logic): Turtle(rock) ∨ Cute(rock)
Label: True

Conclusion: If Rock is not both a turtle and a squirrel, then Rock is either cute or skittish.
Conclusion (first-order logic): ¬(Turtle(rock) ∧ Squirrel(rock)) → Cute(rock) ⊕ Skittish(rock)
Label: True

Conclusion: If Rock is cute and still, then Rock is a turtle and skittish.
Conclusion (first-order logic): Cute(rock) ∧ Still(rock) → Turtle(rock) ∧ Skittish(rock)
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 (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.
Conclusion (first-order logic): Share(strangerThings, lisa)
Label: True

Conclusion: "Black Mirror" is popular.
Conclusion (first-order logic): Popular(blackMirror)
Label: False

Conclusion: Karen will share "Black Mirror" to Lisa.
Conclusion (first-order logic): Share(blackMirror, lisa)
Label: Uncertain
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 (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.
Conclusion (first-order logic): Hosted(beijing, summer2008olympic) ∧ Hosted(beijing, winterolympic)
Label: True

Conclusion: Beijing is located in southern China.
Conclusion (first-order logic): InSouthernChina(beijing)
Label: Uncertain

Conclusion: Beijing is the second largest Chinese city by urban population.
Conclusion (first-order logic): SecondLargestChineseCity(beijing)
Label: Uncertain
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 (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 neither a human nor from Mars.
Conclusion (first-order logic): ¬Human(marvin) ∧ ¬FromMars(marvin)
Label: True
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 (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.
Conclusion (first-order logic): GrandSlamChampion(djokovic)
Label: Uncertain

Conclusion: Djokovic lives in a tax haven.
Conclusion (first-order logic): LivesInTaxHaven(djokovic)
Label: True

Conclusion: Djokovic does not live in a tax haven.
Conclusion (first-order logic): ¬LivesInTaxHaven(djokovic)
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 (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.
Conclusion (first-order logic): ∃x (Leads(roderickstrong, x) ∧ ProfessionalWrestlingStable(x))
Label: True

Conclusion: Roderick strong leads the Creed Brothers.
Conclusion (first-order logic): Leads(roderickstrong, creedbrothers)
Label: Uncertain

Conclusion: Imperium doesn't have a feud with a professional wrestling stable that includes Ivy Nile.
Conclusion (first-order logic): ∀x (ProfessionalWrestlingStable(x) ∧ Includes(x, ivynile) → ¬HasFeud(imperium, x))
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 (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.
Conclusion (first-order logic): Composer(beethoven)
Label: True

Conclusion: Some orchestras premiered music pieces.
Conclusion (first-order logic): ∃x ∃y (Orchestra(x) ∧ MusicPiece(y) ∧ Premiered(x, y))
Label: True

Conclusion: Beethoven is not a conductor.
Conclusion (first-order logic): ¬Conductor(beethoven)
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 (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.
Conclusion (first-order logic): MassProductDesign(aDesignByMax)
Label: Uncertain

Conclusion: A design by Max is evocative and dreamy.
Conclusion (first-order logic): Evocative(aDesignByMax) ∧ Dreamy(aDesignByMax)
Label: True

Conclusion: A design by Max is either evocative or dreamy.
Conclusion (first-order logic): Evocative(aDesignByMax) ⊕ Dreamy(aDesignByMax)
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 (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.
Conclusion (first-order logic): AmongMostActivePlayersInMajorTennis(cocoGauff)
Label: True

Conclusion: Coco Gauff has lost to Rafael Nadal.
Conclusion (first-order logic): LostToRafaelNadal(cocoGauff)
Label: Uncertain

Conclusion: Coco Gauff is not a player who lost to Iga Świątek or one of the most active players in major tennis.
Conclusion (first-order logic): ¬LostToIgaŚwiątek(cocoGauff) ∨ ¬AmongMostActivePlayersInMajorTennis(cocoGauff)
Label: False
Premises:
All cats are mammals.
Some pets are not mammals.
Premises (first-order logic):
∀x (Cat(x) → Mammal(x))
∃x (Pet(x) ∧ ¬Mammal(x))

Conclusion: No pets are cats.
Conclusion (first-order logic): ∀x (Pet(x) → ¬Cat(x))
Label: Uncertain
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 (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.
Conclusion (first-order logic): Love(james, summer)
Label: True

Conclusion: Mia's favorite season is spring.
Conclusion (first-order logic): Love(mia, spring)
Label: Uncertain
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 (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.
Conclusion (first-order logic): PrintedText(y1984)
Label: Uncertain

Conclusion: 1984 is a streaming service.
Conclusion (first-order logic): StreamingService(y1984)
Label: False

Conclusion: 1984 is not a streaming service.
Conclusion (first-order logic): ¬StreamingService(y1984)
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 (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.
Conclusion (first-order logic): RomanceLanguage(basque)
Label: False

Conclusion: German is a Romance language.
Conclusion (first-order logic): RomanceLanguage(german)
Label: Uncertain

Conclusion: French is an Indo-European language.
Conclusion (first-order logic): IndoEuropeanLanguage(french)
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 (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.
Conclusion (first-order logic): IsSoccerPlayer(robertLewandowski)
Label: True

Conclusion: Robert Lewandowski plays for Bayern Munchen.
Conclusion (first-order logic): PlaysForTeam(robertLewandowski, bayernMunchen)
Label: False

Conclusion: Robert Lewandowski is a star.
Conclusion (first-order logic): IsSoccerStar(robertLewandowski)
Label: Uncertain
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 (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.
Conclusion (first-order logic): ∃x (CityIn(butte, x) ∧ CityIn(pierre, x))
Label: False

Conclusion: Pierre and Bismarck are in the same state.
Conclusion (first-order logic): ∃x (CityIn(pierre, x) ∧ CityIn(bismarck, x))
Label: Uncertain

Conclusion: Montana is home to the city of Missoula.
Conclusion (first-order logic): CityIn(missoula, montana)
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 (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.
Conclusion (first-order logic): F1(mike)
Label: Uncertain

Conclusion: Mike has a J1 visa.
Conclusion (first-order logic): J1(mike)
Label: Uncertain
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 (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.
Conclusion (first-order logic): Pet(ted)
Label: Uncertain

Conclusion: Ted is a pet and a cow.
Conclusion (first-order logic): Pet(ted) ∧ Cow(ted)
Label: False

Conclusion: If Ted is a cow, then Ted is not a pet.
Conclusion (first-order logic): Cow(ted) → ¬Pet(ted)
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 (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.
Conclusion (first-order logic): ∃x (PrivateIvyLeagueResearchUniversity(x) ∧ MovedTo(x, newhaven))
Label: True

Conclusion: Yale University has the largest university endowment of any educational institution.
Conclusion (first-order logic): LargestUniversityEndowmentOf(yale, anyeducationalinstitution)
Label: Uncertain

Conclusion: Pierson College is a residential college at Yale.
Conclusion (first-order logic): ResidentialCollege(piersoncollege) ∧ AtYale(piersoncollege)
Label: True