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
Update and rename README to README.md
Update README.md
Update README.md
Add tuffy 'rc' dataset in atomspace format
Add tuffy 'rc' dataset in atomspace format
Add tuffy 'rc' dataset in atomspace format
Update README, add todo lists
Merge pull request #18 from cosmoharrigan/tuffy-rc

Add RC dataset from Tuffy paper in atomspace format (in-progress)