Из того факта, что E является доказательством T и того факта, что T влечет за собой M, из этого не следует, что E является доказательством М.