전제: 구체적으로 후쿠시마 역과 신조 역 사이의 야마가타 신칸센, 오우 본선의 요네자와 역과 야마가타 역 사이의 재래선 운행이다.
함의: 오우 본선의 요네자와 역과 야마가타 역 사이는 재래선을 운행한다.
모순: 후쿠시마 역과 신조 역 사이의 야마가타 신칸센은 포함되지 않는다.