Se X ? Y, então Z > P ou Q ? R. Se Z > P, então S ? T. Se S ? T, então Q ? R. Ora, Q > R, logo: