A formal synthesis of arboridinine has been achieved. In this synthesis, a double-Mannich reaction of the complex multisubstituted cyclohexanone was used to form the core skeleton of arboridinine.