Symbolic Logic - Language Proof and Logic

open it in Fitch, solve the proof (using neither AnaCon nor TautCon), and then upload it to the correct spot

ONLY USE

a. INTRODUCTION - CONJUCTION, DISJUNCTION, NEGATION, CONTRADICTION, CONDITIONAL, BICONDITIONAL, UNIVERSAL, EXISTENTIAL, IDENTITY

b. ELIMINATION - CONJUCTION, DISJUNCTION, NEGATION, CONDITIONAL, CONTRADICTION, BICONDITIONAL, UNIVERSAL, EXISTENTIAL, IDENTITY

c. REITERATION

F Fitch: Proof 1 File Edit Proof Goal Window Help ?n L Blocks Pets Set Arith Tet Cube Dodec Small Medium Large SameSize Leftof Rightof FrontOf Backof SameCol SameRow Between Adjoins Smaller Larger Likes Happy xy Z u V W SameShape ? Rule? Goals