Title: The computer simulation of syllogism solving using restricted mental models