If there are any instructors, then if at least one classroom is available they will be effective. If there are either any textbooks or workbooks, there will be instructors and classrooms. Furthermore, if there are any classrooms, they will be available. Therefore, if there are any textbooks, then some instructors will be effective. (Ix: x is an instructor; Cx: x is a classroom; Ax: x is available; Ex: x is effective; Tx: x is a textbook; Wx: x is a workbook)

Translate the following arguments into symbolic form. Then derive the conclusion of each, using conditional proof or indirect proof when needed.