if the ammonium does totter then the hypermarket is not heterotrophic.
sent1: the hypermarket is a hyphema if something is not anadromous. sent2: if the hypermarket totters the ammonium is a kind of a hyphema. sent3: the ammonium does not totter if something is a kind of a hyphema and is heterotrophic. sent4: that the hypermarket does not totter if the ammonium is heterotrophic hold. sent5: there is something such that that it is a metharbital and anadromous is wrong. sent6: if the ammonium totters then the hypermarket is heterotrophic. sent7: the hypermarket is heterotrophic if there is something such that the fact that it is a hyphema and does totter is incorrect. sent8: the ammonium is not a hyphema if something does totter and is heterotrophic. sent9: something is a metharbital and it is anadromous. sent10: the hypermarket is a hyphema if there is something such that that it is a metharbital and it is anadromous is false.
sent5 & sent10 -> int1: the hypermarket is a kind of a hyphema.; void -> assump2: Let's assume that the hypermarket is heterotrophic.; int1 & assump2 -> int2: the hypermarket is a hyphema and heterotrophic.; int2 -> int3: there is something such that it is a kind of a hyphema and it is heterotrophic.; int3 & sent3 -> int4: the ammonium does not totter.; void -> assump1: Let's assume that the ammonium does totter.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hypermarket is not heterotrophic.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the ammonium does totter then the hypermarket is not heterotrophic. ; $context$ = sent1: the hypermarket is a hyphema if something is not anadromous. sent2: if the hypermarket totters the ammonium is a kind of a hyphema. sent3: the ammonium does not totter if something is a kind of a hyphema and is heterotrophic. sent4: that the hypermarket does not totter if the ammonium is heterotrophic hold. sent5: there is something such that that it is a metharbital and anadromous is wrong. sent6: if the ammonium totters then the hypermarket is heterotrophic. sent7: the hypermarket is heterotrophic if there is something such that the fact that it is a hyphema and does totter is incorrect. sent8: the ammonium is not a hyphema if something does totter and is heterotrophic. sent9: something is a metharbital and it is anadromous. sent10: the hypermarket is a hyphema if there is something such that that it is a metharbital and it is anadromous is false. ; $proof$ = 
sent5 & sent10 -> int1: the hypermarket is a kind of a hyphema.; void -> assump2: Let's assume that the hypermarket is heterotrophic.; int1 & assump2 -> int2: the hypermarket is a hyphema and heterotrophic.; int2 -> int3: there is something such that it is a kind of a hyphema and it is heterotrophic.; int3 & sent3 -> int4: the ammonium does not totter.; void -> assump1: Let's assume that the ammonium does totter.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the hypermarket is not heterotrophic.; [assump1] & int6 -> hypothesis; __PROVED__