Add additional test logs with working output
Change implication to use a biconditional in the consequent. Remove unused definitions. Remove non-friendships that trigger incorrect modusPonensFormula.
Merge pull request #17 from cosmoharrigan/03-19-14

Add additional test showing reasonable output