  There is no need to consider the variant of AAA-1 that is obtained by interchanging the Rule and the Case in AAA-1. The resultant argument is of the form AAA-4, which is exactly the same argument as AAA-1 with interchanged premises. So it is simply deduction over again.