yuansui/folio huggingface dataset:
Premises:
Enterococcus durans is a species of Enterococcus.
Enterococcus durans is a gram-positive, catalase- and oxidase-negative, coccus bacterium.
Some strains of Enterococcus durans have been identified as producers of anti-inflammatory agents.
All known anti-inflammatory agents have been studied in medical research.

Premises in first-order logic:
∀x (EnterococcusDurans(x) → Species(x, enterococcus))
∀x (EnterococcusDurans(x) → GramPositive(x) ∧ CatalaseNegative(x) ∧ OxidaseNegative(x) ∧ Coccus(x) ∧ Bacteria(x))
∃x ∃y (EnterococcusDurans(x) ∧ AntiInflammatoryAgent(y) ∧ Produces(x, y))
∀x (AntiInflammatoryAgent(x) → Studied(x))

Conclusions:
Enterococcus durans is a catalase-negative bacteria.
A gram-positive organism is being studied.
Enterococcus durans does not produce anything that is being studied.

Conclusions in first-order logic:
∀x (EnterococcusDurans(x) → CatalaseNegative(x))
∃x (GramPositive(x) ∧ Studied(x))
∀x ∀y (EnterococcusDurans(x) ∧ Produces(x, y) → ¬Studied(y))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
F
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 in 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)

Conclusions:
Daniel once applied to Stanford University, but he couldn’t get in even though he has family members who are Stanford alumni.
Daniel studied bioengineering as an undergraduate at Rice University.
Daniel and his sister grew up in Minneapolis, Minnesota.

Conclusions in first-order logic:
AppliedTo(daniel, stanfordUniversity) ∧ ¬GotInto(daniel, stanfordUniversity) ∧ Alumni(danielsFamilyMembers, stanfordUniversity)
Studied(daniel, bioengineering) ∧ UndergraduateAt(daniel, riceUniversity)
GrewUpIn(daniel, minneapolis) ∧ GrewUpIn(danielsOlderSister, minneapolis)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
U
Premises:
Family Pirate Party was released in North America or Japan.
Games available in Canada have been released in North America.
Games that can be bought in Japan have been released in Japan.
Family Pirate Party is a game that is available in Canada and can be bought in Japan.
Some Games released in Japan are for the Wii.

Premises in first-order logic:
ReleasedIn(familyPirateParty, northAmerica) ∨ ReleasedIn(familyPirateParty, japan)
∀x (Game(x) ∧ AvailableIn(x, canada) → ReleasedIn(x, northAmerica))
∀x (Game(x) ∧ BoughtIn(x, japan) → ReleasedIn(x, japan))
Game(familyPirateParty) ∧ AvailableIn(familyPirateParty, canada) ∧ BoughtIn(familyPirateParty, japan))
∃x (Game(x) ∧ ReleasedIn(x, japan) ∧ For(x, wii))

Conclusions:
Family Pirate Party was not released in North America.
Family Pirate Party was released in Japan.
Family Pirate Party was released in North America and Japan.
Family Pirate Party is for the Wii.

Conclusions in first-order logic:
¬ReleasedIn(familyPirateParty, northAmerica)
ReleasedIn(familyPirateParty, japan)
ReleasedIn(familyPirateParty, northAmerica) ∧ ReleasedIn(familyPirateParty, japan)
For(familypirateparty, wii))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
T
U
Premises:
The handbrake of a car is either up or down.
The handbrake is down when a car is parked.

Premises in first-order logic:
∀x ∀y (HandbrakeOf(x, y) ∧ Car(y) → Up(x) ⊕ Down(x))
∀x ∀y (HandbrakeOf(x, y) ∧ Parked(y) ∧ Car(y) → Down(x))

Conclusions:
The handbrake is up when some cars are parked.

Conclusions in first-order logic:
∃x ∃y (HandbrakeOf(x, y) ∧ Parked(y) ∧ Car(y) ∧ Up(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
Premises:
The indie pop band Phoenix has released six albums. 
Phoenix's album "Wolfgang Amadeus Phoenix" sold over 500,000 copies. 
A certified gold album or single is one which sold over half a million copies. 
"1901" is a single from Phoenix's album "Wolfgang Amadeus Phoenix."
Over 400,000 copies of "1901" have been sold. 

Premises in first-order logic:
AlbumsReleased(phoenix, 6)
Album(wolfgangamadeusphoenix) ∧ IsAlbumOf(wolfgangamadeusphoenix, phoenix) ∧ SoldOver(wolfgangamadeusphoenix, 500,000)
∀x ((Album(x) ∨ Single(x)) ∧ SoldOver(x, 500,000) → CertifiedGold(x))
Single(1901) ∧ From(1901, wolfgangamadeusphoenix) ∧ By(1901, phoenix)
SoldOver(l1901, 400,000)

Conclusions:
The album "Wolfgang Amadeus Phoenix" is a certified gold album.
The single "1901" is a certified gold single.

Conclusions in first-order logic:
CertifiedGold(wolfgangamAdeusPhoenix)
CertifiedGold(1901)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
Premises:
Rhos Aelwyd F.C. is a Welsh football club.
Rhos Aelwyd F.C. is the only football club located in Ponciau. 
The Premier Division was won in June 2005 by a team from Ponciau. 
The winner of the Premier Division in October 2009 was promoted to the Cymru Alliance.
The Premier Division in October 2009 was won by the same team that won in June 2005. 

Premises in first-order logic:
∀x (Rhosaelwydfc(x) → FootballClub(x) ∧ Welsh(x))
∀x (FootballClub(x) ∧ LocatedIn(x, ponciau) ↔ Rhosaelwydfc(x))
∃x (LocatedIn(x, ponciau) ∧ WonPremierDivisionDuring(x, year2005MonthJune))
∀x (WonPremierDivisionDuring(x, year2009MonthOctober) → PromotedTo(x, cymruAlliance))
∀x (WonPremierDivisionDuring(x, year2009MonthOctober) ↔ WonPremierDivisionDuring(x, y2005MonthJune))

Conclusions:
Rhos Aelwyd F.C. won Premier Division in June 2005.
Rhos Aelwyd F.C. was promoted to the Cymru Alliance.

Conclusions in first-order logic:
∃x (Rhosaelwydfc(x) ∧ WonPremierDivisionDuring(x, year2005MonthJune))
∃x (Rhosaelwydfc(x) ∧ PromotedTo(x, cymruAlliance))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
Premises:
Barutin Cove is a cove named after the Bulgarian settlement of Barutin.
Barutin Cove is on the southwest coast of Snow Island.
Snow Island, Greenwich Island, and Deception Island are located in the South Shetland Islands.
Antarctica is located on the South Shetland Islands. 
If place A is located in place B and place B is located in place C, then place A is located in place C.

Premises in first-order logic:
Cove(barutinCove) ∧ NamedAfter(barutinCove, barutinSettlement) ∧ LocatedIn(barutinSettlement, bulgaria)
LocatedIn(barutinCove, snowIsland)
LocatedIn(snowIsland, southShetlandIslands) ∧ LocatedIn(greenwichIsland, southShetlandIslands) ∧ LocatedIn(deceptionIsland, southShetlandIslands)
LocatedIn(southShetlandIslands, antarctica)
∀x ∀y ∀z ((LocatedIn(x, y) ∧ LocatedIn(y, z)) → LocatedIn(x, z))

Conclusions:
Barutin Cove is named after all islands in Antarctica.
There is at least one cove in Antarctica named after a place in Bulgaria. 
Barutin Cove is not located in Antarctica.

Conclusions in first-order logic:
∀x (LocatedIn(x, antarctica) → NamedAfter(barutinCove, x))
∃x ∃y (Cove(x) ∧ LocatedIn(x, antarctica) ∧ NameAfter(x, y) ∧ LocatedIn(y, bulgaria))
¬LocatedIn(barutinCove, antarctica)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
F
Premises:
The summer Olympic games is a sporting event. 
The last summer Olympic games was in Tokyo.
The United States won the most medals in Tokyo. 

Premises in first-order logic:
SportingEvent(olympics)
LastSummerOlympics(tokyo)
MostMedals(unitedStates, tokyo)

Conclusions:
The world championships is a sporting event. 
The last summer Olympic games were not in Tokyo.
The United States won the most medals in the last summer Olympic games.

Conclusions in first-order logic:
SportingEvent(champs)
¬LastSummerOlympics(tokyo)
∃x (LastSummerOlympics(x) ∧ MostMedals(unitedStates, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
F
T
Premises:
Brita was a cargo ship built for Norwegians.
Brita was impressed into service by Germany.
Ships that have been impressed into service were seized by whoever impressed them into service.
The Britta was sold to Hong Kong.

Premises in first-order logic:
CargoShip(britta) ∧ Ship(britta) ∧ BuiltFor(britta, norwegians)
ImpressedIntoServiceBy(britta, germany)
∀x ∀y (Ship(x) ∧ ImpressedIntoServiceBy(x, y) → SeizedBy(x, y))
SoldTo(britta, hongkong)

Conclusions:
There was a cargo ship seized by Germany that was sold to Hong Kong.
Hong Kong hasn't had any seized ships sold to them.
Hong Kong seized the Britta.

Conclusions in first-order logic:
∃x (CargoShip(x) ∧ SeizedBy(x, germany) ∧ SoldTo(x, hongkong))
∀x ∀y (SoldTo(x, hongkong) → ¬SeizedBy(x, y))
SeizedBy(britta, hongkong)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
No plants are fungi.
Mushrooms are fungi.

Premises in first-order logic:
∀x (Plant(x) → ¬Fungi(x))
∀x (Mushroom(x) → Fungi(x))

Conclusions:
No plants are mushrooms.

Conclusions in first-order logic:
∀x (Plant(x) → ¬Mushroom(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
A snake is a reptile. 
No reptile has feathers.

Premises in first-order logic:
∀x (Snake(x) → Reptile(x))
∀x (Reptile(x) → ¬(∃y ∃z (¬(y=z) ∧ Feather(y) ∧ Feather(z) ∧ Have(x, y) ∧ Have(x, z))))

Conclusions:
No snake has feathers.

Conclusions in first-order logic:
∀x (Snake(x) → ¬(∃y ∃z (¬(y=z) ∧ Feather(y) ∧ Feather(z) ∧ Have(x, y) ∧ Have(x, z))))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
Mary has the flu.
If someone has the flu, then they have influenza.
Susan doesn't have influenza.

Premises in first-order logic:
Has(mary, flu)
∀x (Has(x, flu) → Has(x, influenza))
¬Has(susan, influenza)

Conclusions:
Either Mary or Susan has influenza.

Conclusions in first-order logic:
Has(mary, influenza) ⊕ Has(susan, influenza)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
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 in 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))

Conclusions:
The genre of Trouble at the Henhouse is rock.
No Canadian rock band has won the Album of the Year award.
"Butts Wigglin'" appeared in a film.

Conclusions in first-order logic:
Genre(troubleAtTheHenhouse, rock)
¬(∃x(RockBand(x, canada) ∧ Award(x, theAlbumOfTheYear)))
SongInFilm(buttsWigglin)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
A moth is not a butterfly.
Butterflies have thin antennae.
Moths emerge from cocoons.
Some moths are pests.
Cerura Vinula is a moth.

Premises in first-order logic:
∀x (Moth(x) → ¬Butterfly(x))
∀x (Butterfly(x) → ThinAntennae(x))
∀x (Moth(x) → EmergeFrom(x, cocoon))
∃x (Moth(x) ∧ Pest(x))
Moth(ceruravinula)

Conclusions:
Cerura Vinula emerges from cocoons.
Cerura Vinula does not have thin antennae.
Cerura Vinula is a pest.

Conclusions in first-order logic:
EmergeFrom(ceruravinula, cocoon)
¬ThinAntennae(ceruravinula)
Pest(ceruravinula)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
U
Premises:
Susan flies to LGA airport.
The departure and arrival can not be at the same airport.
John flies from LGA airport.

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

Conclusions:
Susan flies from LGA airport.
John flies to LGA airport.

Conclusions in first-order logic:
FlyFrom(susan, lgaAirport)
FlyTo(john, lgaAirport)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
F
Premises:
Pulp is an English band.
Jarvis Cocker was a member of Pulp.
In 2014 a documentary about Pulp was released.
Documentaries about bands feature the members.
Pulp released an album that reached the number one spot in the UK Albums Chart.

Premises in first-order logic:
EnglishBand(pulp)
MemberOf(jamescocker, pulp)
∃x (DocumentaryAbout(x , pulp) ∧ ReleaseIn(x , 2014))
∀x ∀y ∀z (MemberOf(z, y) ∧ DocumentaryAbout(x , y) → DocumentaryFeature(z))
∃x (Release(pulp, x) ∧ ReachNumberOneSpotIn(x, uKAlbumChart))

Conclusions:
Pulp is a band from England.
Jarvis Cocker was featured in a documentary.
Pulp is the best band.

Conclusions in first-order logic:
EnglishBand(pulp)
DocumentaryFeature(jamescocker)
BestBand(pulp)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
U
Premises:
Businesses are either sanctioned or unsanctioned.
Sanctioned businesses are limited.
Unsanctioned businesses are free.
The Crude Oil Data Exchange is a business that isn't free.

Premises in first-order logic:
∀x (Buisness(x) → Sanctioned(x) ⊕ ¬Sanctioned(x))
∀x (Buisness(x) ∧ Sanctioned(x) → Limited(x))
∀x (Buisness(x) ∧ ¬Sanctioned(x) → Free(x))
Buisness(crudeOilDataExchange) ∧ ¬Free(crudeOilDataExchange)

Conclusions:
Crude Oil Data Exchange is sanctioned.
Crude Oil Data Exchange is unsanctioned.
Crude Oil Data Exchange is limited.

Conclusions in first-order logic:
Sanctioned(crudeOilDataExchange)
¬Sanctioned(crudeOilDataExchange)
Limited(crudeOilDataExchange)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
T
Premises:
Evangelos Eleftheriou is a Greek electrical engineer.
Evangelos Eleftheriou worked for IBM in Zurich.
If a company has employees working for them somewhere, then they have an office there.
IBM is a company.

Premises in first-order logic:
Greek(evangelosEleftheriou) ∧ ElectricalEngineer(evangelosEleftheriou)
WorkForIn(evangelosEleftheriou, iBM, zurich)
∀x ∀x ∀z (Company(x) ∧ WorkForIn(y, x, z) → HaveOfficeIn(x, z))
Company(ibm)

Conclusions:
IBM has an office in London or Zurich or both. 
No Greeks have worked for IBM.

Conclusions in first-order logic:
HaveOfficeIn(ibm, london) ∨ HaveOfficeIn(ibm, zurich)
∀x (Greek(x) → ¬WorkFor(x, ibm))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
Show Your Love is a song recorded by the South Korean boy band BtoB 4u.
The lead single of the extended play Inside is Show Your Love.
Show Your Love contains a hopeful message.
BtoB 4u member Hyunsik wrote Show Your Love.
There is a music video for Show Your Love.

Premises in first-order logic:
Song(showYourLove) ∧ RecordedBy(showYourLove, bToB4u) ∧ SouthKorean(bToB4u) ∧ BoyBand(bToB4u)
ExtendedPlay(inside) ∧ LeadSingleOf(showYourLove, inside)
Contains(showYourLove, hopefulMessage)
Member(hyunsik, btob4u) ∧ Wrote(hyunsik, showYourLove)
Have(showYourLove, musicVideo)

Conclusions:
Show Your Love wasn't written by a member of a boy band.
A lead single of Inside contains a hopeful message.
Hyunsik is Korean.

Conclusions in first-order logic:
∀x ∀y (Wrote(x, showYourLove) → ¬(BoyBand(y) ∧ MemberOf(x, y)))
∃x (LeadSingleOf(x, inside) ∧ Contains(x, hopefulMessage))
Korean(hyunsik)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
U
Premises:
Every chef can cook.
Some people who aren’t chefs can cook.
People who cook can make scrambled eggs and pasta.
If someone can make cookies and muffins, they are a baker.
Bakers who can also make scrambled eggs can make a good breakfast.
Luke can make cookies, scrambled eggs, and muffins, but not pasta.

Premises in first-order logic:
∀x (Chef(x) → Can(x, cook))
∃x (¬Chef(x) ∧ Can(x, cook))
∀x (Can(x, cook) → (CanMake(x, scrambledEggs) ∧ CanMake(x, pasta)))
∀x (CanMake(x, cookies) ∧ CanMake(x, muffins) → Baker(x))
∀x ((Baker(x) ∧ CanMake(x, scrambledEggs)) → CanMake(x, goodBreakfast))
CanMake(luke, cookies) ∧ (CanMake(luke, scrambledEggs) ∧ CanMake(luke, muffins) ∧ ¬CanMake(luke, pasta)

Conclusions:
Luke can make a good breakfast.
Luke is a chef. 

Conclusions in first-order logic:
CanMake(luke, goodBreakfast)
Chef(luke)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
Ann J. Land was a member of the Philadelphia City Council and the Democratic Party.
Ann J. Land ran unopposed for the Philadelphia 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:
MemberOf(annJLand, philadelphiaCityCouncil) ∧ MemberOf(annJLand, democraticParty)
RunUnopposedFor(ann, philadelphiaCityCouncil, year1980)
∀x ∀y (RunUnopposedFor(x, philadelphiaCityCouncil, y) → ElectedTo(x, philadelphiaCityCouncil, y))
PoliticalChallenger(michaelNutter)
Defeat(annJLand, michaelNutter) ∧ RunFor(annJLand, philadelphiaCityCouncil, year1987)

Conclusions:
Ann J. Land was elected to the Philadelphia City Council in 1980.
Ann J. Land was elected to the Philadelphia City Council in 1987.
There was some member of the Democratic Party elected to the Philadelphia City Council in 1980.

Conclusions in first-order logic:
ElectedTo(ann, philadelphiaCityCouncil, year1980)
ElectedTo(ann, philadelphiaCityCouncil, year1987)
∃x (MemberOf(x, democraticParty) ∧ ElectedTo(x, philadelphiaCouncil, year1980))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
T
Premises:
Jerry should not worry about things outside of his control.
All traffic is outside of my control.

Premises in first-order logic:
∀x (OutsideOfControl(x) → ¬ShouldWorry(jerry, x))
∀x (Traffic(x) → OutsideControl(x))

Conclusions:
Jerry should not worry about traffic.

Conclusions in first-order logic:
¬ShouldWorry(jerry, traffic)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
Some mammals have teeth.
Platypuses have no teeth.
Platypuses are mammals. 
Humans have teeth.

Premises in first-order logic:
∃x ∃y (Mammal(x) ∧ Mammal(y) ∧ (¬(x=y)) ∧ Have(x, teeth) ∧ Have(y, teeth))
¬Have(platypus, teeth)
Mammal(platypus)
Have(humans, teeth)

Conclusions:
Platypuses are mammals with no teeth.  
Platypuses are reptiles. 
Humans are mammals. 

Conclusions in first-order logic:
Mammal(platypus) ∧ (¬Have(platypus, teeth))
Reptile(platypus)
Mammal(humans)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
U
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:
Polish(ernestPohl) ∧ FootballPlayer(ernestPohl)
∃x (FootballPlayer(x) ∧ In(x, polishFirstDivision) ∧ ScoredOver(x, 180Goals))
In(ernestPohl, polishFirstDivision) ∧ ScoredOver(ernestPohl, 180Goals)
∃x ∃y (GornikZabrzes(x) ∧ Stadium(x) ∧ NamedAfter(x, y) ∧ SoccerPlayer(y) ∧ From(y, rudaŚląska))
From(ernestPohl, rudaŚląska))

Conclusions:
Ernest Pohl has not scored more than 180 goals.
Górnik Zabrze's stadium was named after Ernest Pohl.

Conclusions in first-order logic:
¬ScoredOver(ernestPohl, 180Goals)
∀x (GornikZabrzes(x) ∧ Stadium(x) → NamedAfter(x, ernestPohl))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
U
Premises:
Bernarda Bryson Shahn was a painter and lithographer.
Bernarda Bryson Shahn was born in Athens, Ohio. 
Bernarda Bryson Shahn was married to Ben Shahn.
People born in Athens, Ohio, are Americans.

Premises in first-order logic:
Painter(bernardaBrysonShahn) ∧ Lithographer(bernardaBrysonShahn) 
BornIn(bernardaBrysonShahn, athensOhio)
MarriedTo(bernardaBrysonShahn, benShahn)
∀x (BornIn(x, athensOhio) → American(x))

Conclusions:
Bernarda Bryson Shahn was born in Greece.
Bernarda Bryson Shahn was American.
Bernarda Bryson Shahn had been divorced once.

Conclusions in first-order logic:
BornIn(bernardaBrysonShahn, greece)
American(bernardaBrysonShahn)
Divorced(bernardaBrysonShahn)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
U
Premises:
A cat named Garfield, the main character of the film Garfield, is orange and fat and likes having lasagna. 
Garfield shares a home with Odie, another pet of Jon's. 
Garfield hates Odie.
A pet who hates the pet with whom he shares the same owner is childish and possessive.

Premises in first-order logic:
Cat(garfield) ∧ MainCharacterOf(garfield, filmGarfield) ∧ Orange(garfield) ∧ Fat(garfield) ∧ Like(garfield, lasagna)
PetOf(garfield, jon) ∧ PetOf(odie, jon) ∧ ShareHomeWith(garfield, odie)
Hate(garfield, odie)
∀x ∀y ∃z (PetOf(x, z) ∧ PetOf(y, z) ∧ Hate(x, y) → Childish(x) ∧ Possessive(x))

Conclusions:
The main character of the film Garfield is childish and possessive.

Conclusions in first-order logic:
∃x (MainCharacterOf(x, garfield) ∧ Childish(x) ∧ Possessive(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
Beasts of Prey is a fantasy novel or a science fiction novel, or both.
Science fiction novels are not about mythological creatures
Beasts of Prey Is about a creature known as the Shetani.
Shetanis are mythological.

Premises in first-order logic:
Novel(beastsOfPrey) → (Fantasy(beastsOfPrey) ∨ ScienceFiction(beastsOfPrey))
∀x ∀y (ScienceFiction(x) ∧ Mythological(y) ∧ Creature(y) → ¬About(x, y))
About(beastsOfPrey, shetani) ∧ Creature(shetani)
Mythological(shetani)

Conclusions:
Beasts of prey is a fantasy novel.
Beasts of prey isn't a science fiction novel.
A shetani is either mythological or a creature.

Conclusions in first-order logic:
Fantasy(beastsOfpPrey) ∧ Novel(beastsOfPrey)
¬ScienceFiction(beastsofprey) ∧ Novel(beastsOfPrey)
Mythological(shetani) ⊕ Creature(shetani)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
F