minimario/FOLIO huggingface dataset:
Premises:
All Yale dormitories are located on York Street. 
All buildings managed by Yale Housing are dormitories. 
All buildings operated by Yale Housing staff are managed by Yale Housing. 
No buildings open to students are established after 1800. 
All buildings located on York Street are open to students. 
Harkness is either a building operated by Yale Housing staff or located on York Street. 

Premises in first-order logic:
∀x (YaleDormitory(x) → InYorkStreet(x))
∀x (ManagedByYaleHousing(x) → YaleDormitory(x))
∀x (OperatedByYaleHousingStaffs(x) → ManagedByYaleHousing(x))
∀x (OpenToStudents(x) → ¬EstablishedAfter1800(x))
∀x (InYorkStreet(x) → OpenToStudents(x))
OperatedByYaleHousingStaffs(harkness) ⊕ InYorkStreet(harkness)

Conclusion: Harkness is a Yale dormitory.
Label: Unknown

Conclusion: Harkness is not a Yale dormitory.
Label: Unknown

Conclusion: Harkness is established after 1800.
Label: False

Conclusion: Harkness is established before 1800.
Label: True
Premises:
There are no mansion houses in an urban area.
All skyscrapers reside in urban areas.
Every creepy haunted house is in a mansion house.
Every terrifying Halloween scare comes from a creepy haunted house.
The Scream is a creepy haunted house or a terrifying Halloween scare.

Premises in first-order logic:
∀x (UrbanArea(x) → ¬MansionHouse(x))
∀x (Skyscraper(x) → UrbanArea(x))
∀x (CreepyHauntedHouse(x) → MansionHouse(x))
∀x (TerrifyingHalloweenScare(x) → CreepyHauntedHouse(x))
CreepyHauntedHouse(thescream) ∨ TerrifyingHalloweenScare(thescream)

Conclusion: The Scream is a skyscraper.
Label: False

Conclusion: The Scream is not a skyscraper.
Label: True

Conclusion: The Scream is a terrifying Halloween scare.
Label: Unknown

Conclusion: The Scream is either a skyscraper or a mansion house.
Label: True

Conclusion: The Scream is either a skyscraper or an urban area.
Label: False

Conclusion: The Scream is either a skyscraper or a creepy haunted house.
Label: True

Conclusion: If The Scream is not a mansion in an urban area, then it is either a skyscraper or an urban area.
Label: False

Conclusion: If The Scream is either a skyscraper or a mansion house, then it is in an urban area.
Label: False

Conclusion: If The Scream is either a skyscraper or a mansion house, then it is neither a creepy haunted house nor a terrifying Halloween scare.
Label: False

Conclusion: If The Scream is either a skyscraper or a creepy haunted house, then it is not a mansion house.
Label: False
Premises:
Phuoc Binh national park is a national park in Vietnam. 
Any national park in Vietnam is classified as a nature reserve. 
There is a national park in Vietnam classified as a UNESCO World Heritage Site.
All national parks in Vietnam are either managed by the Ministry of Agriculture or by the People's Committee. 
Phuoc Binh is not managed by the Ministry of Agriculture.

Premises in first-order logic:
NationalPark(phuocBinh) ∧ Locatedin(phuocBinh, vietnam)
∀x (NationalPark(x) ∧ Locatedin(x, vietnam) → NatureReserve(x))
∃x (NationalPark(x) ∧ Locatedin(x, vietnam) ∧ UNESCOWorldHeritageSite(x))
∀x (NationalPark(x) ∧ Locatedin(x, vietnam) → Mangedby(x, ministryofAgriculture) ∨ Mangedby(x, peoplesCommittee))
¬Mangedby(phuocBinh, ministryofAgriculture)

Conclusion: There is a nature reserve in Vietnam.
Label: True

Conclusion: Phuoc Binh is a UNESCO Heritage Site.
Label: Unknown

Conclusion: Phuoc Binh is managed by the People's Committee.
Label: True
Premises:
Greyhound racing is a competitive sport where spectators bet on greyhounds.
Coursing is a part of Greyhound racing.
Some competitive sports where spectators bet on things are banned.
Coursing involves spectators betting on a hare being pursued by greyhounds.
Hares are small game.
If a competitive sport involves spectators betting on small game, then it is banned.

Premises in first-order logic:
∀x ∃y (GreyhoundRacing(x) → CompetitiveSport(x) ∧ Greyhound(y) ∧ SpectatorsBetOn(x, y))
∀x (GreyhoundRacing(x) ↔ Coursing(x))
∃x ∃y (CompetitiveSport(x) ∧ SpectaorsBetOn(x, y) ∧ Banned(x))
∀x ∃y ∃z (Coursing(x) → Hare(y) ∧ SpectatorsBetOn(x, y) ∧ GreyHound(z) ∧ Pursue(z, y))
∀x (Hare(x) → SmallGame(x))
∀x ∃y (CompetitiveSport(x) ∧ SmallGame(y) ∧ SpectatorsBetOn(x, y) → Banned(x))

Conclusion: No coursing is banned.
Label: False

Conclusion: Greyhound racing is a competitive sport.
Label: True
Premises:
If a soccer player receives two yellow cards in one game, this player will be ejected from the rest of the game.
If a soccer player receives one red card in one game, this player will be ejected from the rest of the game.
Henry is a soccer player.
In one game, Henry first receives one yellow card, then he receives one red card.

Premises in first-order logic:
∀x (SoccerPlayer(x) ∧ TwoYellow(x) → Eject(x))
∀x (SoccerPlayer(x) ∧ OneRed(x) → Eject(x))   
SoccerPlayer(henry)
¬TwoYellow(henry) ∧ OneRed(henry)

Conclusion: Henry will be ejected from the rest of the game.
Label: True

Conclusion: Henry will not be ejected from the rest of the game.
Label: False
Premises:
All trees are plants. 
Some living things are trees.

Premises in first-order logic:
∀x (Tree(x) → Plant(x))
∃x (Living(x) ∧ Tree(x))

Conclusion: Some living things are plants.
Label: True
Premises:
Dagfinn is a given name.
Notable people with the given name include Dagfinn Aarskog, Dagfinn Bakke and Dagfinn Dahl. 
Dagfinn Aarskog is a Norwegian physician.
Dagfinn Dahl is a Norwegian barrister.

Premises in first-order logic:
∀x (Dagfinn(x) → GivenName(x))
Dagfinn(dagfinnAarskog) ∧ NotablePeople(dagfinnAarskog) ∧ Dagfinn(dagfinnBakke) ∧ NotablePeople(dagfinnBakke) ∧ Dagfinn(dagfinnDahl) ∧ NotablePeople(dagfinnDahl)
Norwegian(dagfinnAarskog) ∧ Physician(dagfinnAarskog)
Norwegian(dagfinnDahl) ∧ Barrister(dagfinnDahl)

Conclusion: Dagfinn Aarskog is a notable person.
Label: True

Conclusion: Dagfinn is Dagfinn Aarskog's given name.
Label: True

Conclusion: Dagfinn Dahl is a Norwegian physician.
Label: Unknown
Premises:
If entertainment is interesting, it will be popular.
All popular things are well-known.

Premises in first-order logic:
∀x ((Entertainment(x) ∧ Interesting(x)) → Popular(x))
∀x (Popular(x) → WellKnown(x))

Conclusion: If entertainment is interesting, it will be well-known.
Label: True
Premises:
It is not true that some giant language models do not have good performance. 
All language models with good performance are used by some researchers.
If a language model is used by some researchers, it is popular. 
If BERT is a giant language model, then GPT-3 is also a giant language model. 
BERT is a giant language model. 

Premises in first-order logic:
¬(∃x (LanguageModel(x) ∧ Giant(x) ∧ ¬GoodPerformance(x)))
∀x ((LanguageModel(x) ∧ GoodPerformance(x)) → UsedBySomeResearchers(x))
∀x (UsedBySomeResearchers(x) → Popular(x))
(LanguageModel(bert) ∧ Giant(bert)) → (LanguageModel(gpt-3) ∧ Giant(gpt-3)).
LanguageModel(bert) ∧ Giant(bert)

Conclusion: GPT-3 is popular.
Label: True
Premises:
St Johnstone is a Scottish team.
St Johnstone is part of the Scottish Premiership.
If a team is part of the league, it has joined the league.
St Johnstone and Minsk are different teams.
For two different teams, either one team wins or the other team wins.
Minsk won against St Johnstone.

Premises in first-order logic:
Scottish(johnstone)
PartOf(johnstone, scottishpremiership)
∀x ∀y (PartOf(x, y) → Joined(x, y))
Different(misnk, johnstone) ∧ Different(johnstone, minsk)
∀x ∀y (Different(x, y) → WonGame(x, y) ⊕ WonGame(y, x))
WonGame(minsk, johnstone)

Conclusion: At least one Scottish team has joined the Scottish Premiership.
Label: True

Conclusion: St Johnstone won against Minsk.
Label: False

Conclusion: Minsk joined the Scottish Premiership.
Label: Unknown
Premises:
No Boeing-737 plane is equipped with more than 300 seats. 
All planes in Delta are of type Boeing-737. 
Planes are either equipped with more than 300 seats or have a capacity of 100 passengers. 
All planes with a capacity of 100 passengers are scheduled for a short-distance flight. 
All planes with a capacity of 100 passengers are produced before 2010. 
Jake32 is either a Boeing-737 plane or a plane in Delta. 
T10 is either a Boeing-737 plane and in Delta, or neither a Boeing-737 plane nor in Delta. 

Premises in first-order logic:
∀x (Boeing737(x) → ¬Seats300(x))
∀x (Delta(x) → Boeing737(x))
∀x (Seats300(x) ∨ Passengers100(x))
∀x (Passengers100(x) → ShortDistance(x))
∀x (Passengers100(x) → ProducedBefore2010(x))
Boeing737(jake32) ⊕ Delta(jake32) 
Boeing737(t10) ⊕ Delta(t10)

Conclusion: Jake32 was produced before 2010 and is scheduled for a short-distance flight.
Label: True

Conclusion: Jake32 is not produced before 2010 and is not scheduled for a short-distance flight.
Label: False

Conclusion: Jake32 is produced before 2010 or scheduled for a short-distance flight.
Label: True

Conclusion: Jake32 is neither produced before 2010 nor scheduled for a short-distance flight.
Label: False
Premises:
The SAT test is wholly owned and developed by the College Board.
The SAT test is intended to assess student's readiness for college.
The SAT was originally designed not to be aligned with high school curricula. 
Several adjustments were made for the version of the SAT introduced in 2016 to reflect more closely on what students learn in high school. 

Premises in first-order logic:
Own(sat, collegeBoard) ∧ ¬Own(sat, others)
Test(sat, readiness)
∀x (Year(x) ∧ Before2016(x) → ¬AlignHighSchool(x)) 
∃x (Year(x) ∧ Since2016(x) ∧ AlignHighSchool(x))

Conclusion: Since 2016 the SAT has been better aligned with high school curricula.
Label: True

Conclusion: The SAT test is owned by the College Board and multiple other third parties.
Label: False

Conclusion: The SAT test assesses student's math skills.
Label: Unknown
Premises:
Rafa Nadal was born in Mallorca.
Rafa Nadal is a professional tennis player.
Nadal's win ratio is higher than 80%.
All players in the Big 3 are professionals who have a high win ratio.

Premises in first-order logic:
BornIn(rafaNadal, mallorca)
ProfessionalTennisPlayer(rafaNadal)
HighWinRatio(rafaNadal)
∀x (ProfessionalTennisPlayer(x) ∧ HighWinRatio(x) → InBig3(x))

Conclusion: Nadal was not born in Mallorca.
Label: False

Conclusion: Nadal is in the Big 3.
Label: True

Conclusion: Nadal is the greatest player of all time.
Label: Unknown
Premises:
No cookie is healthy.
All oreos are cookies.

Premises in first-order logic:
∀x (Cookie(x) → ¬Healthy(x))
∀x (Oreo(x) → Cookie(x))

Conclusion: All cookies are delicious.
Label: Unknown
Premises:
No animals are plants. 
All humans are animals.
All pupils are human.
All flowers are plants.
If Jack is a human or a flower, then Jack is a human and a flower.

Premises in first-order logic:
∀x (Animal(x) → ¬Plant(x))
∀x (Human(x) → Animal(x))
∀x (Pupil(x) → Human(x))
∀x (Flower(x) → Plant(x))
Human(jack) ∨ Flower(jack) → Human(jack) ∧ Flower(jack)

Conclusion: Jack is a pupil.
Label: False

Conclusion: Jack is not a pupil.
Label: True

Conclusion: Jack is a plant.
Label: Unknown

Conclusion: If Jack is a human, then Jack is not a pupil.
Label: True
Premises:
No shoes are food. 
All slippers are shoes.
A thing is either food or clothes.
No wearable things are airtight.
All clothes are wearable. 
If a watch is not airtight and clothes, then a watch is either both airtight and clothes, or neither airtight nor clothes.

Premises in first-order logic:
∀x (Shoes(x) → ¬Food(x))
∀x (Slipper(x) → Shoes(x))
∀x (Food(x) ⊕ Clothes(x))
∀x (Wearable(x) → ¬AirTight(x))
∀x (Clothes(x) → Wearable(x))
¬(AirTight(watch) ∧ Clothes(watch)) → (AirTight(watch) ∧ Clothes(watch)) ⊕ (¬AirTight(watch) ∧ ¬Clothes(watch))

Conclusion: Watch is a wearable.
Label: Unknown

Conclusion: Watch is a slipper.
Label: False

Conclusion: Watch is neither airtight nor a slipper.
Label: True
Premises:
An Olympian is a person who trains for an Olympic sport and goes to the Olympics.
Carlos Reyes trains for an Olympic sport.
Carlos Reyes went to the Olympics.
Carlos Reyes is a welterweight.
Heavy weights are not welterweights.

Premises in first-order logic:
∀x (DoesOlympicSport(x) ∧ GoesToOlympicGames(x) → IsOlympian(x))
DoesOlympicSport(carlosReyes)
GoesToOlympicGames(carlosReyes)
IsWelterWeight(carlosReyes)
∀x (IsWelterWeight(x) → ¬IsHeavyWeight(x))

Conclusion: Carlos Reyes is an Olympian.
Label: True

Conclusion: Carlos Reyes is a heavy weight.
Label: False

Conclusion: Carlos Reyes won an Olympic medal.
Label: Unknown
Premises:
If people have a lot of decorations in their room, they cannot pack and move out of their rooms very easily.
If people have high ambitions and future career goals, then they can pack and move out of their rooms very easily.
If people are big fans of pop bands and singers, then they have a lot of decorations in their room.
All young teenage girls who attend college are big fans of pop bands and singers.
If Sam has high ambitions and future career goals, then Sam is a big fan of pop bands and singers.

Premises in first-order logic:
∀x (Decor(x) → ¬MoveOut(x))
∀x (Ambitious(x) → MoveOut(x))
∀x (Fans(x) → Decor(x))
∀x (CollegeTeen(x) → Ambitious(x))
Ambitious(sam) → Fans(sam)

Conclusion: Sam is a young teenage girl who attends college.
Label: False

Conclusion: Sam is not a young teenage girl who attends college.
Label: True

Conclusion: Sam is a big fan of pop bands and singers.
Label: Unknown

Conclusion: Sam neither has high ambitions and future career goals nor is she a young teenage girl who attends college.
Label: True

Conclusion: Sam has high ambitions and future career goals and is a young teenage girl who attends college.
Label: False

Conclusion: Sam has high ambitions and future career goals and is a young teenage girl who attends college.
Label: False

Conclusion: If Sam is a young teenage girl who attends college, then Sam either does not have high ambitions and future career goals or is a big fan of pop bands and singers.
Label: True

Conclusion: If Sam has high ambitions and future career goals and is a young teenage girl who attends college, then Sam either does not have high ambitions and future career goals or is not a young teenage girl who attends college.
Label: True

Conclusion: If Sam has high ambitions and future career goals, then Sam is a young teenage girl who attends college.
Label: True
Premises:
A student who loves shrieking will be punished.
If a person swears, then he is a student.
If someone is a teacher, then Bob will talk to him.
All gentlemen are in a suit.
All teachers are men.
There is a teacher.
If someone is not a gentlemen, then he is not nice.
Willy is nice.
Bob loves shrieking and swearing.

Premises in first-order logic:
∀x (Student(x) ∧ Shriek(x) → Punished(x))
∀x (Swear(x) → Student(x))
∀x (Teacher(x) → Talk(bob, x))
∀x (Gentleman(x) → Suit(x))
∀x (Teacher(x) → Man(x))
∃x (Teacher(x))
∀x (¬Gentleman(x) → ¬Nice(x))
Nice(willy)
Shriek(bob) ∧ Swear(bob)

Conclusion: Willy is in a suit.
Label: True

Conclusion: Bob will be not punished.
Label: False

Conclusion: There is a man that Bob will talk to.
Label: True
Premises:
Quincy McDuffie is an American professional wide receiver in Canadian Football.
People who can catch balls are good wide receivers. 
Quincy McDuffie can catch many footballs easily.
Good wide receivers play professionally.
Good wide receivers can catch with both their left and right hand.
All footballs are balls.

Premises in first-order logic:
American(quincymcduffie) ∧ Professional(quincymcduffie) ∧ WideReciever(quincymcduffie) ∧ In(quincymcduffie, canadianfootball)
∀x ∃y (CanCatch(x, y) ∧ Ball(y) → Good(x, widereciever))
∃x (Football(x) ∧ CanCatch(quincymcduffie, x))
∀x (Good(x, widereciever) → Professional(x))
∀x (Good(x, widereciever) → CanCatchWith(x, lefthand) ∧ CanCatchWith(x, righthand))
∀x (Football(x) → Ball(x))

Conclusion: Quincy McDuffie is a good wide receiver.
Label: True

Conclusion: Quincy McDuffie can catch every ball.
Label: Unknown

Conclusion: Professional wide receivers are good at catching balls.
Label: Unknown
Premises:
Boves is a railway station located in France. 
The preceding station of Boves is Longueau.
The preceding station of Dommartin is Boves.
France is a European country.
Dommartin is situated on the Paris–Lille railway. 
Any two contiguous stations are on the same railway.
Boves is served by regional TER Hauts-de-France trains.
If A is located in B and B is located in C, then A is located in C.
If A precedes B and B preceds C, than A preceds C.

Premises in first-order logic:
RailwayStation(boves) ∧ Locate(boves, france)
Precede(boves, longueau)
Precede(dommartin, boves)
Locate(france, europe)
Situate(dommartin, pairsLille)
∀x ∀y ∀z ((Situate(x, z) ∧ (Precede(x, y) ∨ Precede(y, x))) → Situate(y, z))
Serve(hautsDeFrance, boves)
∀x ∀y ∀z ((Locate(x, y) ∧ Locate(y, z)) → Locate(x, z))
∀x ∀y ∀z ((Precede(x, y) ∧ Precede(y, z)) → Precede(x, z))

Conclusion: Longueau is situated on the Paris–Lille railway.
Label: True

Conclusion: Boves is not in Europe.
Label: False

Conclusion: Longueau is served by regional TER Hauts-de-France trains.
Label: Unknown
Premises:
Edwin Smith was a New Zealand Rower from Auckland.
Edwin Smith was also known as Ted Smith.
Edwin Smith went to Rose Road Primary School, located in Grey Lynn.
Edwin Smith was a sergeant who served with the New Zealand 24th battalion in Italy and Egypt.
Broadway Sheetmetals was a buisness that was ran and owned by Edwin Smith, who was a sheetmetal worker.

Premises in first-order logic:
From(edwinsmith, newzealand) ∧ Rower(edwinsmith) ∧ From(edwinsmith, auckland)
KnownAs(edwinsmith, tedsmith)
WentTo(edwinsmith, roseroadprimaryschool) ∧ LocatedIn(roseroadprimaryschool, greylynn)
Sergeant(edwinsmith) ∧ ServedWith(edwinsmith, newzealand24thbattalion) ∧ ServedIn(edwinsmith, italy) ∧ ServedIn(edwinsmith, egypt)
Buisness(broadwaysheetmetals) ∧ Ran(edwinsmith, broadwaysheetmetals) ∧ Owned(edwinsmith, broadwaysheetmetals) ∧ SheetmetalWorker(edwinsmith)

Conclusion: Ted Smith was a sergeant.
Label: Unknown

Conclusion: There are no rowers that own a buisness.
Label: False

Conclusion: No sergeants are from Auckland.
Label: False

Conclusion: No buisness owner has served in Egypt.
Label: False
Premises:
A werewolf is a human that can turn into a wolf.
A werewolf has been scratched or bitten by another werewolf.
If someone has been scratched or bitten, they have been attacked.

Premises in first-order logic:
∀x (Human(x) ∧ CanTurnInto(x, wolf) → Werewolf(x))
∀x ∃y (Werewolf(x) → (BittenBy(x, y) ∨ ScratchedBy(x, y)) ∧ Werewolf(y))
∀x ∃y (BittenBy(x, y) ∨ ScratchedBy(x, y)) → AttackedBy(x,y)

Conclusion: All humans are werewolves.
Label: Unknown

Conclusion: A werewolf is a wolf.
Label: Unknown

Conclusion: A werewolf has scratched someone before.
Label: Unknown
Premises:
UFC Fight Night was a mixed martial arts event and was held in Sweden.
At UFC Fight Night, Sadollah was scheduled to fight Musoke.
Sadollah fought Akiyama at UFC Fight Night.
Musoke fought Yakovlev at UFC Fight Night.
Jung was injured at UFC Fight Night.
Injured people did not fight at UFC Fight Night.

Premises in first-order logic:
Event(uFCFightNight) ∧ MixedMartial(uFCFightNight) ∧ Sweden(uFCFightNight)
Event(uFCFightNight) → ScheduledToFight(sadollah, musoke)
Event(uFCFightNight) → Fight(sadollah, akiyama)
Event(uFCFightNight) → Fight(musoke, yakovlev)
Event(uFCFightNight) → Injured(jung)
∀x (Injured(x) → ¬FightInUFC(x))

Conclusion: Jung fought Sadollah.
Label: Unknown

Conclusion: Jung did not fight at UFC Fight Night.
Label: True

Conclusion: Sadollah fought Musoke.
Label: Unknown

Conclusion: Nelson fought Story at UFC Fight Night.
Label: Unknown
Premises:
All drinks are edible. 
All juices are drinks. 
All orange juice is a juice. 
A juice is either an orange juice or an apple juice.
All apple juice is sweet.
If coke is apple juice, then coke is a drink.
If coke is not apple juice, then coke is not edible.

Premises in first-order logic:
∀x (Drink(x) → Edible(x))
∀x (Juice(x) → Drink(x))
∀x (OrangeJuice(x) → Juice(x))
∀x (OrangeJuice(x) ∨ AppleJuice(x))
∀x (AppleJuice(x) → Sweet(x))
AppleJuice(coke) → Drink(coke)
¬AppleJuice(coke) → ¬Edible(coke)

Conclusion: Coke is orange juice.
Label: Unknown

Conclusion: Coke is edible and sweet.
Label: True

Conclusion: Coke is not edible and sweet.
Label: False
Premises:
Federico Garcia Lorca was a talented Spanish poet and he supported the Popular Front.
The Spanish Nationalists opposed anyone who supported the Popular Front
Talented poets are popular.
Spanish Nationalists killed anyone who they opposed and were popular.
Daniel supported the Popular Front but was not popular.

Premises in first-order logic:
TalentedPoet(lorca) ∧ SupportPopulists(lorca)
∀x (SupportPopulists(x) → Opposed(nationalists, x))
∀x (TalentedPoet(x) → Popular(x))
∀x (Opposed(nationalists, x) ∧ Popular(x) → Killed(nationalists, x))
SupportPopulists(daniel) ∧ ¬Popular(daniel)

Conclusion: Daniel was not killed by the Spanish Nationalists.
Label: Unknown

Conclusion: Lorca was killed by the Spanish Nationalists.
Label: True
Premises:
People either drink kombucha every day or drink Coca-Cola or Pepsi products every day.
If people drink Coca-Cola or Pepsi products every day, then they grew up with extremely busy parents who did not have time to pack them lunch.
If people drink Coca-Cola or Pepsi products every day, then they have to visit the dentist frequently.
If people grew up with extremely busy parents who did not have time to pack them lunch, then they have erratic and diverse eating habits.
If people have erratic and diverse eating habits, then they do not have consistent everyday routines and like sticking to a solid schedule.
Franny either both grew up with extremely busy parents who did not have time to pack her lunch and has consistent everyday routines and like sticking to a solid schedule, or she neither grew up with extremely busy parents who did not have time to pack her lunch nor has consistent everyday routines and likes sticking to a schedule.  

Premises in first-order logic:
∀x (Kombucha(x) ∨ CocaCola(x))
∀x (CocaCola(x) → BusyParents(x))
∀x (CocaCola(x) → Dentist(x))
∀x (BusyParents(x) → Erratic(x))
∀x (Erratic(x) → ¬Consistent(x))
(BusyParents(franny) ∧ Consistent(franny)) ⊕ (¬BusyParents(franny) ∧ ¬Consistent(franny))

Conclusion: Franny has to visit the dentist frequently.
Label: Unknown

Conclusion: If Franny either both grew up with extremely busy parents who did not have time to pack her lunch and drink kombucha every day or neither grew up with extremely busy parents who did not have time to pack her lunch nor drink kombucha every day, then Franny neither visits the dentist frequently nor drinks Coca Cola or Pepsi products every day.
Label: True

Conclusion: If Franny either visits the dentist frequently or drinks kombucha every day, then Franny both visits the dentist frequently and drinks Coca-Cola or Pepsi products every day.
Label: False
Premises:
If a customer subscribes to AMC A List, then he/she can watch 3 movies every week without any additional fees. 
Some customers go to cinemas every week. 
Customers who prefer TV series will not watch TV series in cinemas.
James watches TV series in cinemas. 
James subscribes to AMC A List.
Peter prefers TV series.

Premises in first-order logic:
∀x (SubscribedTo(x, amcalist) → ThreeMovies(x) ∧ NoFees(x))
∃x (CinemaEveryWeek(x))
∀x (Prefer(x, tvseries) → ¬WatchTVIn(x, cinemas))
WatchTVIn(james, cinemas)
SubscribedTo(james, amcalist)
Prefer(peter, tvseries)

Conclusion: James is not able to watch 3 movies every week without any additional fees.
Label: False

Conclusion: James goes to cinemas every week.
Label: Unknown

Conclusion: Peter will not watch TV series in cinemas.
Label: True
Premises:
Bulbophyllum attenuatum is in the genus bulbophyllum.
All bulbophyllum are orchids.

Premises in first-order logic:
InGenus(bulbophyllumattenuatum, bulbophyllum)
∀x (InGenus(x, bulbophyllum) → Orchid(x))

Conclusion: Bulbophyllum attenuatum is not an orchid.
Label: False