the sacrum does not shelter skirret and it is not glad.
sent1: there exists something such that that it is a AU and it is a kind of a Arapaho is incorrect. sent2: the sacrum is not glad if it is not a kind of a unrespectability. sent3: if something is not a kind of a AU but it is a kind of a Arapaho then it is not a unrespectability. sent4: the sacrum is not glad. sent5: the airbrake is not sacramental if there is something such that it is a AU. sent6: the airbrake is a corpus. sent7: the sacrum is not a unrespectability if it is a AU and is a kind of a Arapaho. sent8: the airbrake is not sacramental if there exists something such that the fact that it is not a AU and is a Arapaho does not hold. sent9: something is not glad if it is not a kind of a unrespectability. sent10: the sacrum is not sacramental. sent11: there is something such that it is not a kind of a AU and is a kind of a Arapaho. sent12: the airbrake is sacramental and it is a kind of a corpus. sent13: something does not shelter skirret and is not glad if it is not a unrespectability. sent14: that the airbrake is not sacramental and does not shelter skirret does not hold if the thimble is not a unrespectability. sent15: something that is a AU and a Arapaho is not a unrespectability.
void -> assump1: Let's assume that the fact that the sacrum is both not a AU and a Arapaho is wrong.; assump1 -> int1: there is something such that the fact that it is not a kind of a AU and is a Arapaho is incorrect.; int1 & sent8 -> int2: the airbrake is not sacramental.; sent12 -> int3: the airbrake is sacramental.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sacrum is not a AU but it is a Arapaho.; sent3 -> int6: the sacrum is not a unrespectability if the fact that it is both not a AU and a Arapaho is right.; int5 & int6 -> int7: the sacrum is not a unrespectability.; sent13 -> int8: the sacrum does not shelter skirret and it is not glad if it is not a unrespectability.; int7 & int8 -> hypothesis;
that the sacrum does not shelter skirret and it is not glad is not correct.
$hypothesis$ = the sacrum does not shelter skirret and it is not glad. ; $context$ = sent1: there exists something such that that it is a AU and it is a kind of a Arapaho is incorrect. sent2: the sacrum is not glad if it is not a kind of a unrespectability. sent3: if something is not a kind of a AU but it is a kind of a Arapaho then it is not a unrespectability. sent4: the sacrum is not glad. sent5: the airbrake is not sacramental if there is something such that it is a AU. sent6: the airbrake is a corpus. sent7: the sacrum is not a unrespectability if it is a AU and is a kind of a Arapaho. sent8: the airbrake is not sacramental if there exists something such that the fact that it is not a AU and is a Arapaho does not hold. sent9: something is not glad if it is not a kind of a unrespectability. sent10: the sacrum is not sacramental. sent11: there is something such that it is not a kind of a AU and is a kind of a Arapaho. sent12: the airbrake is sacramental and it is a kind of a corpus. sent13: something does not shelter skirret and is not glad if it is not a unrespectability. sent14: that the airbrake is not sacramental and does not shelter skirret does not hold if the thimble is not a unrespectability. sent15: something that is a AU and a Arapaho is not a unrespectability. ; $proof$ = 
void -> assump1: Let's assume that the fact that the sacrum is both not a AU and a Arapaho is wrong.; assump1 -> int1: there is something such that the fact that it is not a kind of a AU and is a Arapaho is incorrect.; int1 & sent8 -> int2: the airbrake is not sacramental.; sent12 -> int3: the airbrake is sacramental.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the sacrum is not a AU but it is a Arapaho.; sent3 -> int6: the sacrum is not a unrespectability if the fact that it is both not a AU and a Arapaho is right.; int5 & int6 -> int7: the sacrum is not a unrespectability.; sent13 -> int8: the sacrum does not shelter skirret and it is not glad if it is not a unrespectability.; int7 & int8 -> hypothesis; __PROVED__