Added a sample table (from the test, table1.txt).
Changed Implication so it takes pointers as parameters.
Wrote and tested readFile, which reads a file formatted like the table in table1.