Added file handling, utilities to syllogism test