Połącz bloki reguł wnioskowania w graf sprawdzający, przekazując przesłanki przez reguły, aż węzeł celu zaświeci się na zielono.
Plansza zaczyna się od bloków założeń i celu. Wybierz regułę wnioskowania z palety, a następnie kliknij potrzebne bloki wejściowe; jeśli pasują, reguła wyprowadza nowy blok podłączony do jego wejść. Łańcuch zasad, aż dojdziesz do celu. Aby udowodnić implikację, należy dodać założenie i zakończyć je wprowadzeniem do implikacji.
Wirelogic opiera się na naturalnej dedukcji, zamieniając formalne zasady dowodu w łamigłówkę okablowania.
Wychodzenie od bloków przesłanek i docieranie do celu przez wybór reguł wnioskowania to dedukcja formalna, praktyka biegnąca od Arystotelesowskiego sylogizmu do współczesnych systemów dowodzenia.
Szczegółem projektu, który czegoś uczy, jest to, że reguła odpala tylko wtedy, gdy jej wejścia naprawdę pasują.
Na tym polega cała różnica między rozumowaniem a twierdzeniem. Argument, który wydaje się słuszny, ale nie pasuje do kształtu żadnej poprawnej reguły, to dokładnie ten błąd, do którego wychwytywania wynaleziono logikę formalną, a niemożność wymuszenia połączenia uczy więcej niż oznaczenie odpowiedzi jako błędnej.
Wirelogic to oryginalna, bezpłatna gra logiczna na przeglądarkę, zbudowana na naturalnej dedukcji, zamieniająca formalne reguły dowodu w możliwe do okablowania bloki, dzięki czemu struktura prawidłowego argumentu staje się czymś, co można zobaczyć i zbudować.