that there is something such that if the fact that that it does extort and is not aphanitic is not wrong is wrong then it is not unfriendly is correct.
sent1: if the diarist is aphanitic then it is not unfriendly. sent2: there is something such that if the fact that it does billow manganese and is not a pickup is not correct then it is a sprain. sent3: the diarist is not unfriendly if it extorts and is not aphanitic. sent4: the diarist is not denotative if the fact that it extorts and it is not fiduciary is not true. sent5: there is something such that if it is aphanitic the fact that it is not unfriendly is not false. sent6: there is something such that if it does not extort then it is not unfriendly. sent7: there is something such that if the fact that it is a kind of a phoebe and it is not bibliographic is not correct the fact that it fortifies is true. sent8: there is something such that if it does extort and is not aphanitic it is not unfriendly. sent9: there exists something such that if it is not a tonic it is not a kind of a Sinitic. sent10: if that something does extort and is not aphanitic is not right then that it is not unfriendly is not false.
sent10 -> int1: if the fact that the diarist does extort and is not aphanitic is incorrect it is not unfriendly.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that that it does extort and is not aphanitic is not wrong is wrong then it is not unfriendly is correct. ; $context$ = sent1: if the diarist is aphanitic then it is not unfriendly. sent2: there is something such that if the fact that it does billow manganese and is not a pickup is not correct then it is a sprain. sent3: the diarist is not unfriendly if it extorts and is not aphanitic. sent4: the diarist is not denotative if the fact that it extorts and it is not fiduciary is not true. sent5: there is something such that if it is aphanitic the fact that it is not unfriendly is not false. sent6: there is something such that if it does not extort then it is not unfriendly. sent7: there is something such that if the fact that it is a kind of a phoebe and it is not bibliographic is not correct the fact that it fortifies is true. sent8: there is something such that if it does extort and is not aphanitic it is not unfriendly. sent9: there exists something such that if it is not a tonic it is not a kind of a Sinitic. sent10: if that something does extort and is not aphanitic is not right then that it is not unfriendly is not false. ; $proof$ = 
sent10 -> int1: if the fact that the diarist does extort and is not aphanitic is incorrect it is not unfriendly.; int1 -> hypothesis; __PROVED__