English: But in practice the set of facts that available to a reasoning system would be hundreds of may be 1000s of facts and you may want to ask whether certain formula is true or not.
Telugu: కానీ ఆచరణలో, ఒక రీజనింగ్‌ సిస్టెమ్ (reasoning system) కు అందుబాటులో ఉన్న వాస్తవాల సమితి వందల సంఖ్యలో వేయి వాస్తవాలు కావచ్చు మరియు మీరు కొన్ని సూత్రం నిజమా కాదా అని అడగవచ్చు.