there exists something such that if it is not a fatness then it is both not a throne and not non-phosphorous.
sent1: the gaddi is not a kind of a throne but it is phosphorous if it is not a fatness.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a fatness then it is both not a throne and not non-phosphorous. ; $context$ = sent1: the gaddi is not a kind of a throne but it is phosphorous if it is not a fatness. ; $proof$ = 
sent1 -> hypothesis; __PROVED__