public void prove() {
		resolution = new Resolution();
		
		if(axioms == null || axioms.size() == 0) {
			gui.setProof("Must have at least one axiom");
			return;
		} else {
			for(Axiom axiom : axioms) resolution.addAxiom(axiom);
		}
		
		if(theorems == null || theorems.size() == 0) {
			gui.setProof("Must have at least one theorem");
			return;
		} else {
			for(Axiom theorem : theorems) resolution.addTheorem(theorem);
		}
		
		resolution.begin();
		
		String proof = "";
		proof += resolution.getProof();
		gui.setProof(proof);
	}