 Q: A coin is heads up. Taco does not flip the coin.  Nocilla flips the coin.  Nigella does not flip the coin.  Abedalrahman flips the coin.  Beatryce does not flip the coin.  Is the coin still heads up? 