Hi Izzy,
First, if you haven't already done so, I'd recommend reading Nikki's earlier explanation which can be found using the link below.
viewtopic.php?f=611&t=3955
I'd like to start by answering your questions "Does it have to do with semantics/wording? And also, can we even assume a sufficient/necessary relationship (as in using arrows) for either of these two premises?" as these really get to the real issue with understanding this argument.
As you may have suspected based on your questions, these premises are
not conditional.
Instead, the first premise is saying:
1. It is
possible to be at home and not be in your house.
What this indicates is that "Being at home" does
not guarantee that you are "in your house." This is basically saying "being at home" is
not sufficient to guarantee "being in your house. "
Of course, it is also possible to be at home and to be in your house. It's just that "being at home" doesn't tell us either way whether you are "in your house."
Here's a different example that may help.
If I say, "It is possible to live in the United States and not live in Texas," that means that "living in the United States" is not sufficient to indicate that one "lives in Texas." However, it is also possible to live in the United States and also to live in Texas. "Living in the United States" just doesn't tell us either way whether someone lives in Texas.
The second premise is saying:
2. It is
possible to be in your house and not at home.
What this indicates is that "being in your house" does
not guarantee that "you are at home." This is basically saying "being in your house" is
not sufficient to guarantee "you are at home. "
These are not contrapositives of each other. Contrapositives are identical in meaning. Here, we have two different albeit related statements regarding what is possible. For example, the statement "It is possible to be hungry but not thirsty" is not the same in meaning as "It is possible to be thirsty but not hungry."
Like the premises, the conclusion is also not stating a conditional relationship. Instead, it is denying one. By stating that "being at home" is
not required to "be in one's own house," the conclusion is stating that "being in one's own house" is
not sufficient to indicate that "one is at home." This inference directly follows from the second premise (as discussed above) since the second premise shows that it's possible to be in your house and not at home. The first premise is not directly relevant to the conclusion and is compatible with the conclusion being false or true, as described in Answer C.