public String printResult()
	{
		String result = "";
		
		if(bcPresent())					//if entailed
		{
			result = "YES: ";
			for (int i = queued.size()-1; i >= 0; i--)		//display in reverse in queued	
			{
				if(i == 0)
					result += queued.get(i);			//if last symbol, no comma
				else
					result += queued.get(i) + ", ";		//if not last symbol, comma
			}
		}
		else
			result = "NO";			//display No if not entailed
		
		return result;
	}