minimario/FOLIO huggingface dataset:
Premises:
Ernest Pohl was a Polish football player. 
A football player in the Polish First Division has scored over 180 goals. 
Ernest Pohl scored more than 180 goals in the Polish First Division. 
Górnik Zabrze's stadium was named after a soccer player from Ruda Śląska. 
Ernest Pohl is from Ruda Śląska. 

Premises in first-order logic:
PolishFootballPlayer(ernestpohl)
∃x (In(x, polishfirstdivision) ∧ ScoredMoreThan180Goals(x))
ScoredMoreThan180Goals(ernestpohl) ∧ In(ernestpohl, polishfirstdivision)
∃x (NamedAfter(gornikzabrze, x) ∧ FootballPlayer(x) ∧ From(x, rudaslaska))
From(ernestpohl, rudaslaska)

Conclusion: Ernest Pohl has not scored more than 180 goals.
Label: False

Conclusion: Górnik Zabrze's stadium was named after Ernest Pohl.
Label: Unknown
Premises:
Ann J. Land was a member of the Philadelphia City Council and was also a member of the Democratic Party.
Ann J. Land ran unopposed for the Philadephia City Council in 1980.
People who run unopposed for the Philadelphia City Council are elected to the positions they run for in the same year.
Michael Nutter was a political challenger.
Ann J. Land defeated Michael Nutter and ran for the Philadelphia City Council in 1987.

Premises in first-order logic:
PhiladephiaCouncil(annJLand) ∧ DemocraticParty(annJLand)
Year(y1980) → PhiladephiaCouncil(annJLand) ∧ RunFor(annJLand)
∀x (RunFor(x) ∧ PhiladephiaCouncil(x) → Elected(x))
Challenger(nutter)
Year(y1987) → PhiladephiaCouncil(annJLand) ∧ RunFor(annJLand) ∧ Defeated(annJLand, nutter)

Conclusion: Ann J. Land was elected to the Philadelphia City Council in 1980.
Label: True

Conclusion: Ann J. Land was elected to the Philadelphia City Council in 1987.
Label: True

Conclusion: There was some member of the Democratic Party elected to the Philadelphia City Council in 1980.
Label: True
Premises:
Aberdeen won the cup in the 2013 final.
Rangers won the cup in 2014 final.
Aberdeen and Rangers are different teams.
Different teams cannot win the same cup in a given year's final.

Premises in first-order logic:
WonCup(aberdeen, twentythirteen)
WonCup(rangers, twentyfourteen)
Different(aberdeen, rangers) ∧ Different(rangers, aberdeen)
∀x ∀y ∀z (Different(x, y)  ∧ WonCup(x, z)  → ¬WonCup(y, z))

Conclusion: Rangers won the cup in 2015.
Label: Unknown

Conclusion: Rangers won the cup in 2013.
Label: False

Conclusion: Aberdeen has won a cup before.
Label: True
Premises:
All young working professionals who have regular 9-5 jobs also have pets.
Some people who live in Manhattan are young working professionals who have regular 9-5 jobs.
All people who have pets are people who have at least one child.
People who do not have at least one child are people who own a sports car.
Mary either does not own a sports car or, if they do, then they do not have at least one child.

Premises in first-order logic:
∀x (Working(x) → Pets(x))
∃x (Manhattan(x) ∧ Working(x))
∀x (Pets(x) → Child(x))
∀x (Child(x) → ¬Car(x))
¬(Car(mary) ⊕ Child(mary))

Conclusion: Mary is a person who lives in Manhattan.
Label: Unknown

Conclusion: Mary is a person who lives in Manhattan and is a young working professional who has a regular 9-5 job.
Label: False

Conclusion: If Mary is a young working professional who has a regular 9-5 job, then Mary does not live in Manhattan.
Label: True
Premises:
Either block design or event-related design. 
All event-related designs are brain image acquisition.
All brain image acquisition is preceded by data processing.
Nothing preceded by data processing acquires data.
Picture memory is either an event-related design and acquiring data or neither an event-related design nor acquiring data.

Premises in first-order logic:
∀x (BlockDesign(x) ∨ Event-relatedDesign(x))
∀x (Event-relatedDesign(x) → BrainImageAcquisition(x))
∀x (BrainImageAcquisition(x) → PrecededByDataProcessing(x))
∀x (PrecededByDataProcessing(x) → ¬AcquiringData(x))
(Event-relatedDesign(pictureMemory) ∧ AcquiringData(pictureMemory)) ∨ (¬Event-relatedDesign(pictureMemory) ∧ ¬AcquiringData(pictureMemory))

Conclusion: Picture memory is preceded by data processing.
Label: Unknown

Conclusion: Picture memory is a block design.
Label: True

Conclusion: Picture memory is either a block design or acquiring data.
Label: True

Conclusion: If picture memory is not acquiring data, then picture memory is a block design and acquiring data.
Label: False
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(usslyon) ∧ InWWII(usslyon))
∀x (InWWII(x) → (Decommissioned(x) ∨ InMuseum(x)))

Conclusion: The USS Lyon is decommissioned.
Label: Unknown
Premises:
All disposable chopsticks are made from trees.
Some chopsticks are eco-friendly.
Either disposable chopsticks or reusable chopsticks. 
If chopsticks are made from metals, then they are not made from plastics. 
All reusable chopsticks are made from metal.
Chopsticks at restaurants are either made from metals and made from plastics, or neither made from metals nor made from plastics.

Premises in first-order logic:
∀x (DisposableChopsticks(x) → MadeFromTrees(x))
∃x (EcoFriendly(x))
∀x (DisposableChopsticks(x) ⊕ Reusable(x)) 
∀x (MadeFromMetals(x) → ¬MadeFromPlastics(x))
∀x (Reusable(x) → MadeFromMetals(x))
¬(MadeFromMetals(chopsticksAtRestaurants) ⊕ MadeFromPlastics(chopsticksAtRestaurants))

Conclusion: Chopsticks at restaurants are eco-friendly.
Label: Unknown

Conclusion: Chopsticks at restaurants are eco-friendly or made from trees.
Label: True

Conclusion: If Chopsticks at restaurants are made from plastics or made from trees, then Chopsticks at restaurants are made from plastics and are eco-friendly.
Label: False
Premises:
Anything that is lazy is unproductive.
No one unproductive is an energetic person.
If something is a sloth, then it is lazy.
Some animals are sloths.
Sid is not either an energetic person or a sloth.

Premises in first-order logic:
∀x (Lazy(x) → Unproductive(x))
∀x (Unproductive(x) → ¬Energetic(x))
∀x (Sloth(x) → Lazy(x))
∃x (Animal(x) ∧ Sloth(x))
¬Energetic(sid) ∨ Sloth(sid)

Conclusion: Sid is an animal.
Label: Unknown

Conclusion: Sid is an energetic person and an animal.
Label: False

Conclusion: If Sid is either an animal or unproductive, then Sid is not an energetic person.
Label: True
Premises:
European soccer clubs can attend UCL, UEL and UECL.
A soccer club eligible to attend UCL has a higher ranking than a soccer club eligible to attend UEL.
A soccer club eligible to attend UEL has a higher ranking than a soccer club eligible to attend UECL.
Manchester United and Machester City are both European soccer clubs.
Manchester United is eligible to attend UEL next season.
Manchester City is eligible to attend UCL next season.

Premises in first-order logic:
∀x (European(x) ∧ SoccerClub(x) → Attend(x, ucl) ∨ Attend(x, uel) ∨ Attend(x, uecl))
∀x ∀y (SoccerClub(x) ∧ SoccerClub(y) ∧ Attend(x, ucl) ∧ Attend(y, uel) → HigherRank(x, y))
∀x ∀y (SoccerClub(x) ∧ SoccerClub(y) ∧ Attend(x, uel) ∧ Attend(y, uecl) → HigherRank(x, y))
European(manchesterunited) ∧ SoccerClub(manchesterunited) ∧ European(manchestercity) ∧ SoccerClub(manchestercity)
Attend(manchesterunited, uel)
Attend(manchestercity, ucl)

Conclusion: Manchester City has a higher ranking than Manchester United.
Label: True
Premises:
If a person coach a football club, the person is a football coach.
If a person has a position in a club for a position in a year, and the club is in NFL in the same year, the person plays in NFL.
Minnesota Vikings is a football club.
Dennis Green coached Minnesota Vikings.
Cris Carter had 13 touchdown receptions.
Minnesota Vikings was in the National Football League in 1997.
John Randle was Minnesota Vikings defensive tackle in 1997.

Premises in first-order logic:
∀x ∀y (Coach(x, y) ∧ IsFootballClub(y) → IsFootballCoach(x))
∀x ∀y ∀z (PlayFor(x, y) ∧ NFLTeamYear(y, z) ∧ InTeam(x, z) → PlayInNFL(x))
IsFootballClub(minnesota_Vikings)
Coach(dennis_Green, minnesota_Vikings)
TouchDownReceptionTime(cris_Carter, t13)
NFLTeamYear(minnesota_Vikings, y1997)
Position(john_Randle, defensive_tackle) ∧ InTeam(john_Randle, y1997) ∧ PlayFor(john_Randle, minnesota_Vikings)

Conclusion: Dennis Green is a football coach.
Label: True

Conclusion: John Randle didn't play in the National Football League.
Label: False

Conclusion: Cris Carter played for Minnesota Vikings.
Label: Unknown
Premises:
All cats are cute.
Ghosts do not exist.
An animal is either a cat or a dog.
Nothing that barks is lovely. 
If something is a dog, then it barks.
Grace is either a cat and a dog, or neither a cat nor a dog.

Premises in first-order logic:
∀x (Cat(x) → Cute(x))
∀x (¬Ghost(x))
∀x (Cat(x) ∨ Dog(x))
∀x (Bark(x) → ¬Lovely(x))
∀x (Dog(x) → Bark(x))
(Cat(grace) ∧ Dog(grace)) ⊕ (¬Cat(grace) ∧ ¬Dog(grace))

Conclusion: Grace is a ghost.
Label: Unknown

Conclusion: If Grace is either both cute and lovely, or neither cute nor lovely, then Grace is either a dog or a ghost.
Label: True

Conclusion: If Grace is not both a ghost and lovely, then Grace is either a cat or cute.
Label: False
Premises:
Shafaq-Asiman is a large complex of offshore geological structures in the Caspian Sea.
Baku is northwest of Shafaq-Asiman.
If place A is northwest of place B, then place B is southeast of place A.

Premises in first-order logic:
LargeComplex(shafaq-asiman) ∧ LargeComplex(shafaq-asiman) ∧ Offshore(shafaq-asiman) ∧ GeologicalStructures(shafaq-asiman) ∧ In(shafaq-asiman, caspiansea)
NorthwestOf(baku, shafaq-asiman)
∀x ∀y (NorthwestOf(x, y) → SoutheastOf(y, x))

Conclusion: Baku is southeast of Shafaq-Asiman.
Label: Unknown

Conclusion: A large complex is southeast of Baku.
Label: True

Conclusion: Baku is not northwest of an offshore geological structures.
Label: False
Premises:
Herodicus was a Greek physician, dietician, sophist, and gymnastic-master.
Herodicus was born in the city of Selymbria.
Selymbria is a colony of the city-state Megara.
One of the tutors of Hippocrates was Herodicus.
Massages were recommended by Herodicus.
Some of theories of Herodicus are considered to be the foundation of sports medicine.

Premises in first-order logic:
Greek(herodicus) ∧ Physician(herodicus) ∧ Dietician(herodicus) ∧ Sophist(herodicus) ∧ GymnasticMaster(herodicus)
Born(herodicus, selymbia) ∧ City(selymbia)
Colony(selymbia, megara) ∧ CityState(megara)
Tutored(herodicus, hippocrates)
Recommended(herodicus, massages)
∃x (Theory(x) ∧ From(x, herodicus) ∧ FoundationOf(x, sportsMedicine))

Conclusion: Herodicus tutored Hippocrates.
Label: True

Conclusion: Herodicus was tutored by Hippocrates.
Label: Unknown

Conclusion: Herodicus was born in a city-state.
Label: Unknown

Conclusion: Herodicus did not recommend massages.
Label: False

Conclusion: Herodicus was born in a colony of a city-state.
Label: True
Premises:
No kid loves the Opera.
All adults love the Opera.
If someone is a scientist, then they are an adult.
Some students are kids.
Billy is a kid.

Premises in first-order logic:
∀x (Kid(x) → ¬OperaLover(x))
∀x (Adult(x) → OperaLover(x))
∀x (Scientist(x) → Adult(x))
∃x (Student(x) ∧ Kid(x))
Kid(billy)

Conclusion: Billy is a student.
Label: Unknown

Conclusion: Billy is a student and a scientist.
Label: False

Conclusion: If Billy is a student or a scientist, then Billy is a student and a kid.
Label: True
Premises:
Brian Winter is a Scottish football referee.
After being injured, Brian Winter retired in 2012.
Brian Winter was appointed as a referee observer after his retirement.
Some football referees become referee observers.
The son of Brian Winter, Andy Winter, is a football player who plays for Hamilton Academical.

Premises in first-order logic:
Scottish(brianwinter) ∧ FootballReferee(brianwinter)
Injured(brianwinter) ∧ Retired(brianwinter)
RefereeObserver(brianwinter)
∃x (FootballReferee(x) ∧ RefereeObserver(x))
Son(andywinter, brianwinter) ∧ FootballPlayer(andywinter) ∧ PlaysFor(andywinter, hamiltonacademical)

Conclusion: There is a son of a referee observer that plays football.
Label: True

Conclusion: Brian Winter is not a referee observer.
Label: False

Conclusion: Brian Winter is retired.
Label: True

Conclusion: Andy Winter is a referee.
Label: Unknown
Premises:
People are either interested in puzzles or bad at chess.
If a person is bad at chess, then they don't play a lot of chess.
A person is either a planner or a creative person.
Erica is someone who plays a lot of chess.
If Erica is neither bad at chess nor creative, then Erica is either someone who plans and is creative, or someone who neither plans nor is creative.

Premises in first-order logic:
∀x (Puzzles(x) ∨ BadChess(x))
∀x (BadChess(x) → ¬PlaysLots(x))
∀x (Plans(x) ∨ Creative(x))
PlaysLots(erica)
¬(BadChess(erica) ∨ Creative(erica)) → (Plans(erica) ⊕ Creative(erica))

Conclusion: Erica plans.
Label: Unknown

Conclusion: Erica is interested in puzzles and is creative.
Label: True

Conclusion: Erica is either interested in puzzles or is creative.
Label: False

Conclusion: If Erica plans ahead or plays a lot of chess matches, then Erica is not interested in puzzles and creative.
Label: False

Conclusion: If Erica is creative, then Erica is not interested in puzzles and creative.
Label: False

Conclusion: If Erica is interested in puzzles and is creative, then Erica is not creative.
Label: False

Conclusion: If Erica either plays a lot of chess matches or is creative, then Erica is neither interested in puzzles nor a person who plays a lot of chess matches.
Label: True

Conclusion: If Erica is interested in puzzles and plays a lot of chess matches, then Erica is either a person who plays a lot of chess matches or a person that is creative.
Label: False

Conclusion: If Erica plans ahead or is interested in puzzles, then Erica is creative.
Label: True

Conclusion: If Erica is either bad at chess or interested in puzzles, then Erica is not a person who plays a lot of chess matches and creative.
Label: False
Premises:
Soccer players have a right foot and a left foot.
Top soccer players are soccer players who can use their both feet very efficiently.
If a soccer player can score many goals using left foot, then they can use that foot very efficiently.
If a soccer player can score many goals using right foot, then they can use that foot very efficiently.
Cristiano Ronaldo is a soccer player.
Cristiano Ronaldo can use his right foot very efficiently.
Cristiano Ronaldo have scored more than one hundred goals using his left foot.

Premises in first-order logic:
∀x (SoccerPlayer(x) → HasLeftFoot(x) ∧ HasRightFoot(x))
∀x (SoccerPlayer(x) ∧ Efficient(x, left) ∧ Efficient(x, right) → Top(x))
∀x (SoccerPlayer(x) ∧ ScoreManyGoals(x, left) → Efficient(x, left))
∀x (SoccerPlayer(x) ∧ ScoreManyGoals(x, right) → Efficient(x, right))
SoccerPlayer(ronaldo)
Efficient(ronaldo, right)
ScoreManyGoals(ronaldo, left)

Conclusion: Cristiano Ronaldo is a top soccer player.
Label: True

Conclusion: Cristiano Ronaldo is not a top soccer player.
Label: False
Premises:
The National Lobster Hatchery is a hatchery located in Padstow England.
The National Lobster Hatchery is open to visitors.
A hatchery is either for profit, or for conservation.
If a hatchery is for conservation, it might release animals into the wild.
The National Lobster Hatchery is not for profit.

Premises in first-order logic:
Hatchery(nationallobsterhatchery) ∧ LocatedIn(nationallobsterhatchery, padstowengland)
OpenToVisitors(nationallobsterhatchery)
∀x (Hatchery(x) → ForConservation(x) ∨ ForProfit(x))
∃x (Hatchery(x) ∧ ForConservation(x) ∧ ReleasesAnimalsToWild(x))
¬ForProfit(nationallobsterhatchery)

Conclusion: The National Lobster Hatchery is for conservation.
Label: True

Conclusion: All hatcheries are open to visitors.
Label: Unknown

Conclusion: The National Lobster Hatchery releases animals into the wild.
Label: Unknown
Premises:
Rhos Aelwyd F.C. is a Welsh football club.
Rhos Aelwyd F.C. is the only club based in Ponciau. 
The Premier Division was won in 2005–06 by a team from Ponciau. 
The winner of the Premier Division in 2009–10 was promoted back to the Cymru Alliance.
The Premier Division in 2009–10 was won by the same team that won in 2005-06. 

Premises in first-order logic:
∀x (Rhosaelwydfc(x) → FootballClub(x) ∧ BasedInPonciau(x) ∧ Welsh(x))
∀x (BasedInPonciau(x) ↔ Rhosaelwydfc(x))
∃x (BasedInPonciau(x) ∧ WonPremierDivisionDuring(x, y2005))
∀x (WonPremierDivisionDuring(x, y2009) → Promoted(x))
∀x (WonPremierDivisionDuring(x, y2009) ↔ WonPremierDivisionDuring(x, y2005))

Conclusion: Rhos Aelwyd F.C. won the 2005-06 Premier Division.
Label: True

Conclusion: Rhos Aelwyd F.C. was promoted to the Cymru Alliance.
Label: True
Premises:
All OS are software.
All Mac are OS.
An OS is either Mac or Windows.
All Windows are convenient.
All software has code.
If something is convenient, then it is popular.
Burger is a piece of code and a Mac.
PyTorch is either Windows and software, or neither Windows nor software.

Premises in first-order logic:
∀x (OS(x) → Software(x))
∀x (Mac(x) → OS(x))
∀x (Mac(x) ∨ Windows(x))
∀x (Windows(x) → Convenient(x))
∀x (Software(x) → Code(x))
∀x (Convenient(x) → Popular(x))
Code(burger) ∧ Mac(burger))
(Windows(pytorch) ∧ Software(pytorch)) ⊕ (¬Windows(pytorch) ∧ ¬Software(pytorch))

Conclusion: Burger is popular.
Label: Unknown

Conclusion: Burger is not popular.
Label: Unknown

Conclusion: PyTorch is popular and has code.
Label: True

Conclusion: PyTorch is not popular and has code.
Label: False
Premises:
Roads are made of either concrete or asphalt.
Roads made of concrete last longer than roads made with asphalt.
Roads made of asphalt are smoother than roads made of concrete.
Everyone prefers the smoother of two roads. 
Road one is made of concrete and Road two is made of asphalt.

Premises in first-order logic:
∀x (Road(x) → (MadeOfConcrete(x) ∨ MadeOfAsphalt(x))
∀x ∀y (Road(x) ∧ MadeOfConcrete(x) ∧ Road(y) ∧ MadeOfAsphalt(y) → LastLonger(x, y))
∀x ∀y (Road(x) ∧ MadeOfAsphalt(x) ∧ Road(y) ∧ MadeOfConcrete(y) → Smoother(x, y))
∀x ∀y ∀z (Road(x) ∧ Road(y) ∧ Smoother(x, y) → Prefers(z, x))
Road(one) ∧ MadeOfConcrete(one) ∧ Road(two) ∧ MadeOfAsphalt(two)

Conclusion: Road one will last longer than Road two
Label: True

Conclusion: Road two is not smoother than Road one.
Label: False

Conclusion: John prefers Road two.
Label: True
Premises:
Camp Davern is a traditional summer camp for boys and girls.
Camp Davern was established in the year 1946.
Camp Davern was operated by the YMCA until the year 2015.
Camp Davern is one of Ontario's oldest summer camps.

Premises in first-order logic:
TraditionalSummerCamp(campdavern) ∧ ForBoysAndGirls(campdavern)
EstablishedIn(campdavern, year1946)
OperatedByYMCAUntil(campdavern, year2015)
OneOf(campdavern, ontariosoldestsummercamps)

Conclusion: One of Ontario's oldest summer camps is a traditional summer camp for boys and girls.
Label: True

Conclusion: A traditional summer camp for boys and girls was operated by the YMCA until the year 2015.
Label: True

Conclusion: Camp Davern was established in 1989.
Label: Unknown
Premises:
If people publish journals, then they do not work in the entertainment industry.
All people who are award-winning novelists publish journals.
People either work in the entertainment industry or are highly acclaimed in their profession.
If people are highly acclaimed in their profession, then they often hold tenured and high-ranking positions at their workplace.
If people are highly acclaimed in their profession, then they often receive glowing feedback and recommendations from their colleagues.
If Emily is either both highly acclaimed in her profession and often holds tenured and high-ranking positions at her workplace, or she is neither highly acclaimed in her profession nor often holds tenured and high-ranking positions at her workplace, then Emily is not highly acclaimed in her profession. 

Premises in first-order logic:
∀x (PublishJournals(x) → ¬Entertainment(x))
∀x (Novelist(x) → PublishJournals(x))
∀x (Entertainment(x) ∨ Acclaimed(x))
∀x (Acclaimed(x) → Tenured(x))
∀x (Acclaimed(x) → Glowing(x))
(Acclaimed(emily) ∧ Tenured(emily)) ∨ (¬Acclaimed(emily) ∧ ¬Tenured(emily)) → ¬Acclaimed(emily)

Conclusion: Emily often holds tenured and high-ranking positions at her workplace.
Label: Unknown

Conclusion: Emily often receives glowing feedback and recommendations from their colleagues and is an award-winning novelist.
Label: False

Conclusion: If Emily either often receives glowing feedback and recommendations from her colleagues or is an award-winning novelist, then Emily does not both publish journals and is an award-winning novelist.
Label: True
Premises:
Thick as Thieves is a young adult fantasy novel, written by Megan Whalen Turner.
Thick as Thieves was published by Greenwillow Books.
If a book was published by a company, than the author of that book worked with the company that published the book.
The fictional Mede Empire is where Thick as Thieves is set.
The Mede Empire plots to swallow up some nearby countries.
Attolia and Sounis are countries near the Mede Empire.
Thick as Thieves was sold both as a hardcover and an e-book.

Premises in first-order logic:
YoungAdultFantasyNovel(thickastheives) ∧ WrittenBy(thickastheives, megan)
PublishedBy(thickastheives, greenwillowbooks)
∀x ∀y ∀z (WrittenBy(x, y) ∧ PublishedBy(x, z) → WorkedWith(y, z))
Fictional(medeempire) ∧ SetIn(thickastheives, medeempire)
∃x (Country(x) Nearby(medeempire, x) ∧ PlotsToSwallowUp(medeempire, x))
Country(attolia) ∧ Nearby(medeempire, attolia) ∧ Country(sounis) ∧ Nearby(medeempire, sounis)
SoldAs(thickastheives, hardcover) ∧ SoldAs(thickastheives, softcover)

Conclusion: Megan Whalen Turner worked with Greenwillow Books.
Label: True

Conclusion: The Mede Empire plans to swallow up Attolia.
Label: Unknown

Conclusion: Thick as Thieves is not set in the mede empire.
Label: False

Conclusion: Megan Whalen Turner did not work with Greenwillow Books.
Label: False
Premises:
WeTab is a MeeGo-based tablet computer.
There is a WeTab product.
WeTab was announced by Neofonie.
Neofonie is a German producer.
Germans speak English or German.

Premises in first-order logic:
∀x (WeTab(x) → MeeGoBased(x) ∧ TabletComputer(x))
∃x (WeTab(x))
∀x (WeTab(x) → Announce(neofonie, x))
German(neofonie) ∧ Producer(neofonie)
∀x (German(x) → Speak(x, english) ∨ Speak(x, german))

Conclusion: There is a tablet computer that was announced by a German.
Label: True

Conclusion: Neofonie doesn't speak English or German.
Label: False
Premises:
Some employees working in business analysis are good at math. 
All employees working in business analysis are working in this company. 
No employees working in this company are from China. 
All employees working in software engineering are from China. 
James is working in software engineering. 

Premises in first-order logic:
∃x ( BusinessAnalysis(x) ∧ GoodAtMath(x))
∀x (BusinessAnalysis(x) → WorkInCompany(x))
∀x (WorkInCompany(x) → ¬FromChina(x))
∀x (SoftwareEngineering(x) → FromChina(x))
SoftwareEngineering(james)

Conclusion: James is good at math.
Label: Unknown

Conclusion: James is not good at math and he is working in business analysis.
Label: False

Conclusion: If James is not good at math and he is in business analysis, then he is neither working in this company nor working in software engineering.
Label: True