Language, Proof, Logic

"Do the following proofs citing rules and lines for each step"

*NOT allowed to use Ana Con or Taut Con

Untitled 5 ---- Blocks Pets Set Arith Tet Small SameCol Smaller Leftof RightOf Cube Medium SameRow Larger Dodec Large Frontof Between Likes Same Shape SameSize Backof Adjoins Happy yzu vw Tet(b) Cube(a) ^ a=b Intro Elim Reit Con ritim Induction Lemma F Cube(b) A -Tet(a) 21. Cube (a) [2. a=b - Tet(b) Goal: Cube (b) 17 Tet(a) Untitled 5 ---- Blocks Pets Set Arith Tet Small SameCol Smaller Leftof RightOf Cube Medium SameRow Larger Dodec Large Frontof Between Likes Same Shape SameSize Backof Adjoins Happy yzu vw Tet(b) Cube(a) ^ a=b Intro Elim Reit Con ritim Induction Lemma F Cube(b) A -Tet(a) 21. Cube (a) [2. a=b - Tet(b) Goal: Cube (b) 17 Tet(a)