code: @Nullable
      @Override
      public DefaultQuery<I, D> disprove(A hypothesis, Collection<? extends I> inputs) throws ModelCheckingException {
          final DefaultQuery<I, D> result = propertyOracle.disprove(hypothesis, inputs);
          if (result != null) {
              LOGGER.logEvent("Property violated: '" + toString() + "'");
              LOGGER.logQuery("Counter example for property: " + getCounterExample());
          }
  
          return result;
      }
docs: Try to disprove this propertyOracle, and log whenever it is disproved.
  
  @see PropertyOracle#disprove(Output, Collection)