Computational cognitive models can embody the structures and processes proposed in a cognitive theory. However, they do not necessarily reveal the theory's underlying assumptions and specifications. This study aims to bridge the gap between cognitive theory and its computational implementation, focusing on a case of mental model theory on human reasoning. Using a mathematics-based and statically-typed programming language (Haskell), we provide a specification-aware computational implementation of syllogistic reasoning with mental models.