Simple Logic Inference Engine