Logical Inference Example - Search