∀x (GrowthStock(x) → BoughtToEarnProfitFrom(x, rapidPriceAppreciation))
∀x (BoughtToEarnProfitFrom(x, earnProfit, rapidPriceAppreciation) → ¬SuitableFor(x, retirementFund)) 
∃x (Stock(x) ∧ GrowthStock(x))
∀x (MatureStock(x) → SuitableFor(x, retirementFund))
MatureStock(kO)
GrowthStock(kO) ∨ BoughtToEarnProfitFrom(kO, earnProfit, rapidPriceAppreciation) → ¬Stock(kO) ∧ ¬BoughtToEarnProfitFrom(kO, rapidPriceAppreciation)