Browsing by Keywords hierarchical tree of logical deduction