fixed fallacy code after merge.

extracted Amin's (@amsa) text->FOL code into new file called TextToFOL.hs to have fewer merge conflicts and reflect modularity in file structure

#12: introduced affirmConseq_posTest which was expected to fail, but it doesn't!
Merge branch 'master' of github.com:gekonwi/brandeis.semantics.final_project