I-wire ang inference-rule block nang magkasama sa isang proof graph, na nagpapakain sa mga lugar sa pamamagitan ng mga panuntunan hanggang sa umilaw na berde ang goal node.
Ang board ay nagsisimula sa iyong mga bloke ng premise at isang layunin. Pumili ng inference rule mula sa palette, pagkatapos ay i-click ang input blocks na kailangan nito; kung magkasya ang mga ito, ang panuntunan ay nakakakuha ng bagong block na naka-wire sa mga input nito. Magkadena ng mga panuntunan hanggang sa makuha mo ang layunin. Upang patunayan ang isang implikasyon, magdagdag ng isang palagay at ilabas ito nang may implikasyon-pagpapakilala.
Ang Wirelogic ay itinayo sa natural na bawas, na ginagawang isang wiring puzzle ang mga pormal na tuntunin ng patunay.
Ang pagsisimula sa mga bloke ng premise at pag-abot sa isang layunin sa pagpili ng mga panuntunan ng hinuha ay pormal na deduksyon, ang praktikang tumatakbo mula sa silohismo ni Aristoteles hanggang sa mga modernong sistema ng patunay.
Ang detalye ng disenyo na may itinuturo ay gumagana lamang ang isang panuntunan kung tunay na kasya ang mga input nito.
Iyan ang buong pagkakaiba ng pangangatwiran at pagsasabi lamang. Ang argumentong pakiramdam ay tama ngunit hindi tumutugma sa hugis ng anumang wastong panuntunan ay eksaktong pagkakamaling inimbento ang pormal na lohika upang hulihin, at mas nakapagtuturo ang hindi mapilit ang koneksyon kaysa sa mamarkahang mali.
Ang Wirelogic ay isang orihinal na libreng browser logic game na binuo sa natural na bawas, na ginagawang mga wireable block ang pormal na patunay na mga panuntunan upang ang istruktura ng isang valid na argumento ay maging isang bagay na makikita at mabuo mo.