Adductive reasoning