Gravar-mail: Identification of Logical Inference Patterns in Knowledge Networks