तार अनुमान-नियम एक प्रूफ़ ग्राफ़ में एक साथ ब्लॉक हो जाता है, नियमों के माध्यम से परिसर को तब तक फीड करता है जब तक कि लक्ष्य नोड हरा न हो जाए।
बोर्ड आपके परिसर ब्लॉक और एक लक्ष्य से शुरू होता है। पैलेट से एक अनुमान नियम चुनें, फिर उसके लिए आवश्यक इनपुट ब्लॉक पर क्लिक करें; यदि वे फिट होते हैं, तो नियम इसके इनपुट से जुड़ा एक नया ब्लॉक प्राप्त करता है। जब तक आप लक्ष्य प्राप्त नहीं कर लेते तब तक नियम बनाये रखें। किसी निहितार्थ को सिद्ध करने के लिए, एक धारणा जोड़ें और उसे निहितार्थ-परिचय के साथ निर्वहन करें।
वायरलॉजिक प्राकृतिक कटौती पर बनाया गया है, जो औपचारिक प्रमाण नियमों को वायरिंग पहेली में बदल देता है।
आधार-वाक्य खंडों से शुरू करके अनुमान-नियम चुनते हुए किसी लक्ष्य तक पहुँचना औपचारिक निगमन है, वह प्रथा जो अरस्तू के न्याय-वाक्य से आधुनिक उपपत्ति-प्रणालियों तक चलती है।
जो डिज़ाइन-विवरण कुछ सिखाता है वह यह है कि कोई नियम तभी चलता है जब उसके इनपुट सचमुच फ़िट हों।
यही तर्क करने और दावा करने का पूरा अंतर है। जो तर्क सही लगता है पर किसी वैध नियम के आकार से मेल नहीं खाता, वह ठीक वही त्रुटि है जिसे पकड़ने के लिए औपचारिक तर्कशास्त्र का आविष्कार हुआ, और संबंध को ज़बरदस्ती न जोड़ पाना ग़लत चिह्नित किए जाने से अधिक शिक्षाप्रद है।
वायरलॉजिक एक मूल मुफ्त ब्राउज़र लॉजिक गेम है जो प्राकृतिक कटौती पर बनाया गया है, जो औपचारिक प्रमाण नियमों को वायरेबल ब्लॉक में बदल देता है ताकि एक वैध तर्क की संरचना कुछ ऐसी बन जाए जिसे आप देख और बना सकें।