there exists something such that if it is not biogenic and is not an immortality it does invest annihilator.
sent1: if the annihilator is a kind of non-biogenic thing that is not an immortality then it invests annihilator.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not biogenic and is not an immortality it does invest annihilator. ; $context$ = sent1: if the annihilator is a kind of non-biogenic thing that is not an immortality then it invests annihilator. ; $proof$ = 
sent1 -> hypothesis; __PROVED__