Added AbductionRule, modified stvs for Socrates demo to work
AbductionRule falsely used inductionFormula
Created file for debugging r2l output
Load from different file
Added stvs to ConceptNodes for testing r2l output
Changed strength of ConceptNodes to get AbductionRule to work

AbductionRule didn't work with stvs of 1.0 1.0; with 0.1 1.0 it does. Suggested by @williampma. Thanks.
Corrected typo
Added exact PLN input as produced by R2L
Modified stvs of ConceptNodes in SVO and be-inheritance-rule
Updated README to account for new inference path

New path was required by R2L output and uses AbductionRule
Added helper functions for passive rules again

These were accidentally overwritten before
Merge pull request #801 from sebastianruder/be_inheritance_stv

Making the Socrates demo work - Part 2