각 추론규칙들의 타입은 무엇인가요?

증명이란 타입을 proof으로 둘 때, proof의 생성자 중 하나인 모순 도입 규칙의 타입만 알려주세요.