yuansui/folio huggingface dataset:
Premises:
Edwin Smith was a New Zealand rower from Auckland.
Edwin Smith was also known as Ted Smith.
Edwin Smith went to Rose Road Primary School, located in Grey Lynn.
Edwin Smith was a sergeant who served with the New Zealand 24th battalion in Italy and Egypt.
Broadway Sheetmetals was a business run and owned by Edwin Smith, a sheet metal worker.

Premises in first-order logic:
From(edwinSmith, newZealand) ∧ Rower(edwinSmith) ∧ From(edwinSmith, auckland)
edwinSmith=tedSmith
GoTo(edwinSmith, roseRoadPrimarySchool) ∧ LocatedIn(roseRoadPrimarySchool, greyLynn)
Sergeant(edwinSmith) ∧ ServeWith(edwinSmith, newZealand24thBattalion) ∧ ServeIn(edwinSmith, italy) ∧ ServeIn(edwinSmith, egypt)
Buisness(broadwaySheetmetals) ∧ Run(edwinSmith, broadwaySheetmetals) ∧ Own(edwinSmith, broadwaySheetmetals) ∧ SheetmetalWorker(edwinsmith)

Conclusions:
Ted Smith was a sergeant.
There were no rowers that own a buisness.
No sergeants were from Auckland.
No business owner served in Egypt.

Conclusions in first-order logic:
Sergeant(tedSmith)
∀x ∀y (Rower(x) ∧ Buisness(y) → ¬Own(x, y))
∀x (Sergeant(x) → ¬From(x, auckland))
∀x ∀y (Buisness(x) ∧ Own(y, x) → ¬ServeIn(y, egypt))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
F
F
Premises:
Adam owns cars.
Adam has a favorite car.
Among the cars he owns, Adam's favorite car is European.
Adam broke his favorite car.

Premises in first-order logic:
∃x ∃y (Car(x) ∧ Car(y) ∧ (x≠y) ∧ Owns(adam, x)) 
∃x (Car(x) ∧ Favorite(adam, x))
∀x ((Car(x) ∧ Owns(adam, x) ∧ Favorite(adam, x)) → European(x))
∀x ((Car(x) ∧ Owns(adam, x) ∧ Favorite(adam, x)) → Broke(adam, x))

Conclusions:
Adam owns a Japanese car.
Adam broke a European car.

Conclusions in first-order logic:
∃x (Japanese(x) ∧ Owns(adam, x))
∃x (European(x) ∧ Broke(adam, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
Premises:
Islip Speedway is the smallest race track.
There was a demolition derby on the smallest race track.
Islip is either demolished or still being used.
Speedways that are still being used have races held at them.
Islip doesn't have races held at it.

Premises in first-order logic:
Speedway(islip) ∧ SmallestRaceTrack(islip)
∃x ∃y (DemolitionDerby(x) ∧ SmallestRaceTrack(y) ∧ On(x, y))
Demolished(islip) ⊕ StillUsed(islip)
∀x (Speedway(x) ∧ StillUsed(x) → Have(races, heldAt, x))
¬Have(races, heldAt, islip)

Conclusions:
There has been a demolition derby somewhere that has since been demolished.
Islip was demolished.
Islip is still being used.

Conclusions in first-order logic:
∃x ∃y (DemolitionDerby(x) ∧ On(x, y) ∧ Demolished(y))
Demolished(islip)
StillUsed(islip)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
F
Premises:
Northwich Victoria FC is a football club that plays at Wincham Park.
Simon Hackney is a member of Northwich Victoria FC.
Northwich Victoria FC is part of the Northern Premier League.
If someone is a member of an organization that is part of a group, then the person is a member of the group.
If someone is a member of an organization and the organization plays at a certain place, then the person plays at the place.

Premises in first-order logic:
Club(northwichVictoriaFC) ∧ PlayAt(northwichVictoriaFC, winchamPark)
MemberOf(simonHackney, northwichVictoriaFC)
PartOf(northwichVictoriaFC, northernPremierLeague)
∀x ∃y ∃z ((MemberOf(x, y) ∧ PartOf(y, z)) → MemberOf(x, z))
∀x ∃y ∃z ((MemberOf(x, y) ∧ PlayAt(y, z)) → PlayAt(x, z))

Conclusions:
Simon Hackney is a member of the Northern Premier League. 
Simon Hackney plays at Wincham Park. 

Conclusions in first-order logic:
MemberOf(simon, northernPremierLeague)
PlayAt(simonHackney, winchamPark)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
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) ∧ In(diamondMine, wWE)
Leads(roderickStrong, diamondMine)
Includes(diamondMine, creedBrothers) ∧ Includes(diamondMine, ivyNile)
Feuds(imperium, diamondMine)

Conclusions:
Roderick Strong leads a professional wrestling stable.
Roderick Strong leads the Creed Brothers.
Imperium doesn't have a feud with a professional wrestling stable that includes Ivy Nile.

Conclusions in first-order logic:
∃x (Leads(roderickstrong, x) ∧ ProfessionalWrestlingStable(x))
Leads(roderickstrong, creedbrothers)
∀x ((ProfessionalWrestlingStable(x) ∧ Includes(x, ivynile)) → ¬Feuds(imperium, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
F
Premises:
Plungers suck.
Vacuums suck.
Vampires suck.
Space is a vacuum.
A duster is a household appliance that doesn't suck.

Premises in first-order logic:
∀x (Plunger(x) → Suck(x))
∀x (Vacuum(x) → Suck(x))
∀x (Vampire(x) → Suck(x))
Vacuum(space)
HouseholdAppliance(duster) ∧ ¬Suck(duster)

Conclusions:
Space sucks.
Space is a vampire.
If something is a household appliance, it sucks.

Conclusions in first-order logic:
Suck(space)
Vampire(space)
∀x (HouseHoldApp(x) → Suck(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
F
Premises:
Neocrepidodera Corpulentas are flea beetles or moths, or both.
Neocrepidodera Corpulentas are in the Chrysomelidae family.
There are no moths within the Chrysomelidae family.
There is a Neocrepidodera Corpulenta. 

Premises in first-order logic:
∀x (NeocrepidoderaCorpulenta(x) → (FleaBeetle(x) ∨ Moth(x)))
∀x (NeocrepidoderaCorpulenta(x) → In(x, chrysomelidaeFamily))
∀x (In(x, chrysomelidaeFamily) → ¬Moth(x))
∃x (NeocrepidoderaCorpulenta(x))

Conclusions:
There is a flea beetle within the Chrysomelidae family.
There are no flea beetles within the Chrysomelidae family.

Conclusions in first-order logic:
∃x (FleaBeetle(x) ∧ In(x, chrysomelidaeFamily))
∀x (FleaBeetle(x) → ¬In(x, chrysomelidaeFamily))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
No sports cars are vehicles intended to be driven at moderate speeds.
All automobiles designed for family use are vehicles intended to be driven at moderate speeds.

Premises in first-order logic:
∀x (SportsCar(x) → ¬IntendedToBeDrivenAt(x, moderateSpeed))
∀x (DesignedFor(x, familyUse) → IntendedToBeDrivenAt(x, moderateSpeed))

Conclusions:
No sports cars are automobiles designed for family use.

Conclusions in first-order logic:
∀x (SportsCar(x) → ¬For(x, familyUse))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
All volunteers receive intangible benefits for their work.
Volunteers work regularly or on an as-needed basis.
Some volunteers are trained.
Volunteers work in groups or individually.
Environmental volunteers contribute toward environmental management or conservation.
Participating in natural disaster response is an example of volunteers working in groups on an as-needed basis.

Premises in first-order logic:
∀x (Volunteer(x) → Receive(x, intangibleBenefit))
∀x (Volunteer(x) → WorkRegularly(x) ⊕ WorkAsNeeded(x))
∃x (Volunteer(x) → Trained(x))
∀x (Volunteer(x) → (WorkInGroup(x) ∨ WorkIndividually(x)))
∀x (Volunteer(x) ∧ Environmental(x) → (ContributeTo(x, environmentalManagement) ∨ ContributeTo(x, environmentalConservation)))
∃x (Volunteer(x) ∧ ContributeTo(x, naturalDisasterResponse) → WorkInGroup(x) ∧ WorkAsNeeded(x))

Conclusions:
Volunteers who participate in natural disaster response receive intangible benefits for their work.
Environmental volunteers work in groups.
To be a volunteer, you must be trained.

Conclusions in first-order logic:
∀x (Volunteer(x) ∧ ContributeTo(x, naturalDisasterResponse) → Receive(x, intangibleBenefit))
∀x (Volunteer(x) ∧ Environmental(x) → WorkInGroup(x))
∀x (Volunteer(x) → Trained(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
U
Premises:
WeTab is a MeeGo-based tablet computer.
WeTab was announced by Neofonie.
Neofonie is a German producer.
Germans live in Germany or abroad. 

Premises in first-order logic:
MeeGoBased(weTab) ∧ TabletComputer(weTab)
∀x (AnnouncedBy(weTab, neofonie))
German(neofonie) ∧ Producer(neofonie)
∀x (German(x) → LiveIn(x, german) ⊕ LiveAbroad(x))

Conclusions:
There is a tablet computer announced by a German producer.
Neofonie doesn't speak English or German.

Conclusions in first-order logic:
∃x ∃y (TabletComputer(x) ∧ German(y) ∧ Producer(y) ∧ AnnouncedBy(x, y))
¬Speak(neofonie, english) ∧ ¬Speak(neofonie, german)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
Carrozzeria Colli is a Milanese coachbuilder company established by Giuseppe Colli in 1931.
Carrozzeria Colli is a company that specializes in using aluminum.
The first automobiles built by Carrozzeria Colli were racing cars.
Some racing cars built by Carrozzeria Colli used Fiat 1100 mechanicals and chassis.
Carrozzeria Colli worked for airforces.
Carrozzeria Colli made car bodies. 

Premises in first-order logic:
Milanese(carrozzeriaColli) ∧ CoachBuilder(carrozzeriaColli) ∧ Company(carrozzeriaColli) ∧ EstablishedBy(carrozzeriaColli, giuseppeColli) ∧ EstablishedIn(carrozzeriaColli, 1931)
Company(carrozzeriaColli) ∧ SpecializesIn(carrozzeriaColli, usingAluminum)
∀x (BuiltBy(x, carrozzeriaColli) ∧ FirstAutomobile(x) → RacingCar(x))
∃x (BuiltBy(x, carrozzeriaColli) ∧ RacingCar(x) ∧ Used(x, fiat1100mechanicals) ∧ Used(x, chassis))
∃x (Airforce(x) ∧ WorkedFor(carrozzeriaColli, x))
∃(CarBody(x) ∧ Made(x, carrozzeriaColli))

Conclusions:
Carrozzeria Colli made car bodies in 1931.
Carrozzeria Colli built airplanes during World War II.
Giuseppe Colli established a company that made car bodies.
Giuseppe Colli established a Milanese coachbuilder company that specialized in using aluminum.
The first automobiles built by Carrozzeria Colli were built using Fiat 1100 mechanicals and chassis.

Conclusions in first-order logic:
∃x (CarBody(x) ∧ Made(x, carrozzeriaColli) ∧ MadeIn(x, 1931))
∃x (Airplane(x) ∧ Made(x, carrozzeriaColli) ∧ MadeDuring(x, worldWarII))
∃x ∃y (Company(x) ∧ EstablishedBy(x, giuseppeColli) ∧ CarBody(y) ∧ Made(y, x))
∃x (Milanese(x) ∧ CoachBuilder(x) ∧ Company(x) ∧ EstablishedBy(x, giuseppeColli) ∧ SpecializesIn(x, usingAluminum))
∃x (BuiltBy(x, carrozzeriaColli) ∧ FirstAutomobil(x) ∧ Used(x, fiat1100mechanicals) ∧ Used(x, chassis))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
U
T
T
U
Premises:
Frederick Monhoff was an architect, artist, and illustrator.
Frederick Monhoff was an American.
An artist is good at physical or conceptual art.
All Americans are American citizens.

Premises in first-order logic:
Architect(monhoff) ∧ Artist(monhoff) ∧ Illustrator(monhoff)
American(monhoff)
∀x (Artist(x) → GoodAt(x, physicalArt) ∨ GoodAt(x, conceptualArt))
∀x (American(x) → AmericanCitizen(x))

Conclusions:
Frederick Monhoff was good at physical art.
No illustrator was an American citizen.

Conclusions in first-order logic:
GoodAt(monhoff, physicalArt)
¬(∃x (Illustrator(x) ∧ AmericanCitizen(x)))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
F
Premises:
All iPhones are electronic.
Some phones are iPhones.

Premises in first-order logic:
∀x (IPhone(x) → Electronic(x))
∃x ∃y (Phone(x) ∧ Phone(y) ∧ IPhone(x) ∧ IPhone(y) ∧ ¬(x=y))

Conclusions:
No phones are electronic.

Conclusions in first-order logic:
∀x (Phone(x) → ¬Electronic(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
Premises:
If a legislator is found guilty of stealing government funds, they will be suspended from office.
Tiffany T. Alston was a legislator in Maryland's House of Delegates from 2011 to 2013.
Tiffany T. Alston was found guilty of stealing government funds in 2012.

Premises in first-order logic:
∀x ((Legislator(x) ∧ StealsFunds(x)) → Suspended(x))
Legislator(tiffanyTAlston)
StealsFunds(tiffanyTAlston) ∧ StealsFundsInYr(tiffanyTAlston, yr2012)

Conclusions:
Tiffany T. Alston was suspended from the Maryland House of Delegates.
Tiffany T. Alston was not suspended from the Maryland House of Delegates.
Tiffany T. Alston went to prison for stealing government funds.

Conclusions in first-order logic:
Suspended(tiffanyTAlston)
¬Suspended(tiffanyTAlston)
Prison(tiffanyTAlston)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
Billings is a city in the state of Montana in U.S.
The state of Montana includes the cities of Butte, Helena, and Missoula.
White Sulphur Springs and Butte are cities in the same state in U.S.
The city of St Pierre is not in the state of Montana.
Any city in Butte is not in St Pierre.
A city can only be in one state in U.S.  except for Bristol, Texarkana, Texhoma and Union City.

Premises in first-order logic:
City(billings) ∧ In(billings, montana)
City(butte) ∧ In(butte, montana) ∧ City(helena) ∧ In(helena, montana) ∧ City(missoula) ∧ In(missoula, montana)
∃x (City(whitesulphursprings) ∧ In(whitesulphursprings, x) ∧ City(butte) ∧ In(butte, x))
City(pierre) ∧ ¬(In(pierre, montana))
∀x ((City(x) ∧ City(butte) ∧ In(x, butte)) → ¬(In(x, pierre)))
∀x ∃y (City(x) ∧ (In(x, y) ∧ ¬(x=bristol) ∧ ¬(x=texarkana) ∧ ¬(x=texhoma) ∧ ¬(x=unionCity)) → ∀z ((z=y) ∨ ¬In(x, z)))

Conclusions:
Butte and St Pierre are in the same state.
St Pierre and Bismarck are in the same state.
Montana is home to the city of Missoula.

Conclusions in first-order logic:
∃x (In(butte, x) ∧ In(stPierre, x))
∃x (City(pierre) ∧ In(pierre, x) ∧ City(bismarck) ∧ In(bismarck, x))
City(missoula) ∧ In(missoula, montana)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
U
T
Premises:
Ainderby Quernhow is a village and civil parish in the Hambleton District.
Hambleton District is in North Yorkshire.
North Yorkshire is in England.
If place A is located in place B and place B is located in place C, then place A is located in place C.

Premises in first-order logic:
Village(ainderbyQuernhow) ∧ CivilParish(ainderbyQuernhow) ∧ In(ainderbyQuernhow, hambletonDistrict)
In(hambletonDistrict, northYorkshire)
In(northYorkshire, england)
∀x ∀y ∀z ((In(x, y) ∧ In(y, z)) → In(x, z))

Conclusions:
There is a village in England.
There is no civil parish in England.

Conclusions in first-order logic:
∃x (Village(x) ∧ In(x, england))
¬(∃x (CivilParish(x) ∧ In(x, england)))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
All Romance languages are Indo-European languages.
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, languageFamily))
∀x ∀y ∀z ((MemberOf(x, z) ∧ MemberOf(y, z)) → (Related(x, y) ∧ Related(y, x)))
RomanceLanguage(french) ∧ RomanceLanguage(spanish)
Related(german, spanish)
∀x (Language(x) → ¬Related(basque, x))

Conclusions:
Basque is a Romance language.
German is a Romance language.
French is an Indo-European language.

Conclusions in first-order logic:
RomanceLanguage(basque)
RomanceLanguage(german)
IndoEuropeanLanguage(french)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
U
T
Premises:
No people who do not admit a mistake are good teachers.
Some well-informed people are people who do not admit a mistake.

Premises in first-order logic:
∀x (¬Admit(x, mistake) → ¬GoodTeacher(x))
∃x ∃y (WellInformed(x) ∧ WellInformed(y) ∧ ¬Admit(x, mistake) ∧ ¬Admit(y, mistake) ∧ ¬(x=y))

Conclusions:
Some good teachers are not well-informed people.

Conclusions in first-order logic:
∃x ∃y (GoodTeacher(x) ∧ GoodTeacher(y) ∧ ¬WellInformed(x) ∧ ¬WellInformed(y) ∧ ¬(x=y))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
Premises:
If a man is taller than another man, the taller one can block the other's shooting.
Michael is a man who is taller than everyone else in his class.
If person x is taller than person y, and person y is taller than person z, then x is taller than z
Peter is a man who is taller than Michael.
Michael can block any shooting from a person as long as the person does not jump when shooting.
Michael cannot block Windy's shooting.
Every shooter who can jump when shooting is a great shooter.

Premises in first-order logic:
∀x ∀y (Man(x) ∧ Man(y) ∧ Taller(x, y) → CanBlock(x, y))
∀x (Man(x) ∧ SameClass(x, michael) ∧ ¬(x=michael) → Taller(michael, x))
∀x ∀y ∀z ((Taller(x, y) ∧ Taller(y, z)) → Taller(x, z))
Man(peter) ∧ Taller(peter, michael)
∀x (¬JumpWhenShooting(x) → CanBlock(michael, x))
¬CanBlock(michael, windy)
∀x (JumpWhenShooting(x) → GreatShooter(x))

Conclusions:
Peter is shorter than a man in Michael's class.
Windy is a great shooter.
Peter can block Windy's shooting.

Conclusions in first-order logic:
∃x (Man(x) ∧ SameClass(x, michael) ∧ ¬Taller(peter, x))
GreatShooter(windy)
CanBlock(peter, windy)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
U
Premises:
Both vegans and vegetarians eat neither meat nor fish.
Vegans don't eat any products that come from animals.
Vegetarians may eat eggs.
Some of the products that come from animals are eggs, milk, and honey.
For some people, being a vegan is good for their health.

Premises in first-order logic:
∀x ((Vegetarian(x) ∨ Vegan(x)) → ¬Eat(x, meat) ∧ ¬Eat(x, fish))
∀x ∀y (Vegan(x) ∧ ComeFrom(y, animals) → ¬Eat(x,y))
∃x (Vegetarian(x) → Eat(x, eggs))
ComeFrom(eggs, animals) ∧ ComeFrom(milk, animals) ∧ ComeFrom(honey, animals)
∃x (Vegan(x) → GoodForHealth(x))

Conclusions:
John is a vegetarian if he eats neither meat nor fish.
Vegans don't eat eggs.
Not eating eggs is good for your health.

Conclusions in first-order logic:
Vegetarian(john) ↔ ¬Eat(john, meat) ∧ ¬Eat(john, fish)
∀x (Vegan(x) → ¬Eat(x, eggs))
∀x (¬Eat(x, eggs) → GoodForHealth(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
U
Premises:
A La Liga soccer team ranks higher than another La Liga soccer team if it receives more points.
If there are two La Liga soccer teams and neither has more points than the other, then the team which receives more points from the games between the two teams ranks higher.
Real Madrid and Barcelona are both La Liga soccer teams.
Real Madrid received more points than Barcelona.
Neither Real Madrid nor Barcelona received more points from the games between them.

Premises in first-order logic:
∀x ∀y (LaLigaSoccerTeam(x) ∧ LaLigaSoccerTeam(y) ∧ MorePoints(x, y) → RankHigherThan(x, y))
∀x ∀y (LaLigaSoccerTeam(x) ∧ LaLigaSoccerTeam(y) ∧ ¬MorePoints(x, y) ∧ ¬MorePoints(y, x) ∧ MorePointsInGameBetween(x, y) →  RankHigherThan(x, y))
LaLigaSoccerTeam(realMadrid) ∧ LaLigaSoccerTeam(barcelona)
MorePoints(realMadrid, barcelona)
¬MorePointsInGameBetween(realMadrid, barcelona) ∧ ¬MorePointsInGameBetween(barcelona, realMadrid)

Conclusions:
Real Madrid ranks higher than Barcelona.
Barcelona ranks higher than Real Madrid.

Conclusions in first-order logic:
RankHigherThan(realMadrid, barcelona)
RankHigherThan(barcelona, realMadrid)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
The USS Lyon was a US Navy ship involved in WWII.
All ships involved in WWII are currently decommissioned or in a museum.

Premises in first-order logic:
USNavyShip(theUSSLyon) ∧ InvolvedIn(theUSSLyon, wWII)
∀x (InvolvedIn(x, wWII) → (CurrentlyDecommissioned(x) ∨ In(x, museum)))

Conclusions:
The USS Lyon is currently decommissioned.

Conclusions in first-order logic:
CurrentlyDecommissioned(theUSSLyon)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
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)
Produces(columbiaPictures, adventuresOfRusty)
Produces(paramount, tintin)
AdventureFilm(tintin)

Conclusions:
Columbia pictures produced some drama film.
Columbia pictures produced some adventure film.
Paramount produces children's films.
Paramount produces adventure films.

Conclusions in first-order logic:
∃x (DramaFilm(x) ∧ Produces(columbiaPictures, x))
∃x (AdventureFilm(x) ∧ Produces(columbiaPictures, x))
∃x (ChildrensFilm(x) ∧ Produces(paramount, x))
∃x (AdventureFilm(x) ∧ Produces(paramount, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
U
T
Premises:
Not all art pieces require talent.
Everything that requires talent requires practice.

Premises in first-order logic:
∃x (ArtPiece(x) ∧ ¬Require(x, talent))
∀x (Require(x, talent) → Require(x, practice))

Conclusions:
There exist art pieces that do not require practice.

Conclusions in first-order logic:
∃x ∃y (ArtPiece(x) ∧ ¬Require(x, practice) ∧ ArtPiece(y) ∧ ¬Require(y, practice) ∧ ¬(x=y))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
The Metropolitan Museum of Art is a museum in NYC.
Whitney Museum of American Art is a museum in NYC.
The Museum of Modern Art (MoMA) is a museum in NYC. 
The Metropolitan Museum of Art includes Byzantine and Islamic Art. 
Whitney Museum of American Art includes American art.

Premises in first-order logic:
Museum(metropolitanMuseumOfArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(whitneyMuseumOfAmericanArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(museumOfModernArt) ∧ In(museumOfModernArt, nYC)
Include(metropolitanMuseumOfArt, byzantineArt) ∧ Include(metropolitanMuseumOfArt, islamicArt)
Include(whitneyMuseumOfAmericanArt, americanArt)

Conclusions:
A museum in NYC includes Byzantine and Islamic Art.
A museum in NYC includes American art.
A museum in NYC includes Greek art.

Conclusions in first-order logic:
∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, byzantineArt) ∧ Include(x, islamicArt))
∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, americanArt))
∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, greekArt))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
U
Premises:
Tame Impala is the psychedelic music project of Australian multi-instrumentalist Kevin Parker.
In the recording studio, Kevin Parker writes, records, performs, and produces all of the project's music. 
As a touring act, Tame Impala members are Kevin Parker, Dominic Simper, Jay Watson, Cam Avery, and Julien Barbagallo.
The Less I Know the Better is the most popular song from Tame Impala.
If a song is the most popular song from Tame Impala, then the song is in the music project of Kevin Parker.

Premises in first-order logic:
PsychedelicMusicProjectOf(tameImpala, kevinParker) ∧ Australian(kevinParker) ∧ Multi-Instrumentalist(kevinParker)
∀x (ProjectsMusic(x) → Wrote(kevinParker, x) ∧ Recorded(kevinParker, x) ∧ Produced(kevinParker, x))
MemberOf(kevinParker, tameImpala) ∧ MemberOf(dominicSimper , tameImpala)∧ MemberOf(jayWatson, tameImpala) ∧ MemberOf(camAvery, tameImpala) ∧ MemberOf(julienBarbagallo, tameImpala)
MostPopularSongFrom(theLessIKnowTheBetter, tameImpala)
∀x (TheMostPopularSongFrom(x, tameImpala) → ProjectsMusic(x))

Conclusions:
The Less I Know the Better was written by Kevin Parker.
The origins of Tame Impala can be found in San Francisco.
Jay Watson is one of the members of Tame Impala.

Conclusions in first-order logic:
Wrote(kevinParker, theLessIKnowTheBetter)
FoundInSanFrancisco(originOfTameImpala)
MemberOf(jayWatson, tameImpala)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
T
Premises:
Olivia doesn't prefer warm temperatures during the day.
When Olivia sleeps, she prefers a cool temperature.
Olivia sleeps during the night.
Olivia works during the day.
Olivia either works or sleeps.
It is either the day or the night.
Olivia either prefers warm temperatures or prefers cool temperatures.

Premises in first-order logic:
∀x (Day(x) → ¬Prefer(olivia, warmTemperature, x))
∀x (Sleep(olivia, x) → Prefer(olivia, coolTemperature, x))
∀x (Night(x) → Sleep(olivia, x))
∀x (Day(x) → Work(olivia, x))
Work(olivia) ⊕ Sleep(olivia)
∀x (Day(x) ⊕ Night(x))
∀x (Prefer(olivia, warmTemperature, x) ⊕ Prefer(olivia, coolTemperature, x))

Conclusions:
At all times, Olivia prefers a cool temperature.

Conclusions in first-order logic:
∀x (Prefer(olivia, coolTemperature, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T