Valid Inference Rules Database