Disclosed is a compound or the like which serves as a prophylactic or therapeutic agent for diseases induced by the production, secretion and/or deposition of amyloid β protein. Specifically disclosed is a compound represented by formula (I), a pharmaceutically acceptable salt thereof, or a solvate of the compound or salt. (In the formula, R, R, R, R, R, R, ring A and broken line are as defined in the description.)