minimario/FOLIO huggingface dataset:
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 in 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.
Label: True

Conclusion: If George will not compose, George can not compose.
Label: Unknown
Premises:
A hawk never lands. 
Some birds are hawks.

Premises in first-order logic:
∀x (Hawk(x) → ¬Lands(x))
∃x (Bird(x) ∧ Hawk(x))

Conclusion: All birds land
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 in 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.
Label: Unknown

Conclusion: Breaking Bad is a TV show in which roses are given out on Monday at 8 pm.
Label: False

Conclusion: If roses are given out during Breaking Bad, then it is on Monday at 8 pm.
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 in first-order logic:
From(heinrichScmidt, naziGermany) ∧ Politician(heinrichScmidt)
Member(heinrichScmidt, prussianStateParliament) ∧ Member(heinrichScmidt, naziReichstag)

Conclusion: Heinrich Schmidt was either German or Russian.
Label: True

Conclusion: Some Nazi German politician was part of both the Prussian State Parliament and the Nazi Reichstag.
Label: True

Conclusion: No politicans are part of the Nazi Reichstag.
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 in 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
Label: Unknown

Conclusion: If colorectal cancer is a bile duct cancer or a Cholangiocarcinoma, then colorectal cancer is a bile duct cancer and a mild flu.
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.
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 in 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.
Label: Unknown

Conclusion: Taylor visits the gym at least once a day.
Label: False

Conclusion: Taylor neither grew up in a health-conscious childhood home nor does she visit the gym at least once a day.
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 in first-order logic:
SportingEvent(olympics)
LastOlympics(tokyo)
MostMedals(unitedStates, tokyo)

Conclusion: The world championships is a sporting event.
Label: Unknown

Conclusion: The last Olympic games were not in Tokyo.
Label: False

Conclusion: The United States won the most medals in the last Olympic games.
Label: True
Premises:
All horses have hooves.
No humans have hooves.

Premises in first-order logic:
∀x (Horse(x) → Hooves(x))
∀x (Human(x) → ¬Hooves(x))

Conclusion: Some humans are horses.
Label: False
Premises:
Susan flies to LGA airport.
The departure and arrival can not be the same airport.
John flies from LGA airport.

Premises in first-order logic:
FlyTo(susan, lga)
∀x ∀y (FlyFrom(x, y) ⊕ FlyTo(x, y))
FlyFrom(john, lga)

Conclusion: Susan flies from LGA airport.
Label: False

Conclusion: John flies to LGA airport.
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 in 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.
Label: Unknown

Conclusion: Tom is not a grumpy person and mean to animals.
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.
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 in 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.
Label: True

Conclusion: Family Secrets is a novel.
Label: False

Conclusion: Dani Shapiro was born in Boston.
Label: Unknown
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 in 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.
Label: Unknown

Conclusion: Yuri is not an American basketball player.
Label: True

Conclusion: Yuri is an American basketball player.
Label: False

Conclusion: If Yuri does not wear large shoes, then Yuri is an American basketball player.
Label: False

Conclusion: If Yuri is not an American basketball player, then Yuri is a basketball player.
Label: False
Premises:
Events are either happy or sad.
At least one event is happy. 

Premises in first-order logic:
∀x (Event(x) → Happy(x) ⊕ Sad(x))
∃x (Event(x) ∧ Happy(x))

Conclusion: All events are sad.
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 in 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.
Label: False

Conclusion: Descampe is in the six-way tie in the leaderboard of the 1992 du Maurier Classic.
Label: Unknown
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 in 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.
Label: Unknown

Conclusion: KiKi barks and is a dog.
Label: False

Conclusion: KiKi neither barks nor is a dog.
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 in 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.
Label: False

Conclusion: Ailton Silva foes not play for a football club.
Label: False

Conclusion: Ailton was not loaned out to a football club.
Label: False

Conclusion: Ailton Silva played for Fluminense.
Label: Unknown

Conclusion: Ailton Silva was loaned out to a football club.
Label: Unknown