 Q: A coin is heads up. Makenzly does not flip the coin.  Laronde flips the coin.  Haryan does not flip the coin.  Shafiya does not flip the coin.  Rosa does not flip the coin.  Martin flips the coin.  Jean flips the coin.  Sebuhi does not flip the coin.  Nurhayat does not flip the coin.  Laila-rose flips the coin.  Tevez does not flip the coin.  Olimpia does not flip the coin.  Chisa flips the coin.  Xinran does not flip the coin.  Yuliyan flips the coin.  Is the coin still heads up? 