「AならばBである」という命題は、
「CならばBである」という命題によって覆されない
持ってくるべきは、「AであるがBではない」