Mathematical recreation of lewis carroll symbolic logic and the game of logic