Added the function to add paraphrasal axioms.
Added the function to print reachability-matrix for debug.
Revised the process of reachability-matrix creation.
Updated the version of knowledge-base.
Deleted the option of "rm_direction".
Deleted the function to identify the direction of inference.
Performed refactoring.