minimario/FOLIO huggingface dataset:
Premises:
If people upgrade to the newest iPhone model every year, then they are not saving money for a down payment on a new house.
If people enjoy reading about tech specs and keeping up to date on the latest technology, then they upgrade to the newest iPhone model every year.
People either are saving money for a down payment on a new house or they live in apartments in big metropolitan cities.
If people live with at least one roommate then they do not own at least one pet.
All people who own at least one pet live with at least one roommate.
If Emma does not both own at least one pet and live in apartments in big metropolitan cities, then Emma either owns at least one pet and lives in an apartment in big metropolitan cities, or she neither owns a pet nor lives in an apartment in big metropolitan cities. 

Premises in first-order logic:
∀x (Iphone(x) → ¬House(x))
∀x (Tech(x) → Iphone(x))
∀x (House(x) ∨ Apartment(x))
∀x (Roommate(x) → ¬Pet(x))
∀x (Apartment(x) → Roommate(x))
¬(Pet(emma) ∧ Apartment(emma)) → ((Pet(emma) ∧ Apartment(emma)) ∨ (¬Pet(emma) ∧ ¬Apartment(emma)))

Conclusion: Emma lives with at least one roommate.
Label: Unknown

Conclusion: Emma enjoys reading about tech specs and keeping up to date on the latest technology.
Label: False
Premises:
If you are on the payroll, then you are being paid by the school.
If someone has a job at a school, then they are on the payroll.
All faculty members have a job at a school.
One can either be a faculty member or a teacher.
Every teacher has students.
If Nancy is a teacher, then they are on the payroll.
If Nancy is not a teacher, then they are not paid by the school.

Premises in first-order logic:
∀x (OnPayroll(x) → PaidBySchool(x))
∀x (JobAtSchool(x) → OnPayroll(x))
∀x (FacultyMember(x) → JobAtSchool(x))
∀x (FacultyMember(x) ∨ Teacher(x))
∀x (Teacher(x) → HasStudents(x))
Teacher(nancy) → OnPayroll(nancy)
¬Teacher(nancy) → ¬OnPayroll(nancy)

Conclusion: Nancy is a faculty member.
Label: Unknown

Conclusion: Nancy is paid by the school and has students.
Label: True

Conclusion: Nancy is not paid by the school and has students.
Label: False
Premises:
Kangaroo is an animal.
No Kangaroos live in Germany.
If Jane saves enough money for the summer, she will fly to Germany.
If Jane flies to Germany, she will go to the Berlin Zoo.
If someone goes to the Berlin Zoo, they will see some of the animals that live in Germany.

Premises in first-order logic:
∀x (Kangaroo(x) → Animal(x))
∀x (Kangaroo(x) → ¬LiveIn(x, germany))
EnoughMoney(jane) → FlyTo(jane, germany)
FlyTo(jane, germany) → GoTo(jane, berlinzoo) 
∀x ∃y (GoTo(x, berlinzoo) ∧ Animal(y) → MaySee(y, x, berlinzoo))

Conclusion: If Jane saves enough money for the summer, she will see a kangaroo.
Label: False
Premises:
If a class has prerequisites the student must take the prerequisites to take the class.
If a class has no prerequisites, then the student can take the class
CPSC 201 and CPSC 223 are prerequisites for CPSC 323.
Intro Microeconomics is the only prerequisite for Intermediate Microeconomics.
Intro Geology has no prerequisites.

Premises in first-order logic:
∀x ∀y ((Prereq(x, y) ∧ Taken(x)) ↔ CanTake(y))
∀x ∀y (¬Prereq(x, y) → CanTake(y))
Prereq(cpsc201, cpsc323) ∧ Prereq(cpsc223, cpsc323)
(Prereq(intromicro, intermediatemicro) ∧ Taken(intromicro)) → CanTake(intermediatemicro)
∀x (¬Prereq(x, introgeology))

Conclusion: CPSC 201 has no prerequisites.
Label: Unknown

Conclusion: If a student took CPSC 201 but did not take CPSC 223, they can take CPSC 323.
Label: False

Conclusion: A student cannot take Intro Geology.
Label: False

Conclusion: Intermediate Microeconomics has one prerequisite.
Label: True
Premises:
A heptalogy, is a compound literary or narrative work that is made up of seven distinct works.
The Harry Potter series consists of 7 distinct works.
The Chronicles of Narnia consists of 7 distinct works.

Premises in first-order logic:
∀x (SevenDistinctWorks(x) → Heptalogy(x))
SevenDistinctWorks(harryPotter)
SevenDistinctWorks(chroniclesofNarnia)

Conclusion: The Harry Potter series of books is a heptalogy.
Label: True

Conclusion: The Chronicles of Narnia series of books is not a heptalogy.
Label: False

Conclusion: The Lord of Rings is a heptalogy.
Label: Unknown
Premises:
All people who attend Renaissance fairs regularly enjoy dressing up in old-fashioned and historical period clothing.
If people are fascinated by the history of the Renaissance and other past eras, then they attend Renaissance fairs regularly.
People are either fascinated by the history of the Renaissance and other past eras, or are not nostalgic academics who enjoy learning.
If people are focused on the future and industry professions, then they are not nostalgic academics who enjoy learning.
If people are historical professors who are passionate about their job and subject, then they are nostalgic academics who enjoy learning.
If Clyde is not focused on the future and industry professions, then he is neither focused on the future and industry professions nor enjoys dressing up in old-fashioned and historical period clothing.

Premises in first-order logic:
∀x (RenaissanceFair(x) → DressingUp(x))
∀x (HistoryRenaissance(x) → RenaissanceFair(x))
∀x (HistoryRenaissance(x) ∨ NotAcademics(x))
∀x (Industry(x) → NotAcademics(x))
∀x (HistoryProf(x) → ¬NotAcademics(x))
¬Industry(clyde) → ¬(Industry(clyde) ∨ DressingUp(clyde))

Conclusion: Clyde attends Renaissance fairs regularly.
Label: Unknown

Conclusion: Clyde is a history professor who is passionate about his job and subject.
Label: False

Conclusion: Clyde is a history professor who is passionate about his job and subject, or is not a nostalgic academic who enjoys learning.
Label: True
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) → ¬IntendedToBeDrivenAtModerateSpeeds(x))
∀x (ForFamilyUse(x) → IntendedToBeDrivenAtModerateSpeeds(x))

Conclusion: No sports cars are automobiles designed for family use.
Label: True
Premises:
If people work well in teams in their workplace, then they get along with all their colleagues at their work.
If people come to work every day with a positive attitude, then they work well in teams in their workplace.
People either come into work every day with a positive attitude or are always tired every morning.
If people get many promotions from their boss at work, then they receive negative feedback from teams at work.
Kat is either both a person who works well in teams in their workplace and is always tired every morning, or she neither works well in teams in their workplace nor is always tired every morning.

Premises in first-order logic:
∀x (WorkTeams(x) → Colleagues(x))
∀x (PositiveAttitude(x) → WorkTeams(x))
∀x (PositiveAttitude(x) ⊕ Tired(x)) ∧ (∀x (Tired(x) → BossPromotions(x)))
∀x (BossPromotions(x) → ¬NegativeFeedback(x))
(WorkTeams(kat) ∧ Tired(kat)) ∨ ¬WorkTeams(kat) ∧ ¬Tired(kat))

Conclusion: Kat is a person who comes to work every day with a positive attitude.
Label: Unknown

Conclusion: Kat gets along with her colleagues at her work and receives negative feedback from teams at her work.
Label: False

Conclusion: Kat either gets along with her colleagues at her work or receives negative feedback from teams at her work.
Label: True
Premises:
Drishti is open-source.
Open-source software is free to modify.

Premises in first-order logic:
OpenSource(drishti)
∀x (OpenSource(x) → ModifyFree(x))

Conclusion: Drishti is free to modify.
Label: True
Premises:
There are five grades including A+, A, B+, B, and C in English.
If a student gets A+ in English, then his score is greater than 95.
If a student gets A in English, then his score is in the range of 90-95.
Zhang got an A in English.
Wang's English score is better than Zhang's.
Wu's English score is lower than 90.

Premises in first-order logic:
Grade(a+) ∨ Grade(a) ∨ Grade(b+) ∨ Grade(b) ∨ Grade(c)
∀x (GetGrade(x, a+) → GreaterThan95(x))
∀x (GetGrade(x, a) → Range90to95(x))
GetGrade(zhang, a)
Better(wang, zhang)
LowerThan90(wu)

Conclusion: Zhang's English score is lower than 95.
Label: True

Conclusion: Wang got an A+ in English.
Label: Unknown

Conclusion: Wu does not get an A or A+ in English.
Label: True
Premises:
Olivia doesn't prefer warm temperature during the day.
When Olivia sleeps, she prefers cool temperature.
Olivia sleeps during the night.
Olivia works during the day.
Olivia either works or sleeps.
The time is either the day or the night.
Olivia either prefers warm temperature or prefers cool temperature.

Premises in first-order logic:
∀x (Day(x) → ¬PrefersWarmAt(olivia, x))
∀x (SleepingDuring(olivia, x) → PrefersCoolAt(olivia, x))
∀x (SleepingDuring(olivia, x) → Night(x))
∀x (WorkingDuring(olivia, x) → Day(x))
∀x (WorkingDuring(olivia, x) ∨ SleepingDuring(olivia, x))
∀x (Day(x) ∨ Night(x))
∀x (PrefersWarmAt(olivia, x) ∨ PrefersCoolAt(olivia, x))

Conclusion: At all times, Olivia prefers cool temperature.
Label: True
Premises:
Taylor Swift gives a commencement speech in New York University in 2022.
Both Columbia University and New York University are located in Manhattan.
Taylor Swift has received three Grammy Album of the Year Awards.
Columbia University is one of the Ivy League schools.

Premises in first-order logic:
Speech(taylorSwift, nyc)
Manhattan(columbiaUniversity) ∧ Manhattan(nyc)
HaveAlbum(taylorSwift)
IvyLeague(columbiaUniversity)

Conclusion: Taylor Swift delivers a commencement speech in Manhattan.
Label: True

Conclusion: The commencement speaker of NYU does not have any album.
Label: False
Premises:
Customers either choose Plan A or Plan B.
All who choose Plan B are rewarded with a $30 gift card. 
There are no customers who do not choose any plans. 
No customers rewarded a $30 gift card are older than 80.
Customers are either older than 80 or are currently studying at school. 
James is not a customer who is currently studying at school. 

Premises in first-order logic:
∀x (PlanA(x) ∨ PlanB(x))
∀x (PlanB(x) → Award(x))
∀x (¬NoPlan(x))
∀x (Award(x) → ¬OlderThan80(x))
∀x (OlderThan80(x) ∨ StudyAtSchool(x))
¬StudyAtSchool(james)

Conclusion: James is a customer who does not choose any plans.
Label: False

Conclusion: James is a customer who chooses Plan A or does not choose any plans.
Label: True

Conclusion: Suppose James is a customer who chooses Plan A or does not choose any plans, then he is either rewarded a $30 gift card or chooses Plan B.
Label: False
Premises:
Detroit City is a horse.
Some horses are racehorses.
If a horse falls during a race, then it dies.
Detroit City fell during a race.
A horse is a racehorse if it is in a race.

Premises in first-order logic:
Horse(detroitcity)
∃x (Horse(x) ∧ Racehorse(x))
∀x (Horse(x) ∧ Racing(x) ∧ Falls(x) → Dead(x))
Racing(detroitcity) ∧ Falls(detroitcity)
∀x (Horse(x) ∧ Racing(x) → Racehorse(x))

Conclusion: Detroit City has been in multiple races.
Label: Unknown

Conclusion: Detroit City is dead.
Label: True

Conclusion: Detroit City is a racehorse.
Label: True
Premises:
Frederick Monhoff was an architect, artist, and illustrator.
Frederick Monhoff was an American.
An artist is good at painting or music.
All Americans speak English.

Premises in first-order logic:
Architect(monhoff) ∧ Artist(monhoff) ∧ Illustrator(monhoff)
American(monhoff)
∀x (Artist(x) → GoodAt(x, painting) ∨ GoodAt(x, music))
∀x (American(x) → Speak(x, english))

Conclusion: Frederick Monhoff is good at music.
Label: Unknown

Conclusion: There is no illustrator who speaks English.
Label: False
Premises:
Miroslav Fiedler was a Czech mathematician.
Miroslav Fiedler is known for his contributions to linear algebra and graph theory.
Miroslav Fiedler is honored by the Fiedler eigenvalue.
Fiedler eigenvalue is the second smallest eigenvalue of the graph Laplacian.

Premises in first-order logic:
Czech(miroslavfiedler) ∧ Mathematician(miroslavfiedler)
KnownFor(miroslavfiedler, contributionsToLinearAlgebraAndGraphTheory)
HonoredBy(miroslavfiedler, fiedlerEigenvalue)
TheSecondSmallestEigenvalueOf(fiedlerEigenvalue, theGraphLaplacian)

Conclusion: Miroslav Fiedler is honored by the second smallest eigenvalue of the graph Laplacian.
Label: True

Conclusion: Miroslav Fiedler was a French mathematician.
Label: Unknown

Conclusion: A Czech mathematician is known for his contributions to linear algebra and graph theory.
Label: True
Premises:
A laptop is a computer.
You can play games on a computer.
A phone is not a computer.

Premises in first-order logic:
∀x (Laptop(x) → Computer(x))
∀x (Computer(x) → CanPlayGames(x))
∀x (Phone(x) → ¬Computer(x))

Conclusion: You can play games on a laptop.
Label: True

Conclusion: You can not play games on a phone.
Label: Unknown
Premises:
Walter Folger Brown was an American politician and lawyer, and served as the postmaster general.
Walter Folger Brown graduated from Harvard University with a Bachelors of Arts.
While they were both in Toledo, Walter Folger Brown's father practiced law with Walter Folger Brown.
Katherin Hafer married Walter Folger Brown.

Premises in first-order logic:
AmericanPolitician(walterbrown) ∧ Lawyer(walterbrown) ∧ ServedAs(walterbrown, postamastergeneral)
Graduated(walterbrown, harvard) ∧ GraduatedWith(walterbrown, bachelorsofart)
In(walterbrown, toledo) ∧ In(walterbrownfather, toledo) ∧ PracticedLawTogether(walterbrownfather, walterbrown)
Married(ketherinhafer, walterbrown)

Conclusion: Walter Folger Brown graduated with a Bachelors of Arts.
Label: True

Conclusion: Walter Folger Brown's father was in Toledo.
Label: True

Conclusion: Walter Folger Brown was not in Toledo.
Label: False
Premises:
All products shipped from China are made in China. 
All products sold in JD are shipped from China. 
All products commonly used in China are sold in JD.
All products favored by young people are commonly used in China. 
MacBook is not made in China and is not commonly used in China.

Premises in first-order logic:
∀x (ShipChina(x) → MadeInChina(x))
∀x (SoldJD(x) → ShipChina(x))
∀x (CommonlyUsedChina(x) → SoldJD(x))
∀x (FavoredByYoungPeople(x) → CommonlyUsedChina(x))
¬(MadeInChina(macbook) ∧ CommonlyUsedChina(macbook))

Conclusion: The MacBook is favored by young people.
Label: False

Conclusion: The MacBook is made in China.
Label: Unknown

Conclusion: The MacBook is favored by young people and commonly used in China.
Label: False

Conclusion: The MacBook is either favored by young people or commonly used in China.
Label: False

Conclusion: If the MacBook is favored by young people and commonly used in China, then it is neither favored by young people nor made in China.
Label: True
Premises:
Oxford Circus is a road junction connecting Oxford Street and Regent Street.
Oxford Street is in London.
John Nash designed the construction on Regent Street.
John Nash designed Oxford Circus.
John Nash is an architect in British.
Oxford Circus is the entrance to Oxford Circus tube station which is a part of the Central line in 1900.

Premises in first-order logic:
OxfordStreet(oxfordCircus) ∧ RegentStreet(oxfordCircus)
∀x (OxfordStreet(x) → London(x))
∃x (RegentStreet(x) ∧ Design(johnNash, x))
Design(johnNash, oxfordCircus)
British(johnNash) ∧ Architect(johnNash)
CentralLine(oxfordCircus)

Conclusion: Oxford Circus is in London.
Label: True

Conclusion: Oxford Circus is designed by a British architect.
Label: True

Conclusion: John Nash designed the Central line in 1900.
Label: Unknown

Conclusion: Regent Street is not in London.
Label: False
Premises:
An animal is either a cat or a dog.
All dogs bark.
Ghosts do not exist.
If something barks, then it is not alive.
A thing is either alive or dead.
Jojo is not dead.

Premises in first-order logic:
∀x (Cat(x) ⊕ Dog(x))
∀x (Dog(x) → Bark(x))
∀x (¬Ghost(x))
∀x (Bark(x) → ¬Alive(x))
∀x (Alive(x) ⊕ Dead(x))
¬Dead(jojo)

Conclusion: Jojo is a ghost.
Label: False

Conclusion: Jojo is a cat or a ghost.
Label: True

Conclusion: If Jojo is a cat or a ghost, then Jojo either barks or is a dog.
Label: False
Premises:
All animals that are tigers are cats.
No cats are dogs.
All Bengal tigers are tigers.
Everything that is a husky is a dog.
Fido is either a Bengal tiger or a cat.

Premises in first-order logic:
∀x (Tiger(x) → Cat(x))
∀x (Cat(x) → ¬Dog(x))
∀x (BengalTiger(x) → Tiger(x))
∀x (Husky(x) → Dog(x))
BengalTiger(fido) ∨ Cat(fido)

Conclusion: Fido is a husky.
Label: False

Conclusion: Fido is not a husky.
Label: True

Conclusion: Fido is a Bengal tiger.
Label: Unknown

Conclusion: Fido is neither a dog nor a husky.
Label: True
Premises:
If a city hold a Summer Olympics, and the city is a US city, then the Summer Olympics will be in the US.
If a city is in a state which is in US, the city is a US city.
If a city in a state, and a Summer Olympics is in this city, then the Summer Olympics is in this state.
The 2028 Summer Olympics is scheduled to take place in Los Angeles(LA).
LA is a city in California(CA).
Atlanta is a US city.
Atlanta is in Georgia(CA).
CA is a state in the United States.
Boxing, modern pentathlon, and weightlifting will be removed from The 2028 Summer Olympics.
Atlanta in the United States hold the 1996 Summer Olympics.

Premises in first-order logic:
∀x ∀y (SummerOlympicsCity(x, y) ∧ CityInCountry(y, us) → SummerOlympicsCountry(x, us))
∀x ∀y (CityInState(x, y) ∧ StateInCountry(y, us) → CityInCountry(x, us))
∀x ∀y ∀z (CityInState(x, y) ∧ SummerOlympicsCity(z, x) → SummerOlympicsState(z, y))
SummerOlympicsCity(y2028, la)
CityInState(la, ca)
CityInCountry(atlanta, us)
StateInCountry(ca, us)
CityInState(atlanta, ga)
¬InSummerOlympics(y2028, boxing) ∧ ¬InSummerOlympics(y2028, modern_pentathlon) ∧ ¬InSummerOlympics(y2028, weightlifting)
SummerOlympicsCity(y1996, atlanta)

Conclusion: The 2028 Summer Olympics will take place in the US.
Label: True

Conclusion: The 1996 Summer Olympics is not in Georgia.
Label: False

Conclusion: Skateboarding will appear at The 2028 Summer Olympics.
Label: Unknown
Premises:
The taiga vole is a large vole found in northwestern North America. 
Cats like playing with all voles.
The taiga vole lives in the boreal taiga zone.
The boreal taiga zone in North America is a cold place to live in.
Taiga vole is typically much larger than most other North American voles, especially those from the genus Microtus.

Premises in first-order logic:
Vole(taigaVole) ∧ Find(taigaVole, northAmerica)
∀x (Vole(x) → CatLikePlayingWith(x))
Live(taigaVole, borealTaigaZone)
∀x (Find(x, northAmerica) ∧ Live(x, borealTaigaZone) → LiveInColdPlace(x))
Larger(taigaVole, microtusVole)

Conclusion: Cats like playing with taiga vole.
Label: True

Conclusion: Taiga vole's living place is not cold.
Label: False
Premises:
Either in women or in men. 
No men have breast cancer.
Either breast cancer or non-breast cancer. 
No type of cancer is without a tumor.
All non-breast cancers are a type of cancer.
If adenocarcinoma is a type of cancer or without a tumor, then adenocarcinoma is in women or without a tumor.

Premises in first-order logic:
∀x (Women(x) ∨ Men(x)) 
 ∀x (Men(x) → ¬BreastCancer(x))
 ∀x (BreastCancer (x) ∨ Non-BreastCancer(x)) 
 ∀x (ATypeOfCancer(x) → ¬WithoutTumor (x)) 
 ∀x (Non-BreastCancer(x) → ATypeOfCancer(x)) 
 ATypeOfCancer(adenocarcinoma) ∨ WithoutTumor(adenocarcinoma) → women(adenocarcinoma) ∨ WithoutTumor(adenocarcinoma)

Conclusion: Adenocarcinoma is a breast cancer.
Label: Unknown

Conclusion: Adenocarcinoma is in women.
Label: True

Conclusion: If adenocarcinoma is in women or without a tumor, then adenocarcinoma is without a tumor and a non-breast cancer.
Label: False
Premises:
Some monitors equipped in the lab are produced by the company named AOC. 
All monitors equipped in the lab are cheaper than their original prices. 
If the monitor is cheaper than its original prices, then its resolution is 1080p. 
If a monitor is with a resolution of 1080p, then it does not support the type-c port. 
LG34 is equipped in the lab.  

Premises in first-order logic:
∃x (Lab(x) ∧ AOC(x))
∀x (Lab(x) → Cheaper(x))
∀x (Cheaper(x) → A1080p(x))
∀x (A1080p(x) → ¬TypeC(x))
Lab(lg-34)

Conclusion: LG34 machine is produced by AOC.
Label: Unknown

Conclusion: LG34 machine does not support the type-c port.
Label: True

Conclusion: LG34 is not with a resolution of 1080p.
Label: False
Premises:
All fruits sold in Boston are shipped from Columbia. 
Some fruits sold in New Haven are shipped from Mexico.
No fruits shipped from Columbia are fruits sold in New York. 
Avocadoe are a kind of fruit sold in New York or New York. 
Avocadoe are either shipped from Columbia and sold in New Haven, or neither shipped from Columbia nor sold in New Haven. 

Premises in first-order logic:
∀x (SoldBoston(x) → ShippedFromColumbia(x))
∃x (SoldNewHaven(x) ∧ ShippedFromMexico(x))
∀x (ShippedFromColumbia(x) → ¬SoldNewYork(x))
SoldNewYork(avocado) ∨ SoldBoston(avocado)
¬(ShippedFromColumbia(avocado) ⊕ SoldNewHaven(avocado))

Conclusion: Avocados are a kind of fruit sold in New York.
Label: Unknown

Conclusion: Avocados are either sold in New York or sold in New Haven.
Label: True

Conclusion: Avocados are either sold in New Haven or sold in Boston
Label: False

Conclusion: If avocados are not sold in New York and not shipped from Columbia, then they are neither sold in New York nor New Haven.
Label: False
Premises:
Some monitors equipped in the library are produced by AOC. 
All monitors equipped in the library are cheaper than 800 dollars. 
All monitors cheaper than 800 dollars are with a resolution of 1080p. 
If a monitor has a resolution of 1080p, then it does not support the type-c port. 
A-2017 supports the type-c port. 

Premises in first-order logic:
∃x (Library(x) ∧ AOC(x))
∀x (Library(x) → Cheap(x))
∀x (Cheap(x) → A1080p(x))
∀x (A1080p(x) → ¬TypeC(x))
TypeC(a-2017)

Conclusion: A-2017 is produced by AOC.
Label: Unknown

Conclusion: A-2017 is produced by AOC and equipped in the library.
Label: False

Conclusion: If A-2017 is not with a resolution of 1080p or produced by AOC, then it is not equipped in the library.
Label: True
Premises:
Sūduva Marijampolė holds the Lithuanian Supercup.
Sūduva Marijampolė is a soccer team.

Premises in first-order logic:
Hold(suduva, thelithuaniansupercup)
SoccerTeam(suduva)

Conclusion: Some soccer team holds the Lithuanian Supercup.
Label: True
Premises:
Ainderby Quernhow is a village and civil parish in the Hambleton District.
Hambleton District is in North Yorkshire.
North Yorkshire is in England.

Premises in first-order logic:
∀x (AinderbyQuernhow(x) → Village(x) ∧ CivilParish(x) ∧ Hambleton(x))
∀x (Hambleton(x) → NorthYorkshire(x))
∀x (NorthYorkshire(x) → England(x))

Conclusion: There is a village in England.
Label: True

Conclusion: There is no civil parish in England.
Label: False
Premises:
Douglas Adams is an author who created the book collection called The Salmon of Doubt. 
The Salmon of Doubt is about life experiences and technology.
All authors are writers.
Writers create innovative ideas.
Some books that contain innovative ideas are about technology.

Premises in first-order logic:
Author(douglasAdams) ∧ Book(theSalmonOfDoubt)
AboutLifeExperience(theSalmonOfDoubt) ∧ AboutTechnology(theSalmonOfDoubt)
∀x (Author(x) → Writer(x))
∀x (Writer(x) → CreateInnovativeIdea(x))
∃x (ContainInnovativeIdea(x) ∧ AboutTechnology(x))

Conclusion: Douglas Adams is a writer.
Label: True

Conclusion: Douglas Adams created innovative ideas.
Label: True

Conclusion: The Salmon of Doubt has no innovative Ideas.
Label: Unknown