分析下列推理是何种推理?并写出其逻辑形式。如果张三是作案人,那么他有作案时间;如果张三是作案人,那么他有作案工具;张三或者没有作案时间,或者没有作案工具,所以张三不是作案人。