قاعده استنتاج سیم با هم در یک گراف اثبات بلوک می شود و محل را از طریق قوانین تغذیه می کند تا زمانی که گره هدف سبز شود.
هیئت مدیره با بلوک های فرضی شما و یک هدف شروع می شود. یک قانون استنتاج را از پالت انتخاب کنید، سپس بر روی بلوک های ورودی مورد نیاز کلیک کنید. اگر مناسب باشند، این قانون یک بلوک جدید را به ورودی های آن متصل می کند. قوانین زنجیره ای تا زمانی که هدف را به دست آورید. برای اثبات یک استلزام، یک فرض اضافه کنید و آن را با مفهوم - مقدمه تخلیه کنید.
Wirelogic بر اساس کسر طبیعی ساخته شده است و قوانین اثبات رسمی را به یک پازل سیم کشی تبدیل می کند.
آغاز کردن از بلوک‌های مقدمه و رسیدن به یک هدف با انتخاب قواعد استنتاج، استنتاج صوری است، رسمی که از قیاس ارسطو تا سیستم‌های اثبات امروزی امتداد دارد.
جزئیات طراحی‌ای که چیزی می‌آموزد این است که یک قاعده تنها وقتی فعال می‌شود که ورودی‌هایش واقعاً جور باشند.
این تمام تفاوت میان استدلال کردن و ادعا کردن است. استدلالی که درست به نظر می‌رسد اما با شکل هیچ قاعده‌ی معتبری جور نیست، دقیقاً همان خطایی است که منطق صوری برای گرفتنش ابداع شد، و ناتوانی در تحمیل پیوند آموزنده‌تر از نادرست خوانده شدن است.
Wirelogic یک بازی منطقی رایگان مرورگر اصلی است که بر اساس کسر طبیعی ساخته شده است، قوانین اثبات رسمی را به بلوک های قابل سیم تبدیل می کند تا ساختار یک آرگومان معتبر به چیزی تبدیل شود که می توانید ببینید و بسازید.