Przeistoczenie

Jeżeli uczony wykopie starego słonia, to jest mamutem.