XはYでない→YはX？