In a database example, use these set labels: A = corrected packets; B = sealed alerts; C = appeal forms; x = entry 70. Stimulus: No member is in both A and B. Every member of C is in A or B. Entry 70 is in C and not in A. Therefore, entry 70 is in B. Which option has the same formal structure from premises to conclusion? Focus on the disjoint partition membership; match the structure, not the subject matter.