protected void demo13() throws IOException, UnknownHostException, CycApiException {
    Log.current.println("Demonstrating isQueryTrue api function.\n");
    CycFormulaSentence gaf = cycAccess.makeCycSentence("(#$likesAsFriend #$BillClinton #$JimmyCarter)");
    CycFort mt = cycAccess.getKnownConstantByName("PeopleDataMt");
    InferenceParameters queryProperties = new DefaultInferenceParameters(cycAccess);
    boolean isQueryTrue = cycAccess.isQueryTrue(gaf, mt, queryProperties);
    if (isQueryTrue)
      Log.current.println("\nThe assertion\n" + gaf + "\nis true in the " + mt.cyclify());
    else
      Log.current.println("\nThe assertion\n" + gaf + "\nis not known to be true in the " + mt.cyclify());
  }