Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine