「打ち止め（ミサカ）が目撃者である」をP
「スキルアウトが犯人である」をQとします

問題を
((P→Q)→¬Q)→¬Qはいつも真か。
と考えてみます。（スキルアウトが犯人ではない、は常に真か）

これを標準形に書きなおすと
¬(¬(¬P V Q)V ¬Q) V ¬Q
¬¬を除いて、Vを論理積として分配すると

(¬P V Q　V ¬Q) ∧ (Q V ¬Q)

両方の項に Q　V ¬Qが含まれているため、これは常に真です。

よって、スキルアウトが犯人ではない、は常に真です。
打ち止め（ミサカ）が目撃者であるなしにかかわらず、スキルアウトは犯人ではありません。

またこの文章だけでは、打ち止め（ミサカ）が目撃者であるかどうかは分かりません。