The Three Body Problem was written by Cixin Liu.
All books written by Cixin Liu have sold more than 1 million copies.  Some books that have won the Hugo Award were written by Cixin Liu. All books about the future are influenced by Isaac Asimov. The book the Three Body Problem has sold more than 1 million copies. The Three Body Problem is about the future.
∀x (Book(x) ∧ WrittenBy(x, cixinliu) → SoldMoreThan(x, onemillion)) ∃x (Won(x, hugoaward) ∧ Book(x) ∧ WrittenBy(x, cixinliu)) ∀x (Book(x) ∧ AboutFuture(x) → InfluencedBy(x, isaacasimov)) Book(threebodyproblem) ∧ SoldMoreThan(threebodyproblem, onemillion) AboutFuture(threebodyproblem)