2001 is a book that has won a Hugo Award and is about the future.
All books written by Tomas have sold more than 1 million copies.  Some books that have won Hugo Awards are written by Tomas. All books about the future are inspired by Shakespeare.  2001 is a book either inspired from Shakespeare or it has sold more than 1 million copies. 2001 is a book that has either sold more than 1 million copies or it was written by Tomas.
∀x (WrittenByTomas(x) → SoldOneMillion(x)) ∃x (WinningHugoAward(x) ∧ WrittenByTomas(x)) ∀x (AboutFuture(x) → InspiredFromShakespeare(x)) InspiredFromShakespeare(y2001) ⊕ SoldOneMillion(y2001)  SoldOneMillion(y2001) ⊕ WrittenByTomas(y2001)