Memorizing Logic