Rules_of_inference loading ...