import("rulesWithGiven.nools"); global GIVEN_SENTENCE = "~(P -> Q)";