A proposição é equivalente a “Se alguém não come pão de alho, então é vampiro”.