private void doTest(String input, String expectedOutput, boolean isQuestion) {
interpreter.question = isQuestion;
ArrayList<CNF> cnfInput = interpreter.getCNFInput(input);
ArrayList<String> kifClauses = interpreter.interpretCNF(cnfInput);
String actual = interpreter.fromKIFClauses(kifClauses);
Formula actualFormula = new Formula(actual);
assertEquals(
expectedOutput.replaceAll("\\s+", " ").trim(), actual.replaceAll("\\s+", " ").trim());
assertTrue(actualFormula.logicallyEquals(expectedOutput));
}
