Wire inference-rule blocks together into a proof graph, feeding premises through rules until the goal node lights green.
The board starts with your premise blocks and a goal. Pick an inference rule from the palette, then click the input blocks it needs; if they fit, the rule derives a new block wired to its inputs. Chain rules until you derive the goal. To prove an implication, add an assumption and discharge it with implication-introduction.
Wirelogic is built on natural deduction, turning formal proof rules into a wiring puzzle.
Starting from premise blocks and reaching a goal by choosing inference rules is formal deduction, the practice that runs from Aristotle's syllogism to modern proof systems.
The design detail that teaches something is that a rule only fires if its inputs genuinely fit.
That is the whole difference between reasoning and asserting. An argument that feels right but does not match the shape of any valid rule is exactly the error formal logic was invented to catch, and being unable to force the connection is more instructive than being marked wrong.
Wirelogic is an original free browser logic game built on natural deduction, turning formal proof rules into wireable blocks so the structure of a valid argument becomes something you can see and build.