that the spirometer is not a mintmark is right.
sent1: if the spirometer is a mintmark then the storage is a hell. sent2: the storage is not a hell if there is something such that the fact that it is non-intervertebral a hell is incorrect. sent3: that the storage is a kind of a mintmark is right if that the spirometer is a hell hold. sent4: if the storage is not a gasman that it is not a kind of a mintmark and it is not a hell does not hold. sent5: that if the storage is a mintmark then the spirometer is a hell hold. sent6: the spirometer is a kind of a mintmark if the fact that the storage is not a kind of a mintmark and it is not a hell is wrong. sent7: the storage is a kind of an election. sent8: there is something such that the fact that it is not intervertebral but a hell is not true. sent9: there is something such that it is not a mintmark and it is a hell. sent10: there exists something such that that it is not a mintmark and it is a kind of a hell is false.
void -> assump1: Let's assume that the spirometer is a kind of a mintmark.; sent1 & assump1 -> int1: the fact that the storage is a hell is true.; sent8 & sent2 -> int2: the storage is not a hell.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the spirometer is a kind of a mintmark.
$hypothesis$ = that the spirometer is not a mintmark is right. ; $context$ = sent1: if the spirometer is a mintmark then the storage is a hell. sent2: the storage is not a hell if there is something such that the fact that it is non-intervertebral a hell is incorrect. sent3: that the storage is a kind of a mintmark is right if that the spirometer is a hell hold. sent4: if the storage is not a gasman that it is not a kind of a mintmark and it is not a hell does not hold. sent5: that if the storage is a mintmark then the spirometer is a hell hold. sent6: the spirometer is a kind of a mintmark if the fact that the storage is not a kind of a mintmark and it is not a hell is wrong. sent7: the storage is a kind of an election. sent8: there is something such that the fact that it is not intervertebral but a hell is not true. sent9: there is something such that it is not a mintmark and it is a hell. sent10: there exists something such that that it is not a mintmark and it is a kind of a hell is false. ; $proof$ = 
void -> assump1: Let's assume that the spirometer is a kind of a mintmark.; sent1 & assump1 -> int1: the fact that the storage is a hell is true.; sent8 & sent2 -> int2: the storage is not a hell.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__