 The truth-functionalist (call him Hook) gets this right. Look at column (ii). Eliminate line 4 and line 4 only, and you have eliminated the only possibility in which “\({\sim}A \supset B\)” is false. You know enough to conclude that “\({\sim}A \supset B\)” is true.