In this case, we cannot use all the hypotheses for proving the premises as well as for the remaining goal.
