 Q: A coin is heads up. Aquan does not flip the coin.  Jesusangel flips the coin.  Mardith does not flip the coin.  Libin does not flip the coin.  Naiome flips the coin.  Thomas-john does not flip the coin.  Elido does not flip the coin.  Halyard does not flip the coin.  Interlandi does not flip the coin.  Rubelle does not flip the coin.  Tobiloluwa does not flip the coin.  Antoneyo flips the coin.  Therdore flips the coin.  Teneesha does not flip the coin.  John-jivan flips the coin.  Is the coin still heads up? 