minimario/FOLIO huggingface dataset:
Premises:
All imaginative processes are produced in human brains.
All science-fiction is from an imaginative process.
Either science-fiction or fact. 
No facts are proven to be false.
Dune is a science-fiction or proven to be false.

Premises in first-order logic:
∀x (ImaginativeProcess(x) → ProducedInHumanBrains(x))
 ∀x (Science-fiction(x) → ImaginativeProcess(x)) 
 ∀x (Science-fiction(x) ∨ Fact(x))
 ∀x (Fact(x) → ¬ProvedToBeFalse(x)) 
 Science-fiction(dune) ∨ ProvedToBeFalse(dune)

Conclusion: Dune is a fact.
Label: Unknown

Conclusion: Dune is produced in human brains and is an imaginative process.
Label: True

Conclusion: Dune is either produced in human brains or an imaginative process.
Label: False

Conclusion: Dune is produced in human brains and is science fiction.
Label: True

Conclusion: Dune is either produced in human brains or science-fiction.
Label: False

Conclusion: If Dune is produced in human brains and is an imaginative process, then Dune is not produced in human brains and science-fiction.
Label: False

Conclusion: If Dune is either a fact and produced in human brains, or neither a fact nor produced in human brains, then Dune is produced in human brains and science-fiction.
Label: True

Conclusion: If Dune is science-fiction, then Dune is not produced in human brains and science-fiction.
Label: False

Conclusion: If Dune is not produced in human brains and science-fiction, then Dune is neither an imaginative process nor proved to be false.
Label: True

Conclusion: If Dune is not an imaginative process and science-fiction, then Dune is neither produced in human brains nor an imaginative process.
Label: True
Premises:
An American superhero comes from either DC universe or Marvel universe.
Captain America is a superhero.
Captain America is an American.
Captain America does not come from DC universe.
If a superhero is American, he speaks English.
A superhero speaks English or Spanish.

Premises in first-order logic:
∀x (Superhero(x) ∧ American(x) → (ComeFrom(x, dc universe) ⊕ ComeFrom(x, marvel universe))) 
 Superhero(captain america) 
 American(captain america) 
 ¬ComeFrom(captain america, dc universe) 
 ∀x (Superhero(x) ∧ American(x) → Speak(x, english)) 
 ∀x (Superhero(x) → (Speak(x, english) ∨ Speak(x, spanish)))

Conclusion: Captain America does not speak English.
Label: False

Conclusion: Captain America comes from Marvel universe.
Label: True

Conclusion: Captain America speaks Spanish.
Label: Unknown
Premises:
Robert Zimmer was born in Germany.
Robert Zimmer is an essayist.
Robert Zimmer was born in 1953.
Every essayist is a writer.
Every person born in Germany is German.

Premises in first-order logic:
BornInGermany(robertZimmer)
IsEssayist(robertZimmer)
BornIn(robertZimmer, year1953)
∀x (IsEssayist(x) → IsWriter(x))
∀x (BornInGermany(x) → IsGerman(x))

Conclusion: Robert Zimmer is German.
Label: True

Conclusion: Robert Zimmer is not a writer.
Label: False

Conclusion: Robert Zimmer is a biographer.
Label: Unknown
Premises:
All people who repay their loans on time have a high credit score.
Some people with high credit scores and high salaries are approved for mortgages.
John has a high salary.

Premises in first-order logic:
∀x (Repay(x) → HighCreditScore(x))
∃x ((HighCreditScore(x) ∧ HighSalary(x)) → Mortgage(x))
HighSalary(john)

Conclusion: If John repays his loans on time, he will be approved for a mortgage.
Label: Unknown
Premises:
All students are members of the university.
All graduate students are students.
All PhD students are graduate students.
Some PhD students have high IQs.
If John is not a PhD student, then he is not a member of the university.
If John has a high IQ, then he is a PhD student or a graduate student.

Premises in first-order logic:
∀x (Student(x) → MemberOfUniversity(x))
∀x (GraduateStudent(x) → Student(x))
∀x (PhDStudent(x) → GraduateStudent(x))
∃x (PhDStudent(x) ∧ HighIQ(x))
¬PhDStudent(john) → ¬MemberOfUniversity(john)
HighIQ(john) → PhDStudent(john) ⊕ GraduateStudent(john)

Conclusion: John has a high IQ.
Label: False

Conclusion: John does not have a high IQ.
Label: True

Conclusion: John is a PhD student.
Label: Unknown
Premises:
Belgium, France and Germany are European countries.
Paris is the capital of France.
The Eiffel Tower is one of the main tourist attractions located in Paris.
Some people who live in Belgium speak French.
If John goes to Europe, he will see some tourist attractions.
John speaks French.

Premises in first-order logic:
EuropeanCountry(belgium) ∨ EuropeanCountry(france) ∨ EuropeanCountry(germany)
CapitalOf(paris, france)
TouristAttraction(eiffelTower) ∧ LocatedIn(eiffelTower, paris)
∃x (LiveIn(x, belgium) → Speak(x, french))
∃x (GoTo(john, europe) → (See(john, x) ∧ TouristAttraction(x)))
Speak(john, french)

Conclusion: If John goes to Europe, he will see the Eiffel Tower.
Label: Unknown

Conclusion: The Eiffel Tower is located in the capital of France.
Label: True

Conclusion: John lives in Belgium.
Label: Unknown
Premises:
All sports cars are loud.
No loud cars are electric.
If a car is a Ferrari, then it is a sports car.
All cars made in Maranello are Ferrari
If Prius is neither a sports car nor a loud car, then Prius is a Maranello-made car or a loud car.

Premises in first-order logic:
∀x (SportsCar(x) → LoudCar(x))
∀x (LoudCar(x) → ¬ElectricCar(x))
∀x (Ferrari(x) → SportsCar(x))
∀x (MadeInMaranello(x) → Ferrari(x))
∀x (¬SportsCar(prius) ∨ ¬LoudCar(prius) → MadeInMaranello(prius) ∨ LoudCar(prius))

Conclusion: Prius is an electric car.
Label: False

Conclusion: Prius is not an electric car.
Label: True

Conclusion: Prius is a Maranello-made car.
Label: Unknown

Conclusion: If Prius is a Ferrari or a loud car, then Prius is an electric car.
Label: False
Premises:
If something is a plant, then it is not a cute animal.
All flowers are plants.
Every kitten is a cute animal.
If something is grown in a garden, then it is a flower.
Piper is a kitten or a cute animal.

Premises in first-order logic:
∀x (Plant(x) → ¬CuteAnimal(x))
∀x (Flower(x) → Plant(x))
∀x (Kitten(x) → CuteAnimal(x))
∀x (GrownInGarden(x) → Flower(x))
Kitten(piper) ∨ CuteAnimal(piper)

Conclusion: Piper was grown in a garden.
Label: False

Conclusion: Piper was not grown in a garden.
Label: True

Conclusion: Piper is a kitten.
Label: Unknown
Premises:
Guam has participated in the Winter Olympics.
In 1988, the Winter Olympics were held in Calgary.
Guam sent an athlete to the Calgary Winter Olympics.
If Guan sent an athlete to the Calgary Winter Olympics, then it participated in the Calgary Winter Olympics.
Judd Bankert is the only athlete from Guam who has ever competed in the Winter Olympics.

Premises in first-order logic:
ParticipatedIn(guam, winterolympics)
Year(y1988) → BeHeld(winterolympics, calgary)
BeHeld(winterolympics, calgary) → SendAthletes(guam)
SendAthletes(guam) → ParticipatedIn(guam, winterolympics)
BeFrom(bankert, guam) ∧ ParticipatedIn(bankert, winterolympics)

Conclusion: Judd Bankert competed in the 1992 Winter Olympics.
Label: True

Conclusion: Guam has participated in the Summer Olympics at least once.
Label: Unknown
Premises:
Michael O'Donnell is a British physician, journalist, author and broadcaster.
One of the word-setters of My Word! was Michael O'Donnell.
The magazine World Medicine was edited by Michael O'Donnell.
Michael O'Donnell was born in Yorkshire as the son of a general practitioner.

Premises in first-order logic:
British(michael) ∧ Physician(michael) ∧ Journalist(michael) ∧ Author(michael) ∧ Broadcaster(michael)
WordSetter(michael)
Magazine(worldmedicine) ∧ EditedBy(worldmedicine, michael)
∃x (BornIn(michael, yorkshire) ∧ Son(michael, x) ∧ GeneralPractitioner(x))

Conclusion: The son of a general practitioner was a word-setter of My Word!.
Label: True

Conclusion: World Medicine is not a magazine.
Label: False

Conclusion: There are no British authors.
Label: False

Conclusion: There are no journalists that were born in Yorkshire.
Label: False

Conclusion: There is a son of a general practitioner that is not an author.
Label: Unknown
Premises:
No homework is fun.
Some reading is homework.

Premises in first-order logic:
∀x (Homework(x) → ¬IsFun(x))
∃x (IsReading(x) ∧ Homework(x))

Conclusion: Some reading is fun.
Label: Unknown
Premises:
If violence is good, it is justified.
If something is justified, it is lawful.

Premises in first-order logic:
∀x ((Violence(x) ∧ Good(x)) → Justified(x))
∀x (Justified(x) → Lawful(x))

Conclusion: If violence is good, it is lawful.
Label: True
Premises:
All people who have a horse ranch regularly ride horses for pleasure and sport.
All people who have a lot of disposable income have a horse ranch.
If people compete in horse dressage shows, then they have a lot of disposable income.
If people compete in horse dressage shows, then they have invested in high-quality equestrian gear and equipment.
If people regularly ride horses for pleasure and sport, then they do not live in cramped residential buildings.
Manny either has a horse ranch and lives in cramped residential buildings, or he neither has a horse ranch nor lives in cramped residential buildings.

Premises in first-order logic:
∀x (Ranch(x) → RegularlyRide(x))
∀x (DisposableIncome(x) → Ranch(x))
∀x (Compete(x) → DisposableIncome(x))
∀x (Compete(x) → Invested(x))
∀x (RegularlyRide(x) → ¬Cramped(x))
(Ranch(manny) ∧ Cramped(manny)) ⊕ (¬Ranch(manny) ∧ ¬Cramped(manny))

Conclusion: Manny regularly rides horses for pleasure and sport.
Label: Unknown

Conclusion: Manny competes in horse dressage shows and has invested in high-quality equestrian equipment and gear.
Label: False

Conclusion: If Manny either has a horse ranch or competes in horse dressage shows, then Manny has not invested in high-quality equestrian equipment and gear.
Label: True
Premises:
A roundel is a rounded artillery fortification.
A roundel is not higher than adjacent walls. 
Cannons can be deployed on artillery fortifications. 
Roundels are the oldest artillery fortifications.
Battery towers are an artillery fortification.

Premises in first-order logic:
∀x (Roundel(x) → Rounded(x) ∧ ArtilleryFortification(x))
∀x ∀y (Roundel(x) ∧ AdjacentWall(y) → ¬Higher(x, y))
∀x (ArtilleryFortification(x) → DeployCannons(x))
∀x ∀y (Roundel(x) ∧ ArtilleryFortification(x) ∧ ArtilleryFortification(y) → Older(x, y))
∀x (BatteryTower(x) → ArtilleryFortification(x))

Conclusion: Cannons can be deployed on battery towers.
Label: True

Conclusion: Roundels are older than battery towers.
Label: True

Conclusion: Battery towers are higher than adjacent walls.
Label: Unknown

Conclusion: Roundels can be deployed on roundels.
Label: True
Premises:
All tissues are soft.
Some papers are tissues.

Premises in first-order logic:
∀x (Tissue(x) → Soft(x))
∃x (Paper(x) ∧ Tissue(x))

Conclusion: Some papers are hard.
Label: Unknown
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) → GetIntangibleBenefits(x))
∀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))

Conclusion: Volunteers who participate in natural disaster response receive intangible benefits for their work.
Label: True

Conclusion: Environmental volunteers work in groups.
Label: Unknown

Conclusion: To be a volunteer, you must be trained.
Label: Unknown
Premises:
All people who are very consistent and enjoy sticking to their regular routines do not like surprises.
If people wear flannel shirts every day, then they are very consistent and enjoy sticking to their regular routines.
If people do not like shopping for clothes and other materialistic goods, then they wear flannel shirts every day.
All old people living in stable homes do not like surprises.
If people have very high energy and are impulsive, then they like surprises.
If Mike is not a person who wears flannel shirts every day and has very high energy and is impulsive, then Mike either is very consistent and enjoys sticking to his regular routines or does not like surprises.

Premises in first-order logic:
∀x (Consistent(x) → NoSurprises(x))
∀x (Flannel(x) → Consistent(x))
∀x (NoShopping(x) → Flannel(x))
∀x (Old(x) → NoSurprises(x))
∀x (Impulsive(x) → ¬NoSurprises(x))
¬(NoSurprises(mike) ∧ Impulsive(mike)) → Consistent(mike) ⊕ NoSurprises(mike)

Conclusion: Mike is an old person living in a stable home.
Label: Unknown

Conclusion: If Mike wears flannel shirts every day or does not like shopping for clothes and other materialistic goods, then Mike is neither an old person living in a stable home nor does not like shopping for clothes and other materialistic goods.
Label: True

Conclusion: If Mike is not an old person living in a stable home and does not like shopping for clothes and other materialistic goods, then Mike does not like shopping for clothes and other materialistic goods.
Label: False
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 (Owns(adam, x))
∃x (Favorite(adam, x))
∀x ((Owns(adam, x) ∧ Favorite(adam, x)) → European(x))
∀x ((Owns(adam, x) ∧ Favorite(adam, x)) → Broke(adam, x))

Conclusion: Adam owns a Japanese car.
Label: Unknown

Conclusion: Adam broke a European car.
Label: True
Premises:
No buildings in New Haven are higher than 400 meters. 
All buildings managed by Yale Housing are in New Haven. 
All buildings in Manhattan are higher than 400 meters. 
All buildings owned by Bloomberg are in Manhattan. 
All buildings with the Bloomberg logo are buildings owned by Bloomberg. 
Tower A is neither in New Haven nor in Manhattan.
Tower B is a building with the Bloomberg logo and in Manhattan. 

Premises in first-order logic:
∀x (NewHaven(x) → ¬High(x))
∀x (YaleHousing(x) → NewHaven(x))
∀x (Manhattan(x) → High(x))
∀x (Bloomberg(x) → Manhattan(x))
∀x (BloombergLogo(x) → Bloomberg(x))
¬(NewHaven(towera) ⊕ Manhattan(towera))
BloombergLogo(towerb) ∧ Manhattan(towerb)

Conclusion: Tower A is higher than 400 meters.
Label: Unknown

Conclusion: Tower A is not higher than 400 meters.
Label: Unknown

Conclusion: Tower A is a building with the Bloomberg logo or managed by Yale Housing.
Label: False

Conclusion: Tower A is neither a building with the Bloomberg logo nor managed by Yale Housing.
Label: True
Premises:
No fish are birds.
Everything that is an osprey is a bird.
If something is a carp, then it is a fish.
All goldfish are carp.
If Bubbles is either an osprey or a goldfish, then Bubbles is not a fish.

Premises in first-order logic:
∀x (Fish(x) → ¬Bird(x))
∀x (Osprey(x) → Bird(x))
∀x (Carp(x) → Fish(x))
∀x (Goldfish(x) → Carp(x))
Osprey(bubbles) ⊕ Carp(bubbles) → ¬Fish(bubbles)

Conclusion: Bubbles is an Osprey.
Label: Unknown

Conclusion: Bubbles is a carp.
Label: False

Conclusion: Bubbles is not a carp.
Label: True
Premises:
Mr. and Mrs. Smith make a travel plan, they want to go to a city in California or Florida, and where neither of them has ever been.
Cities in California that they are interested in are San Francisco, Los Angeles, and San Diego.
Cities in Florida that they are interested in are Orlando and Miami.
Mr. Smith has been to two cities in California.
Mrs. Smith has been to one city in Florida.

Premises in first-order logic:
∀x (WantToGo(x) → (California(x) ∨ Florida(x)) ∧ (NeverGo(x)))
∀x (((SanFrancisco(x) ∨ LosAngeles(x) ∨ SanDiego(x)) ∧ California(x)) → WantToGo(x))
∀x ((Orlando(x) ∨ Miami(x)) ∧ Florida(x)) → WantToGo(x))
CaliforniaCityVisited(mr.smith, two)
FloridaCityVisited(mrs.smith, one)

Conclusion: Mr. Smith has been to San Francisco.
Label: Unknown

Conclusion: They have at leat one candidate city in Florida to visit.
Label: Unknown

Conclusion: They have at least two candidate cities in California to visit.
Label: Unknown
Premises:
Everything is either big or small.
All big things are heavy. 
All small things are light. 
All heavy things are still.
All light things are unstable.
All unstable things are changing.
All unstable things are kinetic. 
A bird is not both heavy and still.

Premises in first-order logic:
∀x (Big(x) ⊕ Small(x))
∀x (Big(x) → Heavy(x))
∀x (Small(x) → Light(x))
∀x (Heavy(x) → Still(x))
∀x (Light(x) → Unstable(x))
∀x (Unstable(x) → Changing(x))
∀x (Unstable(x) → Kinetic(x))
¬(Heavy(bird) ∧ Still(bird))

Conclusion: A bird is still.
Label: Unknown

Conclusion: A bird is not still.
Label: Unknown

Conclusion: A bird is kinetic and changing.
Label: True

Conclusion: A bird is kinetic or changing.
Label: True

Conclusion: A bird is either kinetic or changing.
Label: False

Conclusion: If a bird is small or still, then the bird is either kinetic or changing.
Label: False
Premises:
DI Ray is a police procedural television series.
DI Ray was created and written by Maya Sondhi.
DI Ray was produced by Jed Mercurio.
Maya Sondhi and Jed Mercurio are both British.

Premises in first-order logic:
TelevisionSeries(diRay)
Create(maya, diRay) ∧ Write(maya, diRay)
Produce(jed, diRay)
British(maya) ∧ British(jed)

Conclusion: DI Ray was created by a Brit.
Label: True

Conclusion: Some Brit produced a television series.
Label: True
Premises:
All men are human.
All gentlemen are men.
All lawyers are gentlemen.
All women are human.
No sheep are human.
If Mike is not both a human and a sheep, then Mike is either a man or a human.

Premises in first-order logic:
∀x (Man(x) → Human(x))
∀x (Gentleman(x) → Man(x))
∀x (Lawyer(x) → Gentleman(x))
∀x (Woman(x) → Human(x))
∀x (Sheep(x) → ¬Human(x))
(¬Human(mike) ∨ ¬Sheep(mike)) → Man(mike) ⊕ Human(mike)

Conclusion: Mike is a woman.
Label: Unknown

Conclusion: If Mike is a gentleman or a lawyer, then Mike is neither a woman nor a lawyer.
Label: True

Conclusion: If Mike is not both a woman and a lawyer, then Mike is a lawyer.
Label: False
Premises:
Some defenders are centerback.
All defenders are soccer players.
No soccer players are professional basketball players.
All NBA players are professional basketball players.
Stephen Curry is an NBA player.

Premises in first-order logic:
∃x (Defender(x) ∧ Centerback(x))
∀x (Defender(x) → SoccerPlayer(x))
¬(∃x (SoccerPlayer(x) ∧ ProfessionalBasketballPlayer(x)))
∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x))
NBAPlayer(stephencurry)

Conclusion: Stephen Curry is a centerback.
Label: Unknown

Conclusion: Stephen Curry is not a centerback and a defender.
Label: False

Conclusion: If Stephen Curry is not a centerback and a defender, then Stephen Curry is neither a soccer player nor a professional basketball player.
Label: True
Premises:
If a person doesn't have enough money to buy a product, then that person can't buy it.
Monitors are products.
4k monitors are more expensive than 1080 monitors and 2k monitors.
John is a person.
John doesn't have enough money to buy a 2k monitor.

Premises in first-order logic:
∀x ∀y (Person(x) ∧ Product(y) ∧ ¬HaveEnoughMoneyFor(x, y) → ¬Buy(x, y))
∀x (Monitor(x) → Product(x))
∀x ∀y ∀z (Monitor(x) ∧ Monitor(y) ∧ Monitor(z) ∧ FourK(x) ∧ OneOEightO(y) ∧ TwoK(z) → MoreExpensive(x, y) ∧ MoreExpensive(x, z))
Person(john)
∀x (Monitor(x) ∧ TwoK(x) → ¬HaveEnoughMoneyFor(john, x))

Conclusion: John can not buy the 1080 monitor.
Label: Unknown

Conclusion: John can not buy the 2k monitor.
Label: True
Premises:
All artificial satellites are important scientific achievements.
Some artificial satellites are not U.S. inventions.

Premises in first-order logic:
∀x (ArtificialSatellite(x) → ImportantScientificAchievement(x))
∃x (ArtificialSatellite(x) ∧ ¬USInvention(x))

Conclusion: All important scientific achievements are U.S. inventions.
Label: False
Premises:
Some cats are not pets.
All cats are mammals.

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

Conclusion: Some mammals are not pets.
Label: True
Premises:
If people visit a coffee shop at least three times a week, then they are addicted to coffee or other caffeinated drinks.
People either visit a coffee shop at least three times a week or order takeout at least once a day.
If people make a lot of their own food at home using recipes and online guides, then they order takeout at least once a day.
If people own at least one coffeemaker and one blender in their home, then they do not order takeout at least once a day.
All people who lead very busy lives that include 12-hour work hours make a lot of their own food at home using recipes and online guides.
Sam is either both addicted to coffee or other caffeinated drinks or leads very busy lives that include 12-hour work hours, or she is neither addicted to coffee and other caffeinated drinks nor leads very busy lives that include 12-hour work hours

Premises in first-order logic:
∀x (CoffeeShop(x) → CaffeineAddict(x))
∀x (CoffeeShop(x) ∨ Takeout(x))
∀x (MakeFood(x) → Takeout(x))
∀x (KitchenAppliance(x) → ¬Takeout(x))
∀x (Busy(x) → MakeFood(x))
(CaffeineAddict(sam) ∧ Busy(sam)) ⊕ (¬CaffeineAddict(sam) ∧ ¬Busy(sam))

Conclusion: Sam is addicted to coffee and other caffeinated drinks.
Label: Unknown

Conclusion: Sam owns at least one coffeemaker and one blender in her home.
Label: False

Conclusion: Sam either owns at least one coffeemaker and one blender in her home or orders takeout at least once a day.
Label: True
Premises:
No professional basketball players are soccer players.
All NBA players are professional basketball players.
All defenders are soccer players.
All centerbacks are defenders.
Roger Federer is not an NBA player or a defender.

Premises in first-order logic:
¬(∃x (SoccerPlayer(x) ∧ ProfessionalBasketballPlayer(x)))
∀x (NBAPlayer(x) → ProfessionalBasketballPlayer(x))
∀x (Defender(x) → SoccerPlayer(x))
∀x (Centerback(x) → Defender(x))
¬(NBAPlayer(rogerfederer) ⊕ Defender(rogerfederer))

Conclusion: Roger Federer is a centerback.
Label: False

Conclusion: Roger Federer is not a centerback.
Label: True

Conclusion: Roger Federer is a soccer player.
Label: Unknown
Premises:
Some teachers working at a pool are not nice.
All teachers working at pools are pool managers.
All pool managers are lifeguards.
If someone is a lifeguard, then they work at a pool.
Mary does not work at a pool.

Premises in first-order logic:
∃x (TeacherWorkingAtPool(x) ∧ ¬Nice(x))
∀x (TeacherWorkingAtPool(x) → PoolManager(x))
∀x (PoolManager(x) → Lifeguard(x))
∀x (Lifeguard(x) → WorkAtPool(x))
¬WorkAtPool(mary))

Conclusion: Mary is nice.
Label: Unknown

Conclusion: Mary is not nice and is a teacher working at a pool.
Label: True

Conclusion: Mary is nice and is a teacher working at a pool.
Label: False
Premises:
Not all art pieces require talent.
Everything that requires talent requires practice.

Premises in first-order logic:
∃x (ArtPiece(x) ∧ ¬RequiresTalent(x))
∀x (RequiresTalent(x) → RequiresPractice(x))

Conclusion: There exist art pieces that do not require practice.
Label: True
Premises:
Bernarda Bryson Shahn was a painter and lithographer.
Bernarda Bryson Shahn was born in Athens, Ohio. 
Bernarda Bryson Shahn was married to Ben Shahn.
People born in Athens, Ohio are Americans.

Premises in first-order logic:
Painter(bernardaBrysonShahn) ∧ Lithographer(bernardaBrysonShahn) 
BornIn(bernardaBrysonShahn, athensOhio)
MarriedTo(bernardaBrysonShahn, benShahn)
∀x (BornIn(x, athensOhio) → American(x))

Conclusion: Bernarda Bryson Shahn was born in Greece.
Label: Unknown

Conclusion: Bernarda Bryson Shahn was American.
Label: True

Conclusion: Bernarda Bryson Shahn had been divorced once.
Label: Unknown