Evaluate each of the following arguments. If the argument is valid, use Fitch to give a formal proof using the rules you have learned. If it not valid, use Tarskis World to construct a counterexample world. Use Fitch & Tarski's world and provide screenshots, please.

6.9 Cube(b) 6.12 Dodec(e) (Cube(c) A Cube( -Cube(c) -Small e) -Dodec(e) V Dodec(f) V Small(e) b)) Dodec(f) 6.9 Cube(b) 6.12 Dodec(e) (Cube(c) A Cube( -Cube(c) -Small e) -Dodec(e) V Dodec(f) V Small(e) b)) Dodec(f)