전제: 화성은 태양계의 네 번째 행성이며, 4개의 지구형 행성 중 하나다.
함의: 화성은 여러개의 지구형 행성 중 하나이다.
모순: 태양계 행성은 네개이다.