Logic Dogs