prajaktakini/folio huggingface dataset:
Premises:
No touring musicians who perform at the New Haven Symphony Orchestra are permanent members of the orchestra.
Musicians who perform at the New Haven Symphony Orchestra are permanent members of an orchestra, or they have temporary roles at the orchestra.
All touring musicians who perform at the New Haven Symphony Orchestra have temporary roles at the orchestra.
All musicians performing at the New Haven Symphony Orchestra who have temporary roles at the orchestra are interesting soloists.
All musicians performing at New Haven Symphony Orchestra who are interesting soloists are capable of attracting audiences.
Ryan is performing at New Haven Symphony Orchestra.
If Ryan is an interesting soloist and has a temporary role at the orchestra, then he is capable of attracting large audiences if and only if he is a touring soloist musician.
Premises (first-order logic):
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusician(x)) → ¬PermanentMemberOf(x, theOrchestra))
∀x (PerformAt(x, newHavenSymphonyOrchestra) → (PermanentMemberOf(x, theOrchestra) ∨ HaveTemporaryRoleAt(x, theOrchestra)))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ TouringMusicians(x)) → HaveTemporaryRoleAt(x, theOrchestra))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ HaveTemporaryRoleAt(x, theOrchestra)) → InterestingSoloist(x))
∀x ((PerformAt(x, newHavenSymphonyOrchestra) ∧ InterestingSoloist(x)) → CapableOfAttractingAudiences(x))
PerformAt(ryan, newHavenSymphonyOrchestra)
(InterestingSoloist(ryan) ∧ HaveTemporaryRoleAt(ryan, theOrchestra)) → ¬(TouringMusician(ryan) ⊕ CapableOfAttractingAudiences(ryan))

Conclusion: Ryan is an interesting soloist.
Conclusion (first-order logic): InterestingSoloist(ryan)
Label: Uncertain
Premises:
If someone in Potterville yells, then they are not cool.
If someone in Potterville is angry, then they yell.
If someone in Potterville flies, then they are cool.
Every person in Potterville that knows magic flies.
All wizards in Potterville know magic.
Harry, who lives in Potterville either yells or flies.
Potter, who lives in Potterville, is a wizard and flies.
Premises (first-order logic):
∀x (In(x, potterville) ∧ Yell(x) → ¬Cool(x))
∀x (In(x, potterville) ∧ Angry(x) → Yell(x))
∀x (In(x, potterville) ∧ Fly(x) → Cool(x))
∀x (In(x, potterville) ∧ Know(x, magic) → Fly(x))
∀x (In(x, potterville) ∧ Wizard(x) → Know(x, magic))
In(harry, potterville) ∧ (Yell(harry) ⊕ Fly(harry))
Wizard(potter) ∧ Fly(potter)

Conclusion: Harry is cool.
Conclusion (first-order logic): Cool(harry)
Label: Uncertain

Conclusion: Harry is not cool.
Conclusion (first-order logic): ¬Cool(harry)
Label: Uncertain
Premises:
All of this brand's products are either produced in China or in the US.
All of this brand's products produced in China are labeled.
All of this brand's products produced in the US are sold in the US.
The products of this brand that are labeled are cheaper.
All of this brand's products sold in the US are sold at Walmart.
All products of this brand displayed on the homepage are sold at Walmart.
None of this brand's products that are returned by customers are sold at Walmart.
G-910 is a product of this brand, and it is either displayed on the homepage and is cheaper, or it is neither displayed on the homepage nor is it cheaper.
Premises (first-order logic):
∀x (ThisBrand(x) ∧ Product(x) → (ProducedIn(x, china) ⊕ ProducedIn(x, uS)))
∀x ((ThisBrand(x) ∧ Product(x) ∧ ProducedIn(x, china)) → Labeled(x))
∀x ((ThisBrand(x) ∧ Product(x) ∧ ProducedIn(x, us)) → SoldIn(x, us))
∀x ((ThisBrand(x) ∧ Product(x) ∧ Labeled(x)) → Cheaper(x))
∀x ((ThisBrand(x) ∧ Product(x) ∧ SoldIn(x, us)) → SoldIn(x, walmart))
∀x (ThisBrand(x) ∧ Product(x) ∧ DisplayedIn(x, homepage) → SoldIn(x, walmart))
∀x (ThisBrand(x) ∧ Product(x) ∧ ReturnedBy(x, customer) → ¬SoldIn(x, walmart))
Product(g910) ∧ ThisBrand(g910) ∧ (¬(DisplayedIn(g910, homepage) ⊕ Cheaper(g910)))

Conclusion: G-910 is a product returned by customers or sold in Walmart.
Conclusion (first-order logic): ThisBrand(g910) ∧ (ReturnedBy(g910, customer) ∨ SoldIn(g910, walmart))
Label: True

Conclusion: G-910 is either returned by customers or sold in Walmart.
Conclusion (first-order logic): ReturnedBy(g910, customer) ⊕ SoldIn(g910, walmart)
Label: True
Premises:
No battery-powered watch is automatic.
All digital watches are battery-powered.
Some mechanical watches are automatic.
All smart watches are digital.
Moonwatch is either a digital watch and an automatic, or it is neither.
Premises (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.
Conclusion (first-order logic): MechanicalWatch(moonWatch)
Label: Uncertain

Conclusion: Moonwatch is a smartwatch and a mechanical watch.
Conclusion (first-order logic): SmartWatch(moonwatch) ∧ MechanicalWatch(moonwatch)
Label: False

Conclusion: If Moonwatch is a smartwatch and a mechanical watch, then Moonwatch is not a mechanical watch.
Conclusion (first-order logic): SmartWatch(moonwatch) ∧ MechanicalWatch(moonwatch) → ¬MechanicalWatch(moonwatch)
Label: True
Premises:
All phones are things.
All cell phones are phones.
All iPhones are cell phones.
All employees are wage earners.
All wage earners are human.
Jack is either an employee or a wage earner.
Jack is either a human or a phone.
Premises (first-order logic):
∀x (Phone(x) → Thing(x))
∀x (Cellphone(x) → Phone(x))
∀x (Iphone(x) → Cellphone(x))
∀x (Employee(x) → WageEarner(x))
∀x (WageEarner(x) → Human(x))
Employee(jack) ⊕ WageEarner(jack)
Human(jack) ⊕ Phone(jack)

Conclusion: Jack is a thing.
Conclusion (first-order logic): Thing(jack)
Label: Uncertain

Conclusion: Jack is not a thing.
Conclusion (first-order logic): ¬Thing(jack)
Label: Uncertain

Conclusion: Jack is a thing and an iPhone.
Conclusion (first-order logic): Thing(jack) ∧ Iphone(jack)
Label: False

Conclusion: Jack is not both a thing and an iPhone.
Conclusion (first-order logic): ¬(Thing(jack) ∧ Iphone(jack))
Label: True
Premises:
All iPhones are electronic.
Some phones are iPhones.
Premises (first-order logic):
∀x (IPhone(x) → Electronic(x))
∃x ∃y (Phone(x) ∧ Phone(y) ∧ IPhone(x) ∧ IPhone(y) ∧ ¬(x=y))

Conclusion: No phones are electronic.
Conclusion (first-order logic): ∀x (Phone(x) → ¬Electronic(x))
Label: False
Premises:
The Metropolitan Museum of Art is a museum in NYC.
Whitney Museum of American Art is a museum in NYC.
The Museum of Modern Art (MoMA) is a museum in NYC.
The Metropolitan Museum of Art includes Byzantine and Islamic Art.
Whitney Museum of American Art includes American art.
Premises (first-order logic):
Museum(metropolitanMuseumOfArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(whitneyMuseumOfAmericanArt) ∧ In(metropolitanMuseumOfArt, nYC)
Museum(museumOfModernArt) ∧ In(museumOfModernArt, nYC)
Include(metropolitanMuseumOfArt, byzantineArt) ∧ Include(metropolitanMuseumOfArt, islamicArt)
Include(whitneyMuseumOfAmericanArt, americanArt)

Conclusion: A museum in NYC includes Byzantine and Islamic Art.
Conclusion (first-order logic): ∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, byzantineArt) ∧ Include(x, islamicArt))
Label: True

Conclusion: A museum in NYC includes Greek art.
Conclusion (first-order logic): ∃x (Museum(x) ∧ In(x, nYC) ∧ Include(x, greekArt))
Label: Uncertain
Premises:
Gasteren is a 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 (first-order logic):
Village(gasteren) ∧ Province(drenthe) ∧ In(gasteren, drenthe)
Province(drenthe) ∧ In(drenthe, netherlands)
∀x (City(x) → ¬Village(x))
∃x (Population(x, num155) ∧ Village(x) ∧ In(x, drenthe))

Conclusion: Gasteren is a Dutch village.
Conclusion (first-order logic): Village(gasteren) ∧ In(gasteren, netherlands)
Label: Uncertain

Conclusion: Gasteren is a city.
Conclusion (first-order logic): City(gasteren)
Label: False

Conclusion: Gasteren has a population of 155.
Conclusion (first-order logic): Population(gasteren, num155)
Label: Uncertain
Premises:
The only types of mammals that lay eggs are either platypuses or 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 (first-order logic):
∀x ((Mammal(x) ∧ LayEgg(x)) → (Platypus(x) ⊕ Echidna(x)))
∀x (Platypuses(x) → ¬Hyrax(x))
∀x (Echidnas(x) → ¬Hyrax(x))
∀x (Mammal(x) → ¬Invertebrate(x))
∀x (Animal(x) → (Vertebrate(x) ∨ Invertebrate(x)))
∀x (Mammal(x) → Animal(x))
∀x (Hyrax(x) → Mammal(x))
∀x (Grebes(x) → LayEgg(x))
∀x (Grebes(x) → (¬Platypuses(x) ∧ ¬Echidnas(x)))

Conclusion: Platypuses are vertebrates.
Conclusion (first-order logic): ∀x (Platypuses(x) → Vertebrate(x))
Label: Uncertain
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 (first-order logic):
Singer(bobbyFlynn) ∧ SongWriter(bobbyFlynn)
FinishesIn(bobbyFlynn, number7) ∧ CompetesOnAustralianIdol(bobbyFlynn)
∀x (CompetesOnAustralianIdol(x) → AustralianCitizen(x))
NationWideTourIn(theOmegaThreeBand, year2007)
Member(bobbyFlynn, theOmegaThreeBand)
BornIn(bobbyFlynn, queensland)

Conclusion: Bobby Flynn is an Australian citizen.
Conclusion (first-order logic): AustralianCitizen(bobbyFlynn)
Label: True

Conclusion: Bobby Flynn flew to America in 2007.
Conclusion (first-order logic): FlewToIn(bobbyFlynn, america, year2007)
Label: Uncertain

Conclusion: Bobby Flynn was born in Queens.
Conclusion (first-order logic): BornIn(bobbyFlynn, queens)
Label: Uncertain
Premises:
All proteins are organic compounds.
All enzymes are organic compounds.
Premises (first-order logic):
∀x (Protein(x) → OrganicCompound(x))
∀x (Enzyme(x) → OrganicCompound(x))

Conclusion: All enzymes are proteins.
Conclusion (first-order logic): ∀x (Enzyme(x) → Protein(x))
Label: Uncertain
Premises:
Maggie Friedman is an American screenwriter and producer.
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 (first-order logic):
American(maggieFriedman) ∧ Screenwriter(maggieFriedman) ∧ Producer(maggieFriedman)
ShowRunnerOf(maggieFriedman, witchesOfEastEnd) ∧ ExecutiveProducerOf(maggieFriedman, witchesOfEastEnd) ∧ LifetimeTelevisionSeries(maggieFriedman)
FantasyDrama(witchesOfEastEnd) ∧ Series(witchesOfEastEnd)
Produces(maggieFriedman, eastwick) ∧ Develops(maggieFriedman, eastwick)
Series(eastwick) ∧ AiredOn(eastwick, aBC)

Conclusion: There is a series by ABC that was developed by the showrunner of Witches of East End.
Conclusion (first-order logic): ∃x ∃y (Series(x) ∧ AiredOn(x, aBC) ∧ Develops(y, x) ∧ ShowRunnerOf(y, witchesOfEastEnd))
Label: True

Conclusion: Maggie Friedman developed Witches of East End.
Conclusion (first-order logic): Develops(maggieFriedman, witchesOfEastEnd)
Label: Uncertain
Premises:
ETS develops various standardized tests primarily in the United States for K-12 and higher education.
ETS administers international tests, including the TOEFL, TOEIC, GRE, and subject tests.
Many of the assessments ETS develops are associated with entry to the US tertiary and quaternary education institutions.
ETS also develops K-12 statewide assessments used for accountability testing in many states.
Premises (first-order logic):
∃x ∃y (Develop(eTS, x) ∧ Develop(eTS, y) ∧ StandardizedTest(x) ∧ StandardizedTest(y) ∧ In(x, unitedState) ∧ In(y, unitedState) ∧ For(x, k12AndHigherEducation) ∧ For(y, k12AndHigherEducation))
∃x (Administer(eTS, x) ∧ InternationalTest(x) ∧ (TOEFL(x) ∨ TOEIC(x) ∨ GRE(x) ∨ SubjectTest(x)))
∃x (Develop(eTS, x) ∧ AssociatedWith(x, entryToUSEducationInstitution))
∃x (Develop(eTS, x) ∧ StateWideAssesment(x) ∧ UsedFor(x, accountabilityTesting))

Conclusion: ETS develops assessments for K-12 statewide as well as entry to US tertiary and quaternary education institutions.
Conclusion (first-order logic): ∃x ∃y (Develop(eTS, x) ∧ StateWideAssesment(x) ∧ Develop(eTS, y) ∧ AssociatedWith(y, entryToUSEducationInstitution))
Label: True

Conclusion: ETS doesn't administer tests internationally.
Conclusion (first-order logic): ∀x (Administer(eTS, x) → ¬InternationalTest(x))
Label: False

Conclusion: ETS administers international tests including the TOEFL, GRE and subject tests in China.
Conclusion (first-order logic): ∃x (Administer(eTS, x) ∧ InChina(x) ∧ (TOEFL(x) ∨ TOEIC(x) ∨ GRE(x) ∨ SubjectTest(x)))
Label: Uncertain
Premises:
Islip Speedway is the smallest race track.
There was a demolition derby on the smallest race track.
Islip is either demolished or still being used.
Speedways that are still being used have races held at them.
Islip doesn't have races held at it.
Premises (first-order logic):
Speedway(islip) ∧ SmallestRaceTrack(islip)
∃x ∃y (DemolitionDerby(x) ∧ SmallestRaceTrack(y) ∧ On(x, y))
Demolished(islip) ⊕ StillUsed(islip)
∀x (Speedway(x) ∧ StillUsed(x) → Have(races, heldAt, x))
¬Have(races, heldAt, islip)

Conclusion: Islip was demolished.
Conclusion (first-order logic): Demolished(islip)
Label: True

Conclusion: Islip is still being used.
Conclusion (first-order logic): StillUsed(islip)
Label: False
Premises:
The Croton River watershed is the drainage basin of the Croton River.
The Croton River is in southwestern New York.
Water from the Croton River watershed flows to the Bronx.
The Bronx is in New York.
Premises (first-order logic):
DrainageBasinOf(crotonRiverWatershed, crotonRiver)
In(crotonRiver, southwesternNewYork)
∀x ((Water(x) ∧ In(x, crotonRiverWatershed)) → FlowsTo(x, bronx))
In(bronx, newYork)

Conclusion: The Croton River watershed is in the Bronx.
Conclusion (first-order logic): In(crotonRiverWatershed, bronx)
Label: Uncertain

Conclusion: Water from the Croton River flows to the Bronx.
Conclusion (first-order logic): ∀x (Water(x) ∧ From(x, crotonRiver) → FlowsTo(x, bronx))
Label: Uncertain
Premises:
All nuclear-powered submarines are warships.
No nuclear-powered submarines are commercial vessels.
Premises (first-order logic):
∀x (NuclearPoweredSubmarine(x) → Warship(x))
∀x (NuclearPoweredSubmarine(x) → ¬CommercialVessel(x))

Conclusion: No warships are commercial vessels.
Conclusion (first-order logic): ∀x (Warship(x) → ¬CommercialVessel(x))
Label: Uncertain
Premises:
If an album is written by a rock band, then the genre of the album is rock.
If a band writes an album winning an award, then this band wins this award.
Trouble at the Henhouse is an album by The Tragically Hip.
The Tragically Hip is a Canadian rock band.
The song "Butts Wigglin'" is in Trouble at the Henhouse.
Trouble at the Henhouse won the Album of the Year award.
A song in Trouble at the Henhouse appeared in a film.
Premises (first-order logic):
∀x ∀y ∀z (AlbumByBand(x, y) ∧ RockBand(y, z) → Genre(x, rock))
∀x ∀y ∀z (AlbumByBand(x, y) ∧ AlbumAward(x, z) → RockBandAward(y, z))
AlbumByBand(trouble_at_the_Henhouse, the_Tragically_Hip)
RockBand(the_Tragically_Hip, canada)
SongInAlbum(butts_Wigglin, trouble_at_the_Henhouse)
AlbumAward(trouble_at_the_Henhouse, the_Album_of_the_Year)
∃x (SongInFilm(x) ∧ SongInAlbum(x, trouble_at_the_Henhouse))

Conclusion: "Butts Wigglin'" appeared in a film.
Conclusion (first-order logic): SongInFilm(buttsWigglin)
Label: Uncertain
Premises:
Daniel is a software engineer, and he works at Palantir Technologies.
Daniel studied bioengineering during his undergraduate at Rice University.
Daniel’s older sister works at Meta as a technical sourcer.
Daniel’s dad and older sister both graduated from Stanford University.
Daniel’s dad is a doctor practicing internal medicine at a veteran’s hospital in Minneapolis.
Premises (first-order logic):
SoftwareEngineer(daniel) ∧ WorksAt(daniel, palantirTechnologies)
Studied(daniel, bioengineering) ∧ UndergraduateAt(daniel, riceUniversity)
WorksAtMeta(danielsOlderSister) ∧ TechnicalSourcer(danielsOlderSister)
GraduatedFromStanfordUniversity(danielsOlderSister) ∧ GraduatedFromStanfordUniversity(danielsDad)
Doctor(danielsDad) ∧ Practicing(danielsDad, internalMedicine) ∧ PracticingAt(danielsDad, veteransHospital) ∧ In(veteransHospital, minneapolis)

Conclusion: Daniel once applied to Stanford University, but he couldn’t get in even though he has family members who are Stanford alumni.
Conclusion (first-order logic): AppliedTo(daniel, stanfordUniversity) ∧ ¬GotInto(daniel, stanfordUniversity) ∧ Alumni(danielsFamilyMembers, stanfordUniversity)
Label: Uncertain

Conclusion: Daniel studied bioengineering as an undergraduate at Rice University.
Conclusion (first-order logic): Studied(daniel, bioengineering) ∧ UndergraduateAt(daniel, riceUniversity)
Label: True

Conclusion: Daniel and his sister grew up in Minneapolis, Minnesota.
Conclusion (first-order logic): GrewUpIn(daniel, minneapolis) ∧ GrewUpIn(danielsOlderSister, minneapolis)
Label: Uncertain
Premises:
Luzon is an island in the Philippines.
In December 1999, an earthquake struck Luzon.
People died in the December 1999 earthquake in Luzon.
Premises (first-order logic):
Island(luzon) ∧ In(luzon, philippines)
∃x (Earthquake(x) ∧ StrikeInYr(x, year1999) ∧ StrikeInMo(x, december) ∧ StrikeInCity(x, luzon))
∃x (Earthquake(x) ∧ StrikeInYr(x, year1999) ∧ StrikeInMo(x, december) ∧ StrikeInCity(x, luzon) ∧ Deadly(x))

Conclusion: Leyte is an island in the Philippines.
Conclusion (first-order logic): Island(leyte) ∧ In(leyte, philippines)
Label: Uncertain

Conclusion: No one has ever died in an earthquake that struck the Philippines.
Conclusion (first-order logic): ∀x ∀y ((Earthquake(x) ∧ StrikeInCity(x, y) ∧ In(y, philippines)) → ¬Deadly(x))
Label: False

Conclusion: In 1999, there was at least one earthquake in the Philippines.
Conclusion (first-order logic): ∃x ∃y (Earthquake(x) ∧ StrikeInYr(x, year1999) ∧ StrikeInMo(x, december) ∧ StrikeInCity(x, y) ∧ In(y, philippines))
Label: True
Premises:
A game is played with three stages: red stage, yellow stage, and green stage.
Each player begins at the red stage.
All players must reach the yellow stage before they can reach the green stage.
The yellow stage comes after the red stage.
All players must proceed one stage at a time.
Premises (first-order logic):
∃x ∃y ∃y ∃w (Game(x) ∧ StageNumber(x,3) ∧ Stage(y) ∧ Stage(z) ∧ Stage(w) ∧ ¬(y=z) ∧ ¬(z=w) ∧ ¬(y=w) ∧ Red(y) ∧ Yellow(z) ∧ Green(w))
∀x (Player(x) → StartRed(x))
∀x (Player(x) ∧ ¬ReachYellow(x) → ¬ReachGreen(x))
∀x (Player(x) ∧ StartRed(x) → ReachYellow(x))
∀x (Player(x) ∧ StartRed(x) ∧ ¬ReachYellow(x) → ¬ReachGreen(x))

Conclusion: It is possible to complete the game without ever reaching the green stage.
Conclusion (first-order logic): ∃x (Player(x) ∧ CompleteGame(x))
Label: Uncertain
Premises:
All birds have wings.
Animals with wings aren't reptiles.
Some animals that fly are birds.
If something is an iguana, then it is a reptile. Simeng: All iguanas are reptiles.
John is either both an iguana and a bird, or he is neither.
John is an animal.
Premises (first-order logic):
∀x (Bird(x) → ∃y ∃z (¬(y=z) ∧ Wing(y) ∧ Wing(z) ∧ Have(x, y) ∧ Have(x, z)))
∀x (Animal(x) ∧ (∃y ∃z (¬(y=z) ∧ Wing(y) ∧ Wing(z) ∧ Have(x, y) ∧ Have(x, z))) → ¬Reptile(x))
∃x (Animal(x) ∧ Fly(x) ∧ Bird(x))
∀x (Iguana(x) → Reptile(x))
¬(Iguana(john) ⊕ Bird(john))
Animal(john)

Conclusion: John is a reptile.
Conclusion (first-order logic): Reptile(john)
Label: Uncertain

Conclusion: John is not both an iguana and an animal that can fly.
Conclusion (first-order logic): ¬(Iguana(john) ∧ Fly(john))
Label: True

Conclusion: John is an animal that can fly and John is a bird.
Conclusion (first-order logic): Animal(john) ∧ Fly(john) ∧ Bird(john)
Label: False
Premises:
Everyone who is entitled to national social insurance coverage can have their medical bills partially covered.
All PRC nationals are entitled to national social insurance coverage.
Everyone in the Franco-China diplomatic conference is either a PRC national or a French national, but not both.
All French nationals are citizens of the European Union.
All Spanish nationals are citizens of the European Union.
No North Korean nationals are citizens of the European Union.
Mei is at the Franco-China diplomatic conference.
Either Mei is a North Korean and can have medical bills partially covered, or neither is true.
Premises (first-order logic):
∀x (EntitledTo(x, nationalSocialInsuranceCoverage) → CanHavePartiallyCovered(x, medicalBills))
∀x (PRCNational(x) → EntitledTo(x, nationalSocialInsuranceCoverage))
∀x (In(x, franco-ChinaDiplomaticConference) → PRCNational(x) ⊕ FrenchNational(x))
∀x (FrenchNational(x) → CitizenOf(x, europeanUnion))
∀x (SpanishNational(x) → CitizenOf(x, europeanUnion))
∀x (NorthKoreanNational(x) → ¬CitizenOf(x, europeanUnion))
In(mei, franco-ChinaDiplomaticConference)
¬(NorthKoreanNational(mei) ⊕ CanHavePartiallyCovered(mei, medicalBills))

Conclusion: Mei is a PRC national.
Conclusion (first-order logic): PRCNational(mei)
Label: Uncertain

Conclusion: Mei is not a PRC national.
Conclusion (first-order logic): ¬PRCNational(mei)
Label: Uncertain
Premises:
No people who do not admit a mistake are good teachers.
Some well-informed people are people who do not admit a mistake.
Premises (first-order logic):
∀x (¬Admit(x, mistake) → ¬GoodTeacher(x))
∃x ∃y (WellInformed(x) ∧ WellInformed(y) ∧ ¬Admit(x, mistake) ∧ ¬Admit(y, mistake) ∧ ¬(x=y))

Conclusion: Some good teachers are not well-informed people.
Conclusion (first-order logic): ∃x ∃y (GoodTeacher(x) ∧ GoodTeacher(y) ∧ ¬WellInformed(x) ∧ ¬WellInformed(y) ∧ ¬(x=y))
Label: Uncertain
Premises:
Philatelic literature is divided into the following categories: Stamp catalogs, Periodicals, Auction catalogs, Books, Bibliographies, and Background Material.
Mort is not a Stamp catalog.
Mort is not a periodical, auction catalog, bibliography, or background material.
Mort is a piece of Philatelic literature.
Premises (first-order logic):
∀x (PhilatelicLit(x) → (Stamp(x) ∨ Periodical(x) ∨ Auction(x) ∨ Book(x) ∨ Bibliography(x) ∨ Background(x)))
¬Stamp(mort)
¬(Periodical(mort) ∨ Auction(mort) ∨ Bibliography(mort) ∨ Background(mort))
PhilatelicLit(mort)

Conclusion: Mort is background material.
Conclusion (first-order logic): Background(mort)
Label: False

Conclusion: Eragon is a piece of Philatelic literature.
Conclusion (first-order logic): PhilatelicLit(eragon)
Label: Uncertain
Premises:
Adventures of Rusty is a drama film and children's film.
Columbia Pictures produced Adventures of Rusty.
Tintin was produced by Paramount.
Tintin is an adventure film.
Premises (first-order logic):
DramaFilm(adventuresOfRusty) ∧ ChildrensFilm(adventuresOfRusty)
Produces(columbiaPictures, adventuresOfRusty)
Produces(paramount, tintin)
AdventureFilm(tintin)

Conclusion: Columbia pictures produced some drama film.
Conclusion (first-order logic): ∃x (DramaFilm(x) ∧ Produces(columbiaPictures, x))
Label: True

Conclusion: Columbia pictures produced some adventure film.
Conclusion (first-order logic): ∃x (AdventureFilm(x) ∧ Produces(columbiaPictures, x))
Label: Uncertain

Conclusion: Paramount produces children's films.
Conclusion (first-order logic): ∃x (ChildrensFilm(x) ∧ Produces(paramount, x))
Label: Uncertain

Conclusion: Paramount produces adventure films.
Conclusion (first-order logic): ∃x (AdventureFilm(x) ∧ Produces(paramount, x))
Label: True