minimario/FOLIO huggingface dataset:
Premises:
There are two kitchens in the house: the upstairs kitchen and the downstairs kitchen.
When someone is cooking in the downstairs kitchen, the first floor becomes smokey unless the air conditioner is running.
If the air conditioner is running and someone is cooking in the downstairs kitchen, all the smoke travels to the second floor.

Premises in first-order logic:
∀x (Kitchen(x) → Up(x) ⊕ Down(x))
(Cook(downstairs) ∧ ¬Run(ac)) → Smokey(firstFloor)
(Cook(downstairs) ∧ Run(ac)) → Smokey(secondFloor)

Conclusion: If someone is cooking downstairs, it will always cause the first floor to become smokey.
Label: Unknown

Conclusion: If someone is cooking upstairs, the first floor will become smokey.
Label: Unknown

Conclusion: If someone is cooking downstairs and the air conditioner is running, there will be smoke upstairs.
Label: True
Premises:
New York City is Located in the United States of America.
United States of America is part of North America.
North America is in the western hemisphere of the earth.
New York City is a highly developed city.
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:
Locate(nyc, usa)
Locate(usa, northAmerica)
Locate(northAmerica, westHemisphere)
HighlyDeveloped(nyc)
∀x ∀y ∀z ((Locate(x, y) ∧ Locate(y, z)) → Locate(x, z))

Conclusion: A highly developed city is located in the western hemisphere of the earth.
Label: True

Conclusion: USA is not located in western hemisphere of the earth.
Label: False

Conclusion: New York City is located in the New York State.
Label: Unknown
Premises:
Callus 4 is a poem that was written by the ancient Roman writer Catullus.
Callus 4 is a story about the retirement of a well-traveled ship.
There is a strong analogy of human aging in the poem Callus 4.
Callus 4 is written in an unusual iambic trimeter to convey a sense of speed over the waves.

Premises in first-order logic:
Poem(callus4) ∧ WrittenBy(callus4, catullus) ∧ Roman(catullus)
RetirementShip(callus4)
Poem(callus4) → AgingAnalogy(callus4)
Poem(callus4) → Lambic(callus4) ∧ Waves(callus4)

Conclusion: There exists a poem written by an ancient Roman writer with a strong analogy of human aging.
Label: True

Conclusion: There exists a poem written by an ancient Roman writer written in iambic petameter.
Label: Unknown

Conclusion: Callus 4 is written in an unusual iambic trimeter to convey a strong analogy of human aging.
Label: False
Premises:
Westworld is an American science fiction-thriller TV series.
In 2016, a new television series named Westworld debuted on HBO.
The TV series Westworld is adapted from the original film in 1973, which was written and directed by Michael Crichton.
The 1973 film Westworld is about robots that malfunction and begin killing the human visitors.

Premises in first-order logic:
TVSeries(westworld) ∧ American(westworld) ∧ ScienceFictionThriller(westworld)
Debut(westworld, year2016)
∃x (Adapt(westworld, x) ∧ Produce(x, year1973) ∧ Write(michael, x) ∧ Direct(michael, x))
About(westworld, robots)

Conclusion: Michael Crichton has directed a film about robots.
Label: Unknown

Conclusion: An American TV series debuted in 2016.
Label: True
Premises:
The 2008 Summer Olympics were held in Beijing, China.
The 2008 Summer Olympics were the second Summer Olympic Games to be held in a communist state.
China won the most gold medals (48) in the 2008 Summer Olympics.
The United States placed second in the gold medal tally but won the highest number of medals overall (112) in the 2008 Summer Olympics.
The third place in the gold medal tally was achieved by Russia in the 2008 Summer Olympics.
If a country places third in gold medals, then they had fewer gold medals than the team that won the most gold medals.
87 countries won at least one medal during the 2008 Games.

Premises in first-order logic:
HeldIn(summer2008olympics, beijingchina)
SecondToBe(summer2008olympics, heldincommuniststate)
Won(china, mostgoldmedals)
Placed(unitedstates, secondingoldmedals) ∧ Won(unitedstates, highestnumberofmedals)
Placed(russia, thirdingoldmedals)
∀x ∀y (Placed(x, thirdingoldmedals) ∧ Won(y, mostgoldmedals) → FewerGoldMedalsThan(x, y))
∃x (Country(x) ∧ Won(x, medal))

Conclusion: Russia did not win fewer gold medals than China.
Label: False

Conclusion: The United States won fewer gold medals than China.
Label: Unknown

Conclusion: Russia won fewer gold medals than China.
Label: True
Premises:
Xiufeng, Xiangshan, Diecai, Qixing are districts in the city of Guilin.
Yangshuo is not a district in Guilin. 

Premises in first-order logic:
DistrictIn(xiufeng, guilin) ∧ DistrictIn(xiangshan, guilin) ∧ DistrictIn(diecai, guilin) ∧ DistrictIn(qixing, guilin) ∧ City(guilin)
¬DistrictIn(yangshuo, guilin)

Conclusion: Xiangshan and Diecai are districts in the same city.
Label: True

Conclusion: Xiufeng is in Guilin.
Label: True

Conclusion: Kowloon District is in Hong Kong.
Label: Unknown
Premises:
All people who grow their own fresh vegetables in their home garden also have ample space.
If people are young working professionals who live in large cities, then they do not have ample space.
If people order takeout from delivery services often, then they grow their own fresh vegetables in their home garden.
If people enjoy going out often to restaurants with friends, then they order takeout from delivery services often.
If people regularly tout the benefits of homegrown and homecooked meals over fast food, then they enjoy going out often to restaurants with friends. 
Michael grows his own fresh vegetables in his home garden or regularly touts the benefits of homegrown and homecooked meals over fast food.

Premises in first-order logic:
∀x (Garden(x) → Space(x))
∀x (Professional(x) → ¬Space(x))
∀x (Takeout(x) → Garden(x))
∀x (GoingOut(x) → Takeout(x))
∀x (Homecooked(x) → GoingOut(x))
Garden(michael) ∨ Homecooked(michael)

Conclusion: Michael enjoys going out often to restaurants with friends.
Label: Unknown

Conclusion: Michael is a young working professional who lives in large cities.
Label: False

Conclusion: Michael grows his own fresh vegetables in their home garden or is a young working professional who lives in large cities.
Label: True
Premises:
All devices belonging to the company are connected to Google Home. 
All devices belonging to employees are connected to the company's wifi. 
All devices connected to Google Home are controlled by the managers. 
All devices that connect to the company's wifi are easy to operate. 
IPod1 belongs to employees. 

Premises in first-order logic:
∀x (Company(x) → GoogleHome(x))
∀x (Employee(x) → Wifi(x))
∀x (GoogleHome(x) → Controlled(x))
∀x (Wifi(x) → EasyToOperate(x))
Employee(iPod1)

Conclusion: iPod1 is easy to operate.
Label: True

Conclusion: iPod1 is controlled by managers.
Label: Unknown

Conclusion: iPod1 is connected to Google Home.
Label: Unknown
Premises:
No touring musicians are permanent members of an orchestra.
Musicians are either permanent members of an orchestra or have a unique musical voice or style.
All musicians who have a unique musical voice or style are interesting as individual performers.
All musicians who are interesting as individual performers are capable of attracting large audiences.
If Ryan is interesting as an individual performer and has a unique musical voice or style, then Ryan is either a touring soloist musician and capable of attracting large audiences, or neither a touring soloist musician nor capable of attracting large audiences.

Premises in first-order logic:
∀x (Orchestra(x) → ¬Touring(x))
∀x (Orchestra(x) ⊕ Unique(x))
∀x (Unique(x) → Interesting(x))
∀x (Interesting(x) → Capable(x))
(Interesting(ryan) ∧ Unique(ryan)) → ¬(Touring(ryan) ⊕ Capable(ryan))

Conclusion: Ryan is interesting as an individual performer.
Label: Unknown

Conclusion: Ryan is either a permanent member of an orchestra or a touring soloist musician.
Label: True

Conclusion: Ryan is either a permanent member of an orchestra or has a unique musical voice or style.
Label: True
Premises:
If someone yells, then they are not cool.
If someone is angry, then they yell.
If someone flies, then they are cool.
Every person that knows magic can fly.
All wizards know magic.
Harry either yells and flies, or neither yells nor flies.
Potter is a wizard and flies.

Premises in first-order logic:
∀x (Yell(x) → ¬Cool(x))
∀x (Angry(x) → Yell(x))
∀x (Fly(x) → Cool(x))
∀x (KnowMagic(x) → Fly(x))
∀x (Wizard(x) → KnowMagic(x))
(Yell(harry) ∧ Fly(harry)) ⊕ (¬Yell(harry) ∧ ¬Fly(harry))
Wizard(potter) ∧ Fly(potter)

Conclusion: Harry is cool.
Label: Unknown

Conclusion: Harry is not cool.
Label: Unknown

Conclusion: Harry is a wizard or angry.
Label: False

Conclusion: Harry is neither a wizard nor angry.
Label: True
Premises:
Products are either produced in China or the US. 
All produced in China are labeled. 
All produced in the US are sold in the US. 
If labeled, then the product is cheaper. 
All sold in the US are sold in Walmart. 
All displayed on the homepage are sold in Walmart. 
No products returned by customers are sold in Walmart. 
G-910 is either displayed on the homepage or cheaper.

Premises in first-order logic:
∀x (China(x) ⊕ US(x))
∀x (China(x) → Labeled(x))
∀x (US(x) → SoldInUS(x))
∀x (Labeled(x) → Cheaper(x))
∀x (SoldInUS(x) → SoldInWalmart(x))
∀x (DisplayedInHomepage(x) → SoldInWalmart(x))
∀x (ReturnedByCustomer(x) → ¬SoldInWalmart(x))
¬(DisplayedInHomepage(g910) ⊕ Cheaper(g910))

Conclusion: G-910 is displayed on the homepage.
Label: Unknown

Conclusion: G-910 is not displayed on the homepage.
Label: Unknown

Conclusion: G-910 is a product returned by customers.
Label: False

Conclusion: G-910 is a product returned by customers or sold in Walmart.
Label: True

Conclusion: G-910 is either returned by customers or sold in Walmart.
Label: True
Premises:
People either order a lot of Amazon packages or are environmentally conscious.
If people order a lot of Amazon packages, then they get a lot of daily mail delivered.
If people are environmentally conscious, then they have solar panels in their homes.
If people get a lot of daily mail delivered, then they are very involved with their neighborhood.
If people have solar panels in their homes, then they save a lot of money.
If Marcy either gets a lot of mail and is very involved with her neighborhood or if she does not order a lot of Amazon packages nor is very involved with her neighborhood, then Marcy does not both get a lot of daily mail and order a lot of Amazon packages. 

Premises in first-order logic:
∀x (Amazon(x) ⊕ Environmental(x))
∀x (Amazon(x) → DailyMail(x))
∀x (Environmental(x) → Solar(x))
∀x (DailyMail(x) → Neighborhood(x))
∀x (Solar(x) → SaveMoney(x))
¬(DailyMail(marcy) ⊕ Neighborhood(marcy)) → (¬DailyMail(marcy) ∨ ¬Amazon(marcy))

Conclusion: Marcy either orders a lot of Amazon packages or saves a lot of money.
Label: True

Conclusion: If Marcy is not a person who orders a lot of Amazon packages and is very environmentally conscious, then Taylor is not someone who saves a lot of money and is environmentally conscious.
Label: False
Premises:
Indonesia is a country.
In Indonesia, the prosecutor only personally investigates cases of some special crimes.
Corruption is a type of crime.
Once the police complete investigations of a crime, they hand the evidence to the prosecutor. 
Evidence can be either satisfactory or unsatisfactory.
If the police hand the evidence to the prosecutor and the evidence is satisfactory, the prosecutor will prosecute the offender in an appropriate court.

Premises in first-order logic:
Country(indonesia)
∃x ∃y (Country(indonesia) ∧ Prosecutor(x) ∧ Crime(y) → InvestigatePersonally(x, y))
Crime(corruption)
∀x ∀y (Crime(y) ∧ PoliceCompInves(y) ∧ Prosecutor(x) → Evidence(y) ∧ HandToProsecutor(x, y))
∀x (Crime(x) ∧ Evidence(x) ∧ (Satisfactory(x) ⊕ Unsatisfactory(x)))
∀x ∀y (Evidence(y) ∧ HandToProsecutor(x, y) ∧ Satisfactory(y) → ProsecuteTheOffender(x, y))

Conclusion: When the police complete investigations, the prosecutor will prosecute the offender at an appropriate court.
Label: Unknown

Conclusion: In Indonesia, the prosecutor personally investigates cases of corruption.
Label: Unknown

Conclusion: When the police complete investigations, the prosecutor investigates in personally.
Label: Unknown
Premises:
No watch that is battery-powered is automatic.
All digital watches are battery-powered.
Some mechanical watches are automatic.
All smart watches are digital.
Moonwatch is not a digital watch or an automatic.

Premises in first-order logic:
∀x (BatteryPoweredWatch(x) → ¬AutomaticWatch(x))
∀x (DigitalWatch(x) → BatteryPoweredWatch(x))
∃x (MechanicalWatch(x) ∧ AutomaticWatch(x))
∀x (SmartWatch(x) → DigitalWatch(x))
¬DigitalWatch(moonwatch) ⊕ AutomaticWatch(moonwatch)

Conclusion: Moonwatch is a mechanical watch.
Label: Unknown

Conclusion: Moonwatch is a smartwatch and a mechanical watch.
Label: False

Conclusion: If Moonwatch is a smartwatch and a mechanical watch, then Moonwatch is not a mechanical watch.
Label: True

Conclusion: If Moonwatch is a mechanical or battery-powered watch, then Moonwatch is not a smartwatch.
Label: True
Premises:
If a person can distinguish the taste of different condiments, then he/she can also use different condiments to cook.
People who have the talent of cooking can distinguish the taste of different condiments.
Only people with the talent of cooking can make delicious meals.
If the meal is popular at the party, then it is delicious.
John can make meals which are popular at the party.

Premises in first-order logic:
∀x (People(x) ∧ DistinguishCondiments(x) → UseDiffCondiments(x)) ∧ (∃x (People(x) ∧ ¬DistinguishCondiments(x) ∧ UseDiffCondiments(x))) ∧ ¬(∀x (People(x) ∧ DistinguishCondiments(x)))
∀x (People(x) ∧ TalentCooking(x) → DistinguishCondiments(x))
∀x ∀y (MakeMeal(x, y) ∧ Delicious(y) ∧ People(x) → TalentCooking(x)) 
∀x ∀y (MakeMeal(x, y) ∧ People(x) ∧ Popular(y) → Delicious(y))
∃x (People(john) ∧ MakeMeal(john, x) ∧ Popular(x) ∧ People(peter) ∧ ¬UseDiffCondiments(peter))

Conclusion: John cannot use different condiments to cook.
Label: False
Premises:
Effective monetary policy is possible with successful inflation control and a strong national currency.
A country cannot simultaneously regulate the exchange rate and successfully control inflation.
The introduction of an embargo on foreign trade goods in a country leads to a sharp decrease in exports.
If exports fall sharply, the national currency cannot be in this country.
Regulation of the exchange rate is required to have a strong national currency. 
There is an embargo on Russian foreign trade goods.

Premises in first-order logic:
∀x (EffMonPolicy(x) → InfControl(x) ∧ StongCurr(x))
¬(∀x (InfControl(x) ∧ ExRate(x)))
∀x (Embargo(x) → ExportFall(x))
∀x (ExportFall(x) → ¬StongCurr(x))
∀x (ExRate(x) → StongCurr(x))
Embargo(russia)

Conclusion: In Russia, an effective monetary policy is possible.
Label: False
Premises:
Video Gag is a French television series that airs weekly.
Video Gag airs on the French broadcast channel TF1. 
If viewers send in funny videos to the French broadcast channel, then Video Gag airs them on television.
All videos aired on Video Gag are in French.

Premises in first-order logic:
∀x (VideoGag(x) → FrenchTelevision(x) ∧ AirsWeekly(x))
∀x (VideoGag(x) → ChannelTF1(x))
∀x (FunnyVideos(x) → AirsWeekly(x))
∀x (VideoGag(x) → AirsWeekly(x) ∧ French(x))

Conclusion: Viewers send in funny videos to the French broadcast channel that are in French.
Label: Unknown

Conclusion: Viewers send in funny videos to the French broadcast channel that are in English.
Label: Unknown
Premises:
All phones are things.
All cellphones are phones. 
All iPhones are cellphones. 
All engineers are workers.
All workers are human. 
Jack is either an engineer or a worker.
Jack is is either a human or a phone.

Premises in first-order logic:
∀x (Phone(x) → Thing(x))
∀x (Cellphone(x) → Phone(x))
∀x (Iphone(x) → Cellphone(x))
∀x (Engineer(x) → Worker(x))
∀x (Worker(x) → Human(x))
Engineer(jack) ⊕ Worker(jack) 
Human(jack) ⊕ Phone(jack)

Conclusion: Jack is a thing.
Label: Unknown

Conclusion: Jack is not a thing.
Label: Unknown

Conclusion: Jack is a thing and an iPhone.
Label: False

Conclusion: Jack is not both a thing and an iPhone.
Label: True
Premises:
All iPhones are electronic.
Some phones are iPhones.

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

Conclusion: No phones are electronic.
Label: False
Premises:
Metropolitan Museum of Art is a museum in NYC.
Whitney Museum of American Art is a museum in NYC.
Museum of Modern Art (MoMA) is a museum if NYC. 
Metropolitan Museum of Art includes Bytantine and Islamic Art. 
Whitney Museum of American Art includes American art.

Premises in first-order logic:
Museum(metropolitanMuseumofArt) ∧ InNYC(metropolitanMuseumofArt)
Museum(whitneyMuseumofAmericanArt) ∧ InNYC(whitneyMuseumofAmericanArt)
Museum(museumofModernArt) ∧ InNYC(museumofModernArt)
Include(metropolitanMuseumofArt, byzantineArt) ∧ Include(metropolitanMuseumofArt, islamicArt)
Include(whitneyMuseumofAmericanArt, americanArt)

Conclusion: A museum in NYC includes Byzantine and Islamic Art.
Label: True

Conclusion: A museum in NYC includes American art.
Label: True

Conclusion: A museum in NYC includes Greek art.
Label: Unknown
Premises:
A person either likes eating cheese or is a francophile.
No francophiles are people who like Spain as their favorite country.
A person likes Spain as their favorite country or likes eating cheese.
Benji is not a person who likes eating cheese and a person who studies Spanish.
If Benji is neither a person who studies Spanish nor a person that studies French, then Benji is a person who studies Spanish or a person that studies French.

Premises in first-order logic:
∀x (Spanish(x) ∨ Francophile(x))
∀x (Francophile(x) → ¬SpainFav(x))
∀x (SpainFav(x) ∨ Cheese(x))
¬(Cheese(benji) ∧ Spanish(benji))
¬(Spanish(benji) ∨ French(benji)) → ¬(Cheese(benji) ⊕ French(benji))

Conclusion: Benji is a person who likes eating cheese.
Label: Unknown

Conclusion: If Benji is either a person who likes eating cheese or a francophile, then Benji is neither a person who studies Spanish nor a person who studies French.
Label: True

Conclusion: If Benji is a person who likes Spain as their favorite country or studies French, then Benji is either a person who studies Spanish or a person who likes Spain as their favorite country.
Label: False
Premises:
Gasteren is village located in the province of Drenthe.
Drenthe is a Dutch province. 
No cities are villages.
The population of a village in Drenthe was 155 people.

Premises in first-order logic:
Village(gasteren) ∧ Province(drenthe) ∧ LocatedIn(gasteren, drenthe)
Province(drenthe) ∧ Dutch(drenthe)
∀x (City(x) → ¬Village(x))
∃x (Population155(x) ∧ Village(x) ∧ LocatedIn(x, drenthe))

Conclusion: Gasteren is a Dutch village.
Label: Unknown

Conclusion: Gasteren is a city.
Label: False

Conclusion: Gasteren has a population of 155.
Label: Unknown
Premises:
The only types of mammals that lay eggs are platypuses and echidnas.
Platypuses are not hyrax.
Echidnas are not hyrax.
No mammals are invertebrates.
All animals are either vertebrates or invertebrates.
Mammals are animals.
Hyraxes are mammals.
Grebes lay eggs.
Grebes are not platypuses and also not echidnas.

Premises in first-order logic:
∀x ((Mammal(x) ∧ LayEgg(x)) → (Platypuses(x) ⊕ Echidnas(x)))
∀x (Platypuses(x) → ¬Hyrax(x))
∀x (Echidnas(x) → ¬Hyrax(x))
∀x (Mammal(x) → ¬Invertebrate(x))
∀x (Animal(x) → Invertebrate(x) ⊕ Vertebrate(x))
∀x (Mammal(x) → Animal(x))
∀x (Hyrax(x) → Mammal(x))
∀x (Grebes(x) → LayEgg(x))
∀x (Grebes(x) → (¬Platypuses(x) ∧ ¬Echidnas(x)))

Conclusion: Hyraxes lay eggs.
Label: False

Conclusion: Grebes are not mammals.
Label: True

Conclusion: Platypuses are vertebrates.
Label: Unknown
Premises:
Bobby Flynn is a singer-songwriter. 
Bobby Flynn finished 7th while competing on Australian Idol.
Australian Idol competitors are Australian citizens.
The Omega Three band made a nationwide tour in 2007.
Bobby Flynn is a member of The Omega Three band.
Bobby Flynn was born in Queensland.

Premises in first-order logic:
Singer(bobbyFlynn) ∧ SongWriter(bobbyFlynn)
Finished7th(bobbyFlynn) ∧ CompetedOnAustralianIdol(bobbyFlynn)
∀x (CompetedOnAustralianIdol(x) → AustralianCitizen(x))
MadeNationWideTour2007(theOmegaThreeBand) 
IsMember(bobbyFlynn, theOmegaThreeBand)
BornIn(bobbyFlynn, queensland)

Conclusion: Bobby Flynn is an Australian citizen.
Label: True

Conclusion: Bobby Flynn flew to America in 2007.
Label: Unknown

Conclusion: Bobby Flynn was born in Queens.
Label: Unknown
Premises:
All proteins are organic compounds.
All enzymes are organic compounds.

Premises in first-order logic:
∀x (Protein(x) → OrganicCompound(x))
∀x (Enzyme(x) → OrganicCompound(x))

Conclusion: All enzymes are proteins.
Label: Unknown
Premises:
One American screenwriter and producer is Maggie Friedman.
Maggie Friedman was the showrunner and executive producer of the lifetime television series Witches of East End.
Witches of East End is a fantasy-drama series.
Maggie Friedman produced and developed Eastwick.
Eastwick is a series by ABC.

Premises in first-order logic:
American(maggiefriedman) ∧ Screenwriter(maggiefriedman) ∧ Producer(maggiefriedman)
ShowRunnerOf(maggiefriedman, witchesofeastend) ∧ ExecutiveProducerOf(maggiefriedman, witchesofeastend) ∧ LifetimeTelevisionSeries(maggiefriedman)
Fantasy-Drama(witchesofeastend) ∧ Series(witchesofeastend)
Produced(maggiefriedman, eastwick) ∧ Developed(maggiefriedman, eastwick)
Series(eastwick) ∧ By(eastwick, abc)

Conclusion: There is a series by ABC that was developed by the showrunner of Witches of East End.
Label: True

Conclusion: There isn't a series by ABC that was developed by the showrunner of Witches of East End.
Label: False

Conclusion: Maggie Friedman developed Witches of East End.
Label: Unknown
Premises:
Evangelos Eleftheriou is a Greek electrical engineer.
Evangelos Eleftheriou worked for IBM in Zurich.
If a company has employees working for them somewhere, then they have an office there.
IBM is a company.

Premises in first-order logic:
Greek(evangeloseleftheriou) ∧ ElectricalEngineer(evangeloseleftheriou)
WorkedFor(evangeloseleftheriou, ibm) ∧ WorkedIn(evangeloseleftheriou, zurich)
∀x ∀x ∀z (Company(x) ∧ WorkedFor(y, x) ∧ WorkedIn(y, z) → HasOfficeIn(x, z))
Company(ibm)

Conclusion: IBM has an office in London or Zurich.
Label: True

Conclusion: No Greeks have worked for IBM.
Label: False
Premises:
Before releasing their single, "Hooray! Hooray! It's a Holi-Holiday!", Boney M. had had seven consecutive German #1 singles.
"Hooray! Hooray! It's a Holi-Holiday!" was a big hit all over Europe.
Nevertheless, "Hooray! Hooray! It's a Holi-Holiday!" broke Boney M's streak of consecutive German #1 singles.
A song that peaks below #1 on the german charts is also a song that is not the #1 single

Premises in first-order logic:
∃x (Song(x) ∧ By(x, boneym) ∧ N1GermanSingle(x))
Song(hooray) ∧ HitEurope(hooray)
Song(hooray) ∧ ¬N1GermanSingle(hooray)
∀x (PeaksBelowN1(x) ↔ ¬N1GermanSingle(x))

Conclusion: "Hooray! Hooray! It's a Holi-Holiday!" was a #1 hit in Germany.
Label: False

Conclusion: "Hooray! Hooray! It's a Holi-Holiday!" peaked below #1 on the German charts.
Label: True

Conclusion: "Hooray! Hooray! It's a Holi-Holiday!" peaked at #3 on the UK charts.
Label: Unknown
Premises:
Every chef can cook.
Some people who aren’t chefs can cook.
People who cook can make scrambled eggs and pasta.
If someone can make cookies and muffins, they are a baker.
Bakers who can also make scrambled eggs can make a good breakfast.
Luke can make cookies, scrambled eggs, and muffins, but not pasta.

Premises in first-order logic:
∀x (Chef(x) → Cook(x))
∃x (¬Chef(x) ∧ Cook(x))
∀x (Cook(x) → (MakeScrambledEggs(x) ∧ MakePasta(x)))
∀x (MakeCookies(x) ∧ MakeMuffins(x) → Baker(x))
∀x ((Baker(x) ∧ MakeScrambledEggs(x)) → MakeGoodBreakfast(x))
MakeCookies(luke) ∧ MakeScrambledEggs(luke) ∧ MakeMuffins(luke) ∧ ¬MakePasta(luke)

Conclusion: Luke can make a good breakfast.
Label: True

Conclusion: Luke is a chef.
Label: False