prajaktakini/folio huggingface dataset:
Premises:
All students are humans. 
If someone studies, then they are a student.
A person either studys or teaches.
No young person teaches.
Jerry neither teaches nor is a manager.
Rose is young or a student.
Premises (first-order logic):
∀x (Student(x) → Human(x))
∀x (Study(x) → Student(x))
∀x (Study(x) ∨ Teach(x))
∀x (Young(x) → ¬Teach(x))
¬Teach(jerry) ∧ ¬Manager(jerry)
Young(rose) ∨ Student(rose)

Conclusion: Jerry is young.
Conclusion (first-order logic): Young(jerry)
Label: Uncertain

Conclusion: Jerry is not young.
Conclusion (first-order logic): ¬Young(jerry)
Label: Uncertain

Conclusion: Rose is a human or a manager.
Conclusion (first-order logic): Human(rose) ∨ Manager(rose)
Label: True

Conclusion: Rose is a human or Jerry is a manager.
Conclusion (first-order logic): Human(rose) ∨ Manager(jerry)
Label: True

Conclusion: It is not true that Rose is a student and Jerry is a human.
Conclusion (first-order logic): ¬(Student(rose) ∧ Human(jerry))
Label: False
Premises:
New Vessel Press is a publishing house which specializes in translating foreign literature into English.
All of New Vessel Press's published books are in English.
Neapolitan Chronicles is a book published by New Vessel Press.
Neapolitan Chronicles was translated from Italian.
Palace of Flies is a book published by New Vessel Press.
Premises (first-order logic):
PublishingHouse(newvesselpress) ∧ SpecializesIn(newvessel, translatingforeignliteratureintoenglish)
∀x (Book(x) ∧ PublishedBy(x, newvesselpress) → In(x, english))
Book(neapolitanchronicles) ∧ PublishedBy(neapolitanchronicles, newvesselpress)
TranslatedFrom(neapolitanchronicles, italian)
Book(palaceofflies) ∧ PublishedBy(palaceofflies, newvesselpress)

Conclusion: Neapolitan Chronicles is an English book.
Conclusion (first-order logic): Book(neapolitanchronicles) ∧ In(neapolitanchronicles, english)
Label: True

Conclusion: Harry Potter was published by New Vessel Press.
Conclusion (first-order logic): PublishedBy(harrrypotter, newvesselpress)
Label: Uncertain

Conclusion: Palace of Flies was translated from Italian.
Conclusion (first-order logic): TranslatedFrom(palaceofflies, italian)
Label: Uncertain
Premises:
If people own a large desktop monitor at their home, then they work regularly and often at home.
All people who have a fully stocked and impressive home office are people who own a large desktop monitor at their home.
All people who work regularly and often at home spend their free time tidying and organizing the spaces in their homes.
All people who work regularly and often at home visit the office supply store regularly.
If people spend their free time tidying and organizing the spaces in their home, then they do not go to bed late and wake up every day after noon. 
Remy either both goes to bed late and wakes up every day after noon and spends their free time tidying and organizing the spaces in their home, or they do not go to bed late and wake up every day after noon nor spend their free time tidying and organizing the spaces in their home. 
Premises (first-order logic):
∀x (Desktop(x) → WorkHome(x))
∀x (HomeOffice(x) → Desktop(x))
∀x (WorkHome(x) → Tidying(x))
∀x (WorkHome(x) → OfficeStore(x))
∀x (Tidying(x) → ¬Late(x))
(Late(remy) ∧ Tidying(remy)) ⊕ (¬Late(remy) ∧ ¬Tidying(remy))

Conclusion: Remy visits the office supply store regularly.
Conclusion (first-order logic): OfficeStore(remy)
Label: Uncertain

Conclusion: Remy has a fully stocked and impressive home office and also visits the office supply store regularly.
Conclusion (first-order logic): HomeOffice(remy) ∧ OfficeStore(remy)
Label: False

Conclusion: If Remy either goes to bed late and wakes up every day after noon or visits the office supply store regularly, then Remy neither spends their free time tidying and organizing the spaces in their home nor has a fully stocked and impressive home office.
Conclusion (first-order logic): Late(remy) ∨ OfficeStore(remy) → ¬(Tidying(remy) ∨ HomeOffice(remy))
Label: True
Premises:
All humans are mortal.
All Greeks are humans.
Premises (first-order logic):
∀x (Human(x) → Mortal(x))
∀x (Greek(x) → Human(x))

Conclusion: Some Greeks are mortal.
Conclusion (first-order logic): ∃x (Greek(x) ∧ Mortal(x))
Label: Uncertain
Premises:
No students who work in the library are from the computer science department. 
All students who have part-time jobs offered by the university are students who work in the library. 
All students who take the database course are from the computer science department. 
All students instructed by professor David are taking the database course. 
All students working in the lab are instructed by professor David. 
James is a student working in the lab. 
Jack neither has a part-time job offered by the university nor works in the lab. 
Premises (first-order logic):
∀x (WorkLibrary(x) → ¬ComputerScience(x))
∀x (PartTime(x) → WorkLibrary(x))
∀x (Database(x) → ComputerScience(x))
∀x (ProfessorDavid(x) → Database(x))
∀x (WorkInLab(x) → ProfessorDavid(x))
WorkInLab(james)
¬PartTime(jack) ∧ ¬WorkInLab(jack)

Conclusion: James has a part-time job offered by the university.
Conclusion (first-order logic): PartTime(james)
Label: False

Conclusion: James does not have a part-time job offered by the university.
Conclusion (first-order logic): ¬PartTime(james)
Label: True

Conclusion: James either takes the database course or has a part-time job offered by the university.
Conclusion (first-order logic): Database(james) ⊕ PartTime(james)
Label: True

Conclusion: Jack takes the database course.
Conclusion (first-order logic): Database(jack)
Label: Uncertain
Premises:
If George likes music, he wants to compose.
If George has access to a program, he can compose.
If George can compose and wants to compose, he will compose.
Premises (first-order logic):
LikesMusic(george) → WantsToCompose(george)
AccesstoProgram(george) → CanCompose(george)
(WantsToCompose(george) ∧ CanCompose(george)) → WillCompose(george)

Conclusion: If George likes music and has access to a program, he will compose.
Conclusion (first-order logic): (LikesMusic(george) ∧ AccesstoProgram(george)) → WillCompose(george)
Label: True

Conclusion: If George will not compose, George can not compose.
Conclusion (first-order logic): ¬WantsToCompose(george) → ¬WillCompose(george)
Label: Uncertain
Premises:
A hawk never lands. 
Some birds are hawks.
Premises (first-order logic):
∀x (Hawk(x) → ¬Lands(x))
∃x (Bird(x) ∧ Hawk(x))

Conclusion: All birds land
Conclusion (first-order logic): ∀x (Bird(x) → Lands(x))
Label: False
Premises:
On some Mondays at 8 pm, roses are given out on TV.
Every rose given out on TV is on the Bachelor.
Everything on the Bachelor portrays the lives of real people.
All shows portraying the lives of real people are reality TV shows.
Breaking Bad is not a reality TV show.
Premises (first-order logic):
∃x (Mondayat8(x) ∧ RoseGivenOutOnTv(x))
∀x (RoseGivenOutOnTv(x) → OnBachelor(x))
∀x (OnBachelor(x) → PortrayLiveOfRealPeople(x))
∀x (PortrayLiveOfRealPeople(x) → RealityTVShow(x))
¬RealityTVShow(breakingbad)

Conclusion: Breaking Bad is on Monday at 8 pm.
Conclusion (first-order logic): Mondayat8(breakingbad)
Label: Uncertain

Conclusion: Breaking Bad is a TV show in which roses are given out on Monday at 8 pm.
Conclusion (first-order logic): Mondayat8(breakingbad) ∧ RoseGivenOutOnTv(breakingbad)
Label: False

Conclusion: If roses are given out during Breaking Bad, then it is on Monday at 8 pm.
Conclusion (first-order logic): RoseGivenOutOnTv(breakingbad) → Mondayat8(breakingbad)
Label: True
Premises:
Heinrich Scmidt was a Nazi German politician. 
Heeinrich Scmidt was also a member of the Prussian State Parliament and the Nazi Reichstag.
Premises (first-order logic):
From(heinrichScmidt, naziGermany) ∧ Politician(heinrichScmidt)
Member(heinrichScmidt, prussianStateParliament) ∧ Member(heinrichScmidt, naziReichstag)

Conclusion: Heinrich Schmidt was either German or Russian.
Conclusion (first-order logic): From(heinrichScmidt, naziGermany) ∨ From(heinrichScmidt, russia)
Label: True

Conclusion: Some Nazi German politician was part of both the Prussian State Parliament and the Nazi Reichstag.
Conclusion (first-order logic): ∃x (From(x, naziGermany) ∧ Politician(x) ∧ Member(x, prussianStateParliament) ∧ Member(x, naziReichstag))
Label: True

Conclusion: No politicans are part of the Nazi Reichstag.
Conclusion (first-order logic): ∀x (Politician(x) → ¬Member(x, naziReichstag))
Label: False
Premises:
If something is a deadly disease, then its survival rate is low. 
All severe cancers are deadly diseases.
Bile duct cancer is a severe cancer. 
All Cholangiocarcinoma is bile duct cancer.
No one with mild flu has a low survival rate.
If colorectal cancer is a bile duct cancer and the survival rate is low, then colorectal cancer is not a bile duct cancer.
Premises (first-order logic):
∀x (DeadlyDiseases(x) → SurvivalRateIsLow(x))
∀x (SevereCancer(x) → DeadlyDiseases(x))
∀x (BileDuctCancer(x) → SevereCancer(x))
∀x (Cholangiocarcinoma(x) → BileDuctCancer(x))
∀x (MildFlu(x) → ¬SurvivalRateIsLow(x)) 
BileDuctCancer(colorectalCancer) ∨ SurvivalRateIsLow(colorectalCancer) → ¬BileDuctCancer(colorectalCancer)

Conclusion: Colorectal cancer is a severe cancer
Conclusion (first-order logic): SevereCancer(colorectalCancer)
Label: Uncertain

Conclusion: If colorectal cancer is a bile duct cancer or a Cholangiocarcinoma, then colorectal cancer is a bile duct cancer and a mild flu.
Conclusion (first-order logic): BileDuctCancer(colorectalCancer) ∨ Cholangiocarcinoma(colorectalCancer) → BileDuctCancer(colorectalCancer) ∧ MildFlu(colorectalCancer)
Label: True

Conclusion: If colorectal cancer is not a mild flu and a Cholangiocarcinoma, then colorectal cancer is a bile duct cancer or a Cholangiocarcinoma.
Conclusion (first-order logic): ¬MildFlu(colorectalCancer) ∨ ¬Cholangiocarcinoma(colorectalCancer) → BileDuctCancer(colorectalCancer) ∨ Cholangiocarcinoma(colorectalCancer)
Label: False
Premises:
All people who eat salads regularly are very conscious about their health and eating habits.
All people who grew up in health-conscious childhood homes eat salads regularly.
All people who fulfill their nutritional daily intakes grew up in health-conscious childhood homes.
If people have good relationships with their parents, then they fulfill their nutritional daily intakes.
If people have good relationships with their parents, then they do not eat salads regularly.
If people visit the gym at least once a day, then they always fulfill their daily nutritional intakes.
It is either both true that Taylor grew up in a health-conscious childhood home and she has a good relationship with her parents, or it is true that Taylor neither grew up in a health-conscious childhood home nor has a good relationship with her parents.
Premises (first-order logic):
∀x (Salad(x) → HealthyHabits(x))
∀x (HealthyChildhood(x) → Salad(x))
∀x (Nutritional(x) → HealthyChildhood(x))
∀x (GoodRelationship(x) → ¬HealthyHabits(x))
∀x (Gym(x) → Nutritional(x))
(HealthyChildhood(taylor) ∧ GoodRelationship(taylor)) ∨ ¬HealthyChildhood(taylor) ∧ ¬GoodRelationship(marcy)

Conclusion: Taylor eats salads regularly.
Conclusion (first-order logic): Salad(taylor)
Label: Uncertain

Conclusion: Taylor visits the gym at least once a day.
Conclusion (first-order logic): Gym(taylor)
Label: False

Conclusion: Taylor neither grew up in a health-conscious childhood home nor does she visit the gym at least once a day.
Conclusion (first-order logic): ¬(HealthyChildhood(taylor) ∨ Gym(taylor))
Label: True
Premises:
[BG] The Olympic games is a sporting event. 
The last Olympic games was in Tokyo.
The United States won the most medals in Tokyo. 
Premises (first-order logic):
SportingEvent(olympics)
LastOlympics(tokyo)
MostMedals(unitedStates, tokyo)

Conclusion: The world championships is a sporting event.
Conclusion (first-order logic): SportingEvent(champs)
Label: Uncertain

Conclusion: The last Olympic games were not in Tokyo.
Conclusion (first-order logic): ¬LastOlympics(tokyo)
Label: False

Conclusion: The United States won the most medals in the last Olympic games.
Conclusion (first-order logic): ∃x (LastOlympics(x) ∧ MostMedals(unitedStates, x))
Label: True
Premises:
All horses have hooves.
No humans have hooves.
Premises (first-order logic):
∀x (Horse(x) → Hooves(x))
∀x (Human(x) → ¬Hooves(x))

Conclusion: Some humans are horses.
Conclusion (first-order logic): ∃x (Human(x) ∧ Horse(x))
Label: False
Premises:
Susan flies to LGA airport.
The departure and arrival can not be the same airport.
John flies from LGA airport.
Premises (first-order logic):
FlyTo(susan, lga)
∀x ∀y (FlyFrom(x, y) ⊕ FlyTo(x, y))
FlyFrom(john, lga)

Conclusion: Susan flies from LGA airport.
Conclusion (first-order logic): FlyFrom(susan, lga)
Label: False

Conclusion: John flies to LGA airport.
Conclusion (first-order logic): FlyTo(john, lga)
Label: False
Premises:
No one nice to animals is mean to animals.
Some grumpy people are mean to animals.
All animal lovers are nice to animals.
If someone owns a pet, then they love animals.
Tom is a pet owner.
Premises (first-order logic):
∀x (Nice(x) → ¬Mean(x))
∃x (Grumpy(x) ∧ Mean(x))
∀x (AnimalLover(x) → Nice(x))
∀x (PetOwner(x) → AnimalLover(x))
PetOwner(tom)

Conclusion: Tom is a grumpy person.
Conclusion (first-order logic): Grumpy(tom)
Label: Uncertain

Conclusion: Tom is not a grumpy person and mean to animals.
Conclusion (first-order logic): ¬(Grumpy(tom) ∧ Mean(tom))
Label: True

Conclusion: If Tom is not a grumpy person and mean to animals, then Tom is neither a grumpy person nor an Animal Lover.
Conclusion (first-order logic): ¬(Grumpy(tom) ∧ Mean(tom)) → ¬(Grumpy(tom) ∨ AnimalLover(tom))
Label: False
Premises:
A podcast is not a novel.
[BG] If a person is born in American City, the person is American.
[BG] If a book is novel and it is written by a person, then the person is a novel writer.
Dani Shapiro is an American writer.
Family History is written by Dani Shapiro.
Family History is a novel written in 2003.
Dani Shapiro created a podcast called Family Secrets.
[BG] Boston is an American city.
Premises (first-order logic):
∀x (IsPodcast(x) → ¬IsNovel(x))
∀x ∃y (BornIn(x, y) ∧ IsCity(y) ∧ IsAmerican(y) → IsAmerican(x))
∀x ∀y (IsNovel(x) ∧ WrittenBy(x, y) → WritesNovel(y))
IsAmerican(dani_Shapiro) ∧ IsWriter(dani_Shapiro)
WrittenBy(family_History, dani_Shapiro)
IsNovel(family_History) ∧ WrittenIn(family_History, y2003)
IsPodcast(family_Secrets) ∧ CreatedBy(family_Secrets, dani_Shapiro)
IsCity(boston) ∧ IsAmerican(boston)

Conclusion: Dani Shapiro is a novel writer.
Conclusion (first-order logic): WritesNovel(dani_Shapiro)
Label: True

Conclusion: Family Secrets is a novel.
Conclusion (first-order logic): IsNovel(family_Secrets)
Label: False

Conclusion: Dani Shapiro was born in Boston.
Conclusion (first-order logic): BornIn(dani_Shapiro, boston)
Label: Uncertain
Premises:
Some basketball players are not American.
All basketball players are tall.
If someone is tall, they wear large shoes.
If someone wears large shoes, they wear large-sized clothes.
Yuri does not wear large-size clothes.
Premises (first-order logic):
∃x (BasketballPlayer(x) ∧ ¬American(x))
∀x (BasketballPlayer(x) → Tall(x))
∀x (Tall(x) → WearLargeShoes(x))
∀x (WearLargeShoes(x) → WearLargeClothes(x))
¬WearLargeClothes(yuri)

Conclusion: Yuri is an American.
Conclusion (first-order logic): American(yuri)
Label: Uncertain

Conclusion: Yuri is not an American basketball player.
Conclusion (first-order logic): ¬(American(yuri) ∧ BasketballPlayer(yuri))
Label: True

Conclusion: Yuri is an American basketball player.
Conclusion (first-order logic): American(yuri) ∧ BasketballPlayer(yuri)
Label: False

Conclusion: If Yuri does not wear large shoes, then Yuri is an American basketball player.
Conclusion (first-order logic): ¬WearLargeShoes(yuri) → (American(yuri) ∧ BasketballPlayer(yuri))
Label: False

Conclusion: If Yuri is not an American basketball player, then Yuri is a basketball player.
Conclusion (first-order logic): ¬(American(yuri) ∧ BasketballPlayer(yuri)) → BasketballPlayer(yuri)
Label: False
Premises:
Events are either happy or sad.
At least one event is happy. 
Premises (first-order logic):
∀x (Event(x) → Happy(x) ⊕ Sad(x))
∃x (Event(x) ∧ Happy(x))

Conclusion: All events are sad.
Conclusion (first-order logic): ∀x (Event(x) → Sad(x))
Label: False
Premises:
The winner of the 1992 du Maurier Classic was Steinhauer.
Steinhauer participated in the 1992 du Maurier Classic.
There was one six-way tie on the leaderboard and one person in the six-way tie was from Belgium.
Descampe is from Belgium and is on the leaderboard of the 1992 du Maurier Classic.
All people on the leaderboard of the 1992 du Maurier Classic participated in the 1992 du Maurier Classic.
Premises (first-order logic):
Winner(maurier, steinhauer)
Participate(maurier, steinhauer)
∃x (LeaderBoard(maurier, x) ∧ SixWayTie(x) ∧ Belgium(x))
Belgium(descampe) ∧ LeaderBoard(maurier, descampe)
∀x (LeaderBoard(maurier, x) → Participate(maurier, x))

Conclusion: Steinhauer was not the winner of the 1992 du Maurier Classic.
Conclusion (first-order logic): ¬Winner(maurier, steinhauer)
Label: False

Conclusion: Descampe is in the six-way tie in the leaderboard of the 1992 du Maurier Classic.
Conclusion (first-order logic): SixWayTie(descampe)
Label: Uncertain
Premises:
If an animal barks, then Jane does not like it.
All dogs are animals that bark.
If an animal jumps, then Jane likes it.
If an animal has legs, then it jumps.
If an animal is terricolous, then it has legs. 
If KiKi neither jumps nor has legs, then KiKi is terricolous or has legs.
Premises (first-order logic):
∀x (Bark(x) → ¬Like(jane, x))
∀x (Dog(x) → Bark(x))
∀x (Jump(x) → Like(jane, x))
∀x (HaveLegs(x) → Jump(x))
∀x (Terricolous(x) → HaveLegs(x))
(¬Jump(kiki) ∧ ¬HaveLegs(kiki)) → (Terricolous(kiki) ∨ HaveLegs(kiki))

Conclusion: KiKi is terricolous.
Conclusion (first-order logic): Terricolous(kiki)
Label: Uncertain

Conclusion: KiKi barks and is a dog.
Conclusion (first-order logic): Bark(kiki) ∧ Dog(kiki)
Label: False

Conclusion: KiKi neither barks nor is a dog.
Conclusion (first-order logic): ¬Bark(kiki) ∧ ¬Dog(kiki)
Label: True
Premises:
Ailton Silva, born in 1995, is commonly known as Ailton.
Ailton is a football player who was loaned out to Braga.
Ailton Silva is a Brazillian footballer who plays for Nautico.
Nautico is a football club along with Braga.
Fluminense is a football club.
Premises (first-order logic):
BornIn(ailtonsilva, y1995) ∧ CommonlyKnownAs(ailtonsilva, ailton)
FootballPlayer(ailton) ∧ LoanedTo(ailton, braga)
Brazilian(ailtonsilva) ∧ Footballplayer(ailtonsilva) ∧ PlaysFor(ailtonsilva, nautico)
FootballClub(nautico) ∧ FootballClub(braga)
FootballClub(fluminense)

Conclusion: No one playing for Nautico is Brazilian.
Conclusion (first-order logic): ∀x (PlaysFor(x, nautico) → ¬Brazilian(x))
Label: False

Conclusion: Ailton Silva foes not play for a football club.
Conclusion (first-order logic): ∀x (FootballClub(x) → ¬PlaysFor(ailtonsilva, x))
Label: False

Conclusion: Ailton was not loaned out to a football club.
Conclusion (first-order logic): ∀x (FootballClub(x) → ¬LoanedTo(ailton, x))
Label: False

Conclusion: Ailton Silva played for Fluminense.
Conclusion (first-order logic): PlaysFor(ailtonsilva, fluminense)
Label: Uncertain

Conclusion: Ailton Silva was loaned out to a football club.
Conclusion (first-order logic): ∃x (FootballClub(x) ∧ LoanedTo(ailtonsilva, x))
Label: Uncertain