yuansui/folio huggingface dataset:
Premises:
Tangent Online is an online magazine launched on the web in 1997.
The first issue of Tangent Online was a print issue launched in 1993.
Tangent Online is an online magazine that covers reviews of science fiction and fantasy short fiction.
Tangent Online also provides classic interviews, articles, and editorials.

Premises in first-order logic:
OnlineMagazine(tangentOnline) ∧ Web(tangentOnline) ∧ LaunchedIn(tangentOnline, 1997)
PrintIssue(firstIssueTangentOnline) ∧ LaunchedIn(firstIssueTangentOnline, 1993)
∃x (OnlineMagazine(tangentOnline) ∧ Covers(tangentOnline, x) ∧ Review(x) ∧ (AboutScienceFiction(x) ∨ AboutFantasyShortFiction(x)))
∃x (Covers(tangentOnline, x) ∧ (Interview(x) ∨ Article(x) ∨ Editorial(x)))

Conclusions:
Tangent Online is not an online magazine.
Tangent Online is a print magazine.
There is an online magazine that was launched on the web in 1997 that covers reviews of science fiction.

Conclusions in first-order logic:
¬OnlineMagazie(tangentOnline)
PrintMagazine(tangentOnline)
∃x ∃y (OnlineMagazine(x) ∧ Web(x) ∧ LaunchedIn(1997) ∧ Covers(x, y) ∧ Review(y))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
U
U
Premises:
If a city holds a Summer Olympics, and the city is a US city, then the Summer Olympics will be in the US.
If a city is in a state in the US, the city is a US city.
If a city is in a state, and a Summer Olympics is in this city, then the Summer Olympics is in this state.
The 2028 Summer Olympics is scheduled to take place in Los Angeles.
Los Angeles is a city in California.
Atlanta is a US city.
Atlanta is in Georgia.
California is a state in the United States.
Boxing, modern pentathlon, and weightlifting will be removed from The 2028 Summer Olympics.
Atlanta in the United States held the 1996 Summer Olympics.

Premises in first-order logic:
∀x ∀y ((SummerOlympicsIn(x,y) ∧ In(x, unitedStates)) → SummerOlympicsIn(x, unitedStates))
∀x ∀y ((In(x, y) ∧ In(y, unitedStates)) → In(x, unitedStates))
∀x ∀y ∀z ((In(x, z) ∧ State(z) ∧ SummerOlympicsIn(x,y)) → SummerOlympicsIn(z, y))
SummerOlympicsIn(losAngeles, yr2028)
In(losAngeles, california)
In(atlanta, unitedStates)
In(california, unitedStates)
In(atlanta, georgia)
¬InSummerOlympicsIn(boxing, yr2028) ∧ (¬InSummerOlympicsIn(modern_pentathlon, yr2028)) ∧ (¬InSummerOlympicsIn(weightlifting, yr2028))
SummerOlympicsIn(atlanta, yr1996)

Conclusions:
The 2028 Summer Olympics will take place in the US.
The 1996 Summer Olympics is not in Georgia. 
Skateboarding will appear at The 2028 Summer Olympics.

Conclusions in first-order logic:
SummerOlympicsIn(unitedStates, yr2028)
¬SummerOlympicsIn(georgia, yr1996)
InSummerOlympicsIn(skateboarding, yr2028)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
An optical engineer studies science and studies engineering.
Someone who studies optical engineering is an optical engineer.
An optical engineer studies the generation, transmission, or detection of light.
Murphy is an optical engineer.

Premises in first-order logic:
∀x (OpticalEngineer(x) → Study(x, science) ∧ Study(x, engineering))
∀x (Study(x, opticalEngineering) → OpticalEngineer(x))
∀x (OpticalEngineer(x) → Study(x, lightGeneration) ∨ Study(x, lightTransmission) ∨ Study(x, lightDetection))
OpticalEngineer(murphy)

Conclusions:
Murphy doesn't study the generation, transmission, or detection of light.
Murphy studies science.
Someone studies engineering.

Conclusions in first-order logic:
¬Study(murphy, lightGeneration) ∧ ¬Study(murphy, lightTransmission) ∧ ¬Study(murphy, lightDetection))
Study(murphy, science)
∃x (Study(x, engineering))

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
T
Premises:
"Stranger Things" is a popular Netflix show.
If a Netflix show is popular, Karen will binge-watch it.
If and only if Karen binge-watches a Netflix show, she will download it.
Karen does not download "Black Mirror."
"Black Mirror" is a Netflix show.
If Karen binge-watches a Netflix show, she will share it with Lisa.

Premises in first-order logic:
NetflixShow(strangerThings) ∧ Popular(strangerThings)
∀x ((NetflixShow(x) ∧ Popular(x)) → BingeWatch(karen, x))
∀x ((NetflixShow(x) ∧ BingeWatch(karen, x)) ↔ Download(karen, x))
¬Download(karen, blackMirror)
NetflixShow(blackMirror)
∀x ((NetflixShow(x) ∧ BingeWatch(karen, x)) → ShareWith(karen, x, lisa))

Conclusions:
Karen will share "Stranger Things" with Lisa.
"Black Mirror" is popular.
Karen will share "Black Mirror" with Lisa.

Conclusions in first-order logic:
ShareWith(karen, strangerThings, lisa) 
Popular(blackMirror)
ShareWith(karen, blackMirror, lisa)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
Deng Xiaoping served as the paramount leader of the People's Republic of China.
Deng Xiaoping was praised for his reaffirmation of the reform program, as well as the reversion of Hong Kong to Chinese control and the return of Macau.
As the party's Secretary-General under Mao and Vice Premier in the 1950s, Deng Xiaoping presided over the Anti-Rightist Campaign launched by Mao.
Deng Xiaoping became instrumental in China's economic reconstruction following the disastrous Great Leap Forward.
Mao Zedong died in 1976.
After Mao Zedong's death, Deng Xiaoping gradually rose to supreme power.

Premises in first-order logic:
ParamountLeaderOf(dengXiaoping, peoplesRepublicOfChina)
PraisedFor(dengXiaoping, reaffirmationOfReformProgram) ∧ PraisedFor(dengXiaoping, reversionOfHongKong) ∧ PraisedFor(dengXiaoping, returnOfMacau)
PartysSecretaryGeneral(dengXiaoping) ∧ Under(dengXiaoping, mao) ∧ VicePremierInThe1950s(dengXiaoping) ∧ PresidedOver(dengXiaoping, antiRightistCampaign) ∧ LaunchedBy(antiRightistCampaign, mao)
InstrumentalIn(dengXiaoping, chinasEconomicReconstruction) ∧ Following(chinasEconomicReconstruction, greatLeapForward) ∧ Disastrous(greatLeapForward)
DiedIn(mao, year1976)
GraduallyRoseTo(dengXiaoping, supremePower)

Conclusions:
The paramount leader of the PRC was also the vice premier.
Deng Xiaoping presided over something launched by someone he was under.
The person instrumental in china's economic reconstruction gradually rose to supreme power.

Conclusions in first-order logic:
∃x (ParamountLeaderOf(x, prc) ∧ VicePremier(x))
∃x ∃y (PresidedOver(dengxiaoping, x) ∧ Under(dengxiaoping, y) ∧ LaunchedBy(x, y))
∃x (InstrumentalIn(x, chinaseconomicreconstruction) ∧ GraduallyRoseTo(x, supremepower))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
T
Premises:
If a person is the leader of a country for life, that person has power.
Leaders of a country for life are either a king or a queen.
Queens are female.
Kings are male. 
Elizabeth is a queen.
Elizabeth is a leader of a country for life.

Premises in first-order logic:
∀x (Leader(x) → HavePower(x))
∀x (Leader(x) → (King(x) ⊕ Queen(x)))
∀x (Queen(x) → Female(x))
∀x (King(x) → Male(x))
Queen(elizabeth)
Leader(elizabeth)

Conclusions:
Elizabeth is a king.
Elizabeth has power.
Elizabeth is a leader of a country for life. 

Conclusions in first-order logic:
King(elizabeth)
HavePower(elizabeth)
Leader(elizabeth)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
T
Premises:
All Senate Republicans are elected officials.
Some elected officials are not conservatives.

Premises in first-order logic:
∀x (SenateRepublican(x) → ElectedOfficial(x))
∃x ∃y (ElectedOfficial(x) ∧ ElectedOfficial(y) ∧ ¬Conservative(x) ∧ ¬Conservative(y) ∧ ¬(x=y))

Conclusions:
Some conservatives are not Senate Republicans.

Conclusions in first-order logic:
∃x ∃y (Conservative(x) ∧ Conservative(y) ∧ ¬SenateRepublican(x) ∧ ¬SenateRepublican(y) ∧ ¬(x=y))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
Premises:
It costs $205 to take the GRE test, which is cheaper than $300.
ETS provides financial aid to those GRE applicants who prove economic hardship.
Those living in single-parent families or having few resources available to them can prove economic hardship.
Tom lives in a single-parent family.
Tom's dad has been out of work, and Tom has few resources available to them. 
Tom is applying to take the GRE test.

Premises in first-order logic:
Cost(gRE, 205) ∧ Cheaper(205, 300)
∀x (ApplicantOf(x, gre) ∧ Prove(x, economicHardship) → ProvideTo(ets, financialAid, x))
∀x (LivingIn(x, singleParentFamily) ∨ AvailableTo(fewResources, x) → Prove(x, economicHardship))
LivingIn(tom, singleParentFamily)
OutOfWork(tomsDad) ∧ AvailableTo(fewResources, tom)
ApplicantOf(tom, gre)

Conclusions:
ETS provides financial aid to Tom.
It costs below US $300 to take the GRE test. 
No one taking the GRE test has financial aid provided to them by something.

Conclusions in first-order logic:
ProvidesFinancialAidTo(eTS, tom)
Cost(gRE, x) ∧ Cheaper(x, 300)
¬(∃x ∃y (Applicant(x, gRE) ∧ ProvidesFinancialAidTo(y, x)))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
F
Premises:
Rafa Nadal was born in Mallorca.
Rafa Nadal is a professional tennis player.
Nadal's win ratio is high.
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))

Conclusions:
Nadal was not born in Mallorca.
Nadal is in the Big 3.
Nadal is the greatest player of all time.

Conclusions in first-order logic:
¬BornIn(rafaNadal, mallorca)
InBig3(rafaNadal)
GreatestOfAllTime(rafaNadal)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
T
U
Premises:
If a person is hungry, the person is uncomfortable.
If a person is uncomfortable, the person is unhappy.

Premises in first-order logic:
∀x (Hungry(x) → Uncomfortable(x))
∀x (Uncomfortable(x) → ¬Happy(x))

Conclusions:
If a person is not hungry, the person is unhappy. 

Conclusions in first-order logic:
∀x (¬Hungry(x) → ¬Happy(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
U
Premises:
All hit songs are catchy.
If a song lacks melody or rhythm, it will not be popular.
If a song is a hit, it must be popular.

Premises in first-order logic:
∀x (Song(x) ∧ Hit(x) → Catchy(x))
∀x (Song(x) ∧ ¬(HasMelody(x) ∨ HasRhythm(x)) → ¬Popular(x))
∀x (Song(x) ∧ Hit(x) → Popular(x))

Conclusions:
If a song is not melodic, it will not be a hit. 
If a song is catchy, it will be a hit. 
There is a song that is not rhythmic but is still a hit. 

Conclusions in first-order logic:
∀x (Song(x) ∧ ¬HasMelody(x) → ¬Hit(x))
∀x (Song(x) ∧ Catchy(x) → Hit(x))
∃x (Song(x) ∧ LackRhythm(x) ∧ Hit(x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
F
Premises:
There are six types of wild turkeys: Eastern wild turkey, Osceola wild turkey, Gould’s wild turkey, Merriam’s wild turkey, Rio Grande wild turkey, and Ocellated wild turkey.
Tom is not an Eastern wild turkey.
Tom is not an Osceola wild turkey.
Tom is not a Gould's wild turkey.
Tom is neither a Merriam's wild turkey nor a Rio Grande wild turkey.
Tom is a wild turkey.

Premises in first-order logic:
∀x (WildTurkey(x) → (EasternWildTurkey(x) ∨ OsceolaWildTurkey(x) ∨ GouldsWildTurkey(x) ∨ MerriamsWildTurkey(x) ∨ RiograndeWildTurkey(x) ∨ OcellatedWildTurkey(x)))
¬(EasternWildTurkey(tom))
¬(OsceolaWildTurkey(tom))
¬(GouldsWildTurkey(tom))
¬(MerriamsWildTurkey(tom) ∨ RiograndeWildTurkey(tom))
WildTurkey(tom)

Conclusions:
Tom is an Ocellated wild turkey.
Tom is an Eastern wild turkey.
Joey is a wild turkey.

Conclusions in first-order logic:
OcellatedWildTurkey(tom)
EasternWildTurkey(tom)
WildTurkey(joey)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
All juvenile delinquents have committed a crime.
Some juvenile delinquents are products of broken homes.

Premises in first-order logic:
∀x (JuvenileDelinquent(x) → Commited(x, crime))
∃x ∃y (JuvenileDelinquent(x) ∧ JuvenileDelinquent(y) ∧ ProductOf(x, brokenHome) ∧ ProductOf(y, brokenHome) ∧ ¬(x=y))

Conclusions:
Some people who have committed a crime are products of broken homes.

Conclusions in first-order logic:
∃x ∃y (Commited(x, crime) ∧ Commited(y, crime) ∧ ProductOf(x, brokenHome) ∧ ProductOf(y, brokenHome) ∧ ¬(x=y))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
Premises:
Badults is a British Sitcom series starring members of Pappy's.
Badults was piloted in July 2013 on BBC Three.
The Working title "The Secret Dude Society" was used for Badults.
Andrew Collins was the script editor for Badults.

Premises in first-order logic:
∃x (BritishSitcom(badults) ∧ Series(badults) ∧ MemberOf(x, pappys) ∧ Starring(badults, x))
PilotedIn(badults, july2013) ∧ PilotedOn(badults, bBCThree)
WorkingTitle(theSecretDudeSociety, badults) ∧ UsedFor(theSecretDudeSociety, badults)
ScriptEditorFor(andrewCollins, badults)

Conclusions:
Andrew Collins was the script editor for a series with the working title "The Secret Dude Society".
No members of Pappy's have starred in a show piloting on BBC Two or BBC Three.

Conclusions in first-order logic:
∃x (ScriptEditorFor(andrewCollins, x) ∧ Series(x) ∧ WorkingTitle(theSecretDudeSociety, x))
∀x ∀y (MemberOf(x, pappys) ∧ Starring(y, x) → ¬(PilotedOn(y, bBCTwo) ∨ PilotedOn(y, bBCThree)))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
Barbara Ann Marshall is a former swimmer and former world record-holder.
Barbara Ann Marshall participated in the 1972 Summer Olympics.
Barbara Ann Marshall's home country is the United States.
All people who competed in the 1972 Summer Olympics represented their home country.
Barbara Ann Marshall participated in the preliminary heat in the freestyle relay.
Barbara Ann Marshall did not participate in the event final of the 1972 Summer Olympics freestyle relay.
Only relay swimmers who participated in the final event at the 1972 Summer Olympics received medals.

Premises in first-order logic:
FormerSwimmer(barbaraAnnMarshall) ∧ FormerWorldRecordHolder(barbaraAnnMarshall)
ParticipatedIn(barbaraAnnMarshall, 1972SummerOlympics)
HomeCountry(barbaraAnnMarshall, unitedStates)
∀x ∃y (ParticipatedIn(x, 1972SummerOlympics) ∧ HomeCountry(x, y) → Represented(x, y))
ParticipatedIn(barbaraAnnMarshall, preliminaryHeatFreestyleRelay)
¬ParticipatedIn(barbaraAnnMarshall, finalHeatFreestyleRelay)
∀x ((ParticipatedIn(x, 1972SummerOlympics) ∧ RelaySwimmer(x) ∧ ¬ParticipatedIn(x, finalHeatFreestyleRelay)) ↔ ¬Recieved(x, medal)))

Conclusions:
Barbara Ann Marshall did not receive medals.
Barbara Ann Marshall represented the United States in the 1972 Summer Olympics.

Conclusions in first-order logic:
¬Recieved(barbaraAnnMarshall, medal)
Represented(barbaraAnnMarshall, unitedStates)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
T
Premises:
BG] ETB2 is a television channel from the Euskal Irrati Telebista group.
ETB2 is located in the Basque Autonomous Community, Navarre, and the French Basque Country.
The ETB2 channel broadcasts entirely in Spanish.
If a channel has a reception area, then the channel can be accessed from the locations within the reception area.
ETB2's reception area is comprised of Basque Country.
The whole Basque Country includes, among others, the Basque Autonomous Community, Navarre, and the French Basque Country.

Premises in first-order logic:
TelevisionChannel(etb2) ∧ From(etb2, euskalIrratiTelebista) ∧ Group(euskalIrratiTelebista)
LocatedIn(etb2, basqueAutonomousCommunity) ∧ LocatedIn(etb2, navarre) ∧ LocatedIn(etb2, frenchBasqueCountry)
∀x (BroadcastsIn(etb2, x) → Spanish(x))
∀x ∀y ∀z (TelevisionChannel(x) ∧ HasReceptionArea(x, y) ∧ LocatedIn(z, y) → CanAccess(z, x))
HasReceptionArea(etb2, basqueCounty)
LocatedIn(basqueAutonomousCommunity, basqueCounty) ∧ LocatedIn(navarre, basqueCounty) ∧ LocatedIn(frenchCasqueCountry, basqueCounty)

Conclusions:
The ETB2 channel can be accessed from Navarre.
The ETB2 channel can't be accessed from the French Basque Country.

Conclusions in first-order logic:
CanAccess(navarre, etb2)
¬CanAccess(frenchCasqueCountry, etb2)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
Premises:
Musicians have very busy lives.
Singh Kaur is a musician and famous.
If a musician is not famous, that musician will not make a lot of money.
A musician can be a singer or a writer.

Premises in first-order logic:
∀x (Musician(x) → Have(x, busyLife))
Musician(singhKaur) ∧ Famous(singhKaur)
∀x (Musician(x) ∧ ¬Famous(x) → ¬MakeALotOfMoney(x))
∃x (Musician(x) ∧ (Singer(x) ∨ Writer(x)))

Conclusions:
Singh Kaur makes a lot of money.
Singh Kaur is a writer.
Singh Kaur has a very busy life.

Conclusions in first-order logic:
MakeALotOfMoney(singhKaur)
Writer(singhKaur)
Have(singhKaur, busyLife)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
U
T
Premises:
Douglas Adams is an author who created the book collection called The Salmon of Doubt. 
The Salmon of Doubt is about life experiences and technology.
All authors are writers.
Writers create innovative ideas.
Some books that contain innovative ideas are about technology.

Premises in first-order logic:
Author(douglasAdams) ∧ Authored(douglasAdams, theSalmonOfDoubt) ∧ Book(theSalmonOfDoubt)
About(theSalmonOfDoubt, lifeExperience) ∧ About(theSalmonOfDoubt, technology)
∀x (Author(x) → Writer(x))
∀x (Writer(x) → Create(x, innovativeIdea))
∃x ∃y (Contain(x, innovativeIdea) ∧ About(x, technology) ∧ (¬(x=y)) ∧ (Contain(y, innovativeIdea) ∧ About(y, technology)))

Conclusions:
Douglas Adams is a writer.
Douglas Adams created innovative ideas.
The Salmon of Doubt has no innovative Ideas.

Conclusions in first-order logic:
Writer(douglasAdams)
Create(douglasAdams, innovativeIdea)
¬Contain(theSalmonOfDoubt, innovativeIdea)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
U
Premises:
Ableton has an office in Germany.
Ableton has an office in the USA.
USA and Germany are different countries.
Any company that has offices in different countries is a multinational company.
Ableton makes music software.

Premises in first-order logic:
OfficeIn(ableton, germany)
OfficeIn(ableton, unitedStates)
¬SameCountry(germany, unitedStates)
∀x ∀y ∀z (OfficeIn(x, y) ∧ OfficeIn(x, z) ∧ (¬SameCountry(y, z)) → MultinationalCompany(x))
MakesMusicSoftware(ableton)

Conclusions:
Ableton is a multinational company.
Ableton makes AI software.
Ableton does not have an office in Germany.

Conclusions in first-order logic:
MultinationalCompany(ableton)
MakesAISoftware(ableton)
¬OfficeIn(ableton, germany)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
F
Premises:
If you have room for dessert, you have room for broccoli.
Everyone at Luis's dinner party has room for dessert, including Luis.
Mauricia does not have room for broccoli.
Luis's dinner party is the first ever dinner party that Allison has attended.
Gustave has room for both broccoli and asparagus.
Broccoli and asparagus are both vegetables.

Premises in first-order logic:
∀x (RoomFor(x, dessert) → RoomFor(x, broccoli))
∀x (AtLuisParty(x) → RoomFor(x, dessert))
¬RoomFor(mauricia, broccoli)
AtLuisParty(allison) ∧ FirstDinnerPartyFor(luisparty, allison) 
RoomFor(gustave, broccoli) ∧ RoomFor(gustave, asparagus)
Vegetable(broccoli) ∧ Vegetable(asparagus)

Conclusions:
Allison has room for broccoli.
Mauricia is at Luis's dinner party.
Gustav has room for dessert.

Conclusions in first-order logic:
RoomFor(allison, broccoli)
AtLuisParty(mauricia)
RoomFor(gustave, dessert)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
F
U
Premises:
Sam is doing a project.
A project is written either in C++ or Python.
If Sam does a project written in Python, he will not use a Mac.
Sam is using a Mac.
If Sam uses a Mac, he will play a song.
If a song is not titled "Perfect," Sam will never play it.

Premises in first-order logic:
∃x (Project(x) ∧ Do(sam, x))
∀x (Project(x) → (WrittenIn(x, cplusplus) ⊕ WrittenIn(x, python)))
∀x (Project(x) ∧ WrittenIn(x, python) ∧ Do(sam, x) → ¬Use(sam, mac))
Use(sam, mac)
∃x (Use(sam, mac) ∧ Song(x) → Play(sam, x))
∀x (Song(x) ∧ Play(sam, x) → Titled(x, perfect))

Conclusions:
The project Sam is doing is written in C++.
The song Sam is playing is titled "Perfect".
If a song is titled "Perfect", Sam will play it.

Conclusions in first-order logic:
∀x (Project(x) ∧ Do(sam, x) ∧ WrittenIn(x, cplusplus)) 
∀x (Song(x) ∧ Play(sam, x) ∧ Titled(x, perfect)) 
∀x (Titled(x, perfect) → Play(sam, x))

Truth value of each conclusion (T = true, F = false, U = unknown):
T
U
U
Premises:
The USS Salem is a heavy cruiser built for the United States Navy.
The last heavy cruiser to enter service was the USS Salem.
The USS Salem is a museum ship.
Museum ships are open to the public.
The USS Salem served in the Atlantic and Mediterranean.

Premises in first-order logic:
HeavyCruiser(usssalem) ∧ BuiltFor(usssalem, unitedstatesnavy)
LastHeavyCruiserToEnterService(usssalem)
MuseumShip(usssalem)
∀x (MuseumShip(x) → OpenToPublic(x))
ServedIn(usssalem, atlantic) ∧ ServedIn(usssalem, mediterranean)

Conclusions:
The USS Salem is open to the public.
There is a museum ship open to the public that served in the Mediterranean.
The USS Salem was not the last heavy cruiser to enter service.

Conclusions in first-order logic:
OpenToPublic(usssalem)
∃x (MuseumShip(x) ∧ OpenToPublic(x) ∧ ServedIn(x, mediterranean))
¬LastHeavyCruiserToEnterService(usssalem)

Truth value of each conclusion (T = true, F = false, U = unknown):
T
T
F
Premises:
When something is depressing, it is sad.
The end of a relationship is depressing. 

Premises in first-order logic:
∀x (Depressing(x) → Sad(x))
Depressing(v)

Conclusions:
The end of a relationship is invigorating

Conclusions in first-order logic:
Invigorating(v)

Truth value of each conclusion (T = true, F = false, U = unknown):
U
Premises:
For a country, if effective monetary policy is possible, it must have successful inflation control and a strong national currency.
A country cannot simultaneously regulate the exchange rate and successfully control inflation.
The introduction of an embargo on foreign trade goods in a country leads to a sharp decrease in exports.
If exports fall sharply, this country's national currency cannot be strong.
Inflation control is required to have a strong national currency. 
There is an embargo on Russian foreign trade goods.

Premises in first-order logic:
∀x (Country(x) ∧ PossibleEffectiveMonetaryPolicy(x) → SuccessfulInflationControl(x) ∧ StongNationalCurrency(x))
¬(∃x (Country(x) ∧ SuccessfulInflationControl(x) ∧ RegulateExchangeRate(x)))
∀x (IntroductionOfOn(x, embargo, foreightTradeGoods) → SharpDecreasesInExport(x))
∀x (SharpDecreasesInExport(x) → ¬StongNationalCurrency(x))
∀x (InflationControl(x) → StongNationalCurrency(x))
IntroductionOfOn(russia, embargo, foreightTradeGoods)

Conclusions:
In Russia, an effective monetary policy is possible.

Conclusions in first-order logic:
PossibleEffectiveMonetaryPolicy(russia)

Truth value of each conclusion (T = true, F = false, U = unknown):
F
Premises:
Tyga is a rapper.
Rappers release rap albums.
Tyga released the Well Done 3 album.
Rappers are not opera singers.

Premises in first-order logic:
IsRapper(tyga)
∀x ∀y ((IsRapper(x) ∧ ReleasedAlbum(x, y)) → IsRapAlbum(y))
ReleasedAlbum(tyga, wellDone3)
∀x (IsRapper(x) → ¬IsOperaSinger(x))

Conclusions:
Well Done 3 is a rap album.
Tyga is an opera singer.
Well Done 3 is worth listening to.

Conclusions in first-order logic:
IsRapAlbum(wellDone3)
IsOperaSinger(tyga)
IsWorthListening(wellDone3)

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