The inference from (1) to (2) may be better characterized as abductive rather than inductive, since ...