G-910 is either returned by customers or sold in Walmart.
Products are either produced in China or the US.  All produced in China are labeled.  All produced in the US are sold in the US.  If labeled, then the product is cheaper.  All sold in the US are sold in Walmart.  All displayed on the homepage are sold in Walmart.  No products returned by customers are sold in Walmart.  G-910 is either displayed on the homepage or cheaper.
∀x (China(x) ⊕ US(x)) ∀x (China(x) → Labeled(x)) ∀x (US(x) → SoldInUS(x)) ∀x (Labeled(x) → Cheaper(x)) ∀x (SoldInUS(x) → SoldInWalmart(x)) ∀x (DisplayedInHomepage(x) → SoldInWalmart(x)) ∀x (ReturnedByCustomer(x) → ¬SoldInWalmart(x)) ¬(DisplayedInHomepage(g910) ⊕ Cheaper(g910))