the rapper is unalert if the tampon is veterinary.
sent1: that the jurisdiction is a demonization that is altitudinal is not correct. sent2: there is something such that the fact that it does tighten Ufa is not incorrect. sent3: if there is something such that that it is not a aircraftsman and it is not optimistic is false the satyr is optimistic. sent4: the scourge is not irremediable. sent5: the fact that the smut is not a aircraftsman but it is optimistic is not right. sent6: the rapper is unalert if there is something such that it does tighten Ufa and is optimistic. sent7: that the jurisdiction is not a demonization but it is not non-altitudinal is false if the satyr does not tighten Ufa. sent8: if the fact that the jurisdiction is not a demonization and is altitudinal is not true then the tampon is not veterinary. sent9: if something is not irremediable the fact that the smut is not a aircraftsman and it is not optimistic does not hold.
void -> assump2: Let's assume that the satyr does not tighten Ufa.; sent7 & assump2 -> int1: the fact that that the jurisdiction is not a demonization but altitudinal is correct is not true.; int1 & sent8 -> int2: the fact that the tampon is not veterinary is true.; void -> assump1: Let's assume that the fact that the tampon is veterinary is not wrong.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the satyr tightens Ufa.; sent4 -> int5: there are non-irremediable things.; int5 & sent9 -> int6: the fact that the smut is not a aircraftsman and it is not optimistic is not right.; int6 -> int7: there exists something such that the fact that that it is not a kind of a aircraftsman and is not optimistic is correct is not correct.; int7 & sent3 -> int8: the satyr is optimistic.; int4 & int8 -> int9: the satyr tightens Ufa and is optimistic.; int9 -> int10: something tightens Ufa and it is optimistic.; int10 & sent6 -> int11: the rapper is unalert.; [assump1] & int11 -> hypothesis;
$hypothesis$ = the rapper is unalert if the tampon is veterinary. ; $context$ = sent1: that the jurisdiction is a demonization that is altitudinal is not correct. sent2: there is something such that the fact that it does tighten Ufa is not incorrect. sent3: if there is something such that that it is not a aircraftsman and it is not optimistic is false the satyr is optimistic. sent4: the scourge is not irremediable. sent5: the fact that the smut is not a aircraftsman but it is optimistic is not right. sent6: the rapper is unalert if there is something such that it does tighten Ufa and is optimistic. sent7: that the jurisdiction is not a demonization but it is not non-altitudinal is false if the satyr does not tighten Ufa. sent8: if the fact that the jurisdiction is not a demonization and is altitudinal is not true then the tampon is not veterinary. sent9: if something is not irremediable the fact that the smut is not a aircraftsman and it is not optimistic does not hold. ; $proof$ = 
void -> assump2: Let's assume that the satyr does not tighten Ufa.; sent7 & assump2 -> int1: the fact that that the jurisdiction is not a demonization but altitudinal is correct is not true.; int1 & sent8 -> int2: the fact that the tampon is not veterinary is true.; void -> assump1: Let's assume that the fact that the tampon is veterinary is not wrong.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the satyr tightens Ufa.; sent4 -> int5: there are non-irremediable things.; int5 & sent9 -> int6: the fact that the smut is not a aircraftsman and it is not optimistic is not right.; int6 -> int7: there exists something such that the fact that that it is not a kind of a aircraftsman and is not optimistic is correct is not correct.; int7 & sent3 -> int8: the satyr is optimistic.; int4 & int8 -> int9: the satyr tightens Ufa and is optimistic.; int9 -> int10: something tightens Ufa and it is optimistic.; int10 & sent6 -> int11: the rapper is unalert.; [assump1] & int11 -> hypothesis; __PROVED__