เส้นลวดจะบล็อกกฎการอนุมานเข้าด้วยกันเป็นกราฟพิสูจน์ โดยป้อนสถานที่ผ่านกฎต่างๆ จนกว่าโหนดเป้าหมายจะสว่างเป็นสีเขียว
กระดานเริ่มต้นด้วยบล็อกหลักฐานและเป้าหมายของคุณ เลือกกฎการอนุมานจากจานสี จากนั้นคลิกบล็อกอินพุตที่ต้องการ หากเหมาะสม กฎจะได้รับบล็อกใหม่แบบมีสายเข้ากับอินพุต กฎลูกโซ่จนกว่าคุณจะบรรลุเป้าหมาย เพื่อพิสูจน์ความหมายโดยนัย ให้เพิ่มสมมติฐานและปลดปล่อยมันด้วยการแนะนำโดยนัย
Wirelogic สร้างขึ้นจากการอนุมานตามธรรมชาติ โดยเปลี่ยนกฎการพิสูจน์อย่างเป็นทางการให้กลายเป็นปริศนาการเดินสายไฟ
การเริ่มจากบล็อกข้อตั้งและไปถึงเป้าหมายด้วยการเลือกกฎการอนุมาน คือการนิรนัยเชิงรูปแบบ การปฏิบัติที่ทอดยาวจากตรรกบทของอริสโตเติลไปถึงระบบการพิสูจน์สมัยใหม่
รายละเอียดการออกแบบที่สอนบางอย่างคือกฎจะทำงานก็ต่อเมื่ออินพุตของมันเข้ากันจริง
นั่นคือความแตกต่างทั้งหมดระหว่างการใช้เหตุผลกับการกล่าวอ้าง ข้อโต้แย้งที่รู้สึกถูกแต่ไม่ตรงกับรูปร่างของกฎที่สมเหตุสมผลใด ๆ คือความผิดพลาดที่ตรรกศาสตร์เชิงรูปแบบถูกคิดค้นมาเพื่อจับพอดี และการไม่สามารถบังคับการเชื่อมต่อได้ให้บทเรียนมากกว่าการถูกตัดสินว่าผิด
Wirelogic เป็นเกมตรรกะของเบราว์เซอร์ต้นฉบับฟรีที่สร้างขึ้นโดยใช้การหักตามธรรมชาติ โดยเปลี่ยนกฎการพิสูจน์อย่างเป็นทางการให้เป็นบล็อกแบบมีสาย ดังนั้นโครงสร้างของอาร์กิวเมนต์ที่ถูกต้องจึงกลายเป็นสิ่งที่คุณสามารถมองเห็นและสร้างได้