Please complete this Proof in Fitch: You may apply AnaCon to literals, but only to establish an analytic consequence that is not a logical consequence, and you may only cite 2 premises at a time. You may not use TautCon or FOCon.

B I A ? Blocks Pets Set Arith \begin{tabular}{l|l|l|l|l|l|} \hline & v & & & & \\ \hline a & b & c & d & e & f \\ \hline & & = & = & ( & ) \\ \hlinex & y & z & u & v & w \\ \hline \end{tabular} Tet LeftOf Cube RightOf \begin{tabular}{|c|c|} \hline SameCol & Smaller \\ \hline SameRow & Larger \\ \hline Between & Likes \\ \hline Adjoins & Happy \\ \hline \end{tabular} SameShape SameSize FrontOf BackOf \begin{tabular}{|c|c|} \hline Small & LeftOf \\ \hline Medium & RightOf \\ \hline Large & FrontOf \\ \hline SameSize & BackOf \\ \hline \end{tabular} ? A(BC) DC Goals FA(DB)