Carl’s Coffee Emporium stocks only two decaffeinated coffees: French Roast and Mocha Java.
Conclusion (so)
If Y gets all his coffee from C, then last night's was MJ.
Evidence
C has only two decaf coffees: FR and MJ.
Y only serves decaf, and what he served last night definitely wasn't FR.
Evaluate
This is a valid argument. It arrives at its conclusion by restricting us to only 2 options (FR and MJ), ruling out one, and concluding the other.
The conclusion is a conditional claim, but technically we would get a similar logical feel if they had just said, as a premise rather than as a conditional trigger, "Y still gets all his coffee from C".
Goal
Let's look for something where the evidence narrows us down to a finite set of options:
Y only serves decaf. C's decaf is only FR or MJ. So if Y still gets all his coffee from C's, then Y only has FR or MJ.
Then look for a premise to rule out all but one of those options, and a conclusion to pick the remaining option.
Turning this into algebra could be a headache that isn't worth it. There are definitely repeating symbols and conditional indicator words, but there is so much here, that it might be tougher to grapple with then simply looking for the reasoning pattern of,
Here's what the (ill-advised) five-variable algebra might look like:
P1: X only has two types of A's: F and M. P2: Y only uses A. P3: The B that Y used couldn't have been F. C: If Y only uses A from X, then the B that Y used was M.