Buy Generic Inference A Unifying Theory For Automated Reasoning