private void checkRowTruthTable(int rowTruthTable)
	{
		boolean isModel = true;				//initially we set isModel as true and then change to false if truth table values not true
		int askVal = getValueTruthTable(ask, rowTruthTable);		//ASK value in truth table at particular row
		
		if(askVal == 0)					//if ask value is false
			isModel = false;			//not model
		
		for(String sentence : KB)		//for each sentence in KB
		{
			int sentenceVal = getValueTruthTable(sentence, rowTruthTable);		//get sentence value in truth table at particular row
			if(sentenceVal == 0)			//if sentence value false
				isModel = false;			//not model
		}
		
		if(isModel)					//if model
			modelsFound++;			//increment number of models found
	}