将推理规则块连接到一个证明图中，通过规则提供前提，直到目标节点亮起绿色。
董事会从你的前提块和目标开始。从调色板中选择一个推理规则，然后单击它需要的输入块；如果它们适合，该规则就会派生一个连接到其输入的新块。连锁规则直到你得出目标。为了证明一个蕴涵，添加一个假设并通过蕴涵引入来释放它。
Wirelogic 建立在自然演绎的基础上，将形式证明规则转变为接线难题。
从前提方块出发，通过选择推理规则到达目标，这是形式演绎，这一实践从亚里士多德的三段论一直延续到现代的证明系统。
真正能教会人东西的设计细节在于：只有当一条规则的输入确实吻合时，它才会生效。
这就是推理与断言之间的全部区别。一个感觉上正确、却不符合任何有效规则形式的论证，恰恰就是形式逻辑被发明出来所要捕捉的错误，而无法强行建立连接，比被判为错误更有启发意义。
Wirelogic 是一款基于自然演绎的原创免费浏览器逻辑游戏，将形式证明规则转化为可连接的块，从而使有效论证的结构成为您可以看到和构建的东西。