This is the contrapositive of the first statement, and it must be true if and only if the original statement is true.
ðɪs ɪz ðə kˌɑːntɹəpˈɑːzᵻtˌɪv ʌvðə fˈɜːst stˈeɪtmənt, ænd ɪt mˈʌst biː tɹˈuː ɪf ænd ˈoʊnli ɪf ðɪ ɚɹˈɪdʒɪnəl stˈeɪtmənt ɪz tɹˈuː.