この資料をSMS送信: Automated Reasoning with Analytic Tableaux and Related Methods