The inference of particular instances by referring to a general law