तो, सबूत खोजने वाला एल्गोरिथ्म मूल रूप से एक सरल एल्गोरिथ्म है जो निम्नलिखित रखता है: एक नियम का अनुमान लगाएं, कुछ डेटा का चयन करें, जिस पर आप इसे लागू करेंगे और अपने डेटाबेस में कुछ नए सूत्र जोड़ेंगे।