Question 1026781
Do casework based on whether A is true or not.


Case 1: A is true. Then the premise is already satisfied, and so is the goal.


Case 2: A is false. Since (A or B) is true, and (A or C) is true, it follows for the premise to hold, B must be true, and C must be true. Then (B and C) follows.