ওয়্যার ইনফারেন্স-রুল একসাথে একটি প্রুফ গ্রাফে ব্লক করে, লক্ষ্য নোড সবুজ না হওয়া পর্যন্ত নিয়মের মাধ্যমে প্রাঙ্গনে খাওয়ানো হয়।
বোর্ড আপনার প্রিমাইজ ব্লক এবং একটি লক্ষ্য দিয়ে শুরু হয়। প্যালেট থেকে একটি অনুমান নিয়ম চয়ন করুন, তারপরে প্রয়োজনীয় ইনপুট ব্লকগুলিতে ক্লিক করুন; যদি তারা মানানসই হয়, নিয়মটি তার ইনপুটগুলিতে একটি নতুন ব্লক তৈরি করে। আপনি লক্ষ্য অর্জন না হওয়া পর্যন্ত চেইন নিয়ম. একটি অন্তর্নিহিততা প্রমাণ করার জন্য, একটি অনুমান যোগ করুন এবং তা অন্তর্নিহিত-পরিচয় দিয়ে নিষ্কাশন করুন।
ওয়্যারলজিক প্রাকৃতিক ডিডাকশনের উপর নির্মিত, আনুষ্ঠানিক প্রমাণ নিয়মকে তারের ধাঁধায় পরিণত করে।
আশ্রয়বাক্যের ব্লক থেকে শুরু করে অনুমানের নিয়ম বেছে নিয়ে একটি লক্ষ্যে পৌঁছানো হলো আনুষ্ঠানিক অবরোহ, সেই চর্চা যা অ্যারিস্টটলের ন্যায়বাক্য থেকে আধুনিক প্রমাণ-ব্যবস্থা পর্যন্ত চলে।
যে নকশাগত খুঁটিনাটি কিছু শেখায় তা হলো একটি নিয়ম কেবল তখনই কার্যকর হয় যখন তার ইনপুট সত্যিই খাপ খায়।
এটাই যুক্তি ও দাবির মধ্যে পুরো পার্থক্য। যে যুক্তি ঠিক মনে হয় কিন্তু কোনো বৈধ নিয়মের আকৃতির সঙ্গে মেলে না, তা ঠিক সেই ভুল যা ধরার জন্য আনুষ্ঠানিক যুক্তিবিদ্যা উদ্ভাবিত হয়েছিল, আর সংযোগটি জোর করে ঘটাতে না পারা ভুল হিসেবে চিহ্নিত হওয়ার চেয়ে বেশি শিক্ষণীয়।
ওয়্যারলজিক হল একটি আসল ফ্রি ব্রাউজার লজিক গেম যা প্রাকৃতিক ডিডাকশনের উপর নির্মিত, আনুষ্ঠানিক প্রমাণ বিধিগুলিকে তারেবল ব্লকে পরিণত করে যাতে একটি বৈধ যুক্তির কাঠামো এমন কিছু হয়ে যায় যা আপনি দেখতে এবং তৈরি করতে পারেন।