Added an unfinished makeInferenceRule() for use with proof search.