the Chewa does impoverish.
sent1: the fossa does not burglarize. sent2: the ratel is not a perishability. sent3: if there is something such that it does not pant-hoot the mock-up is not a perishability. sent4: the ratel is a kind of a perishability if there are multilateral things. sent5: if the fact that the fossa is sidereal hold it is megakaryocytic and it does not plunder. sent6: the fossa does not burglarize if the mock-up does not burglarize. sent7: if there exists something such that it does burglarize or it is multilateral or both the ratel is a perishability. sent8: the fact that the fossa is sidereal is true. sent9: the fossa does not burglarize and does not pant-hoot if the mock-up does not burglarize. sent10: the Chewa does impoverish if the fossa does not burglarize and it does not pant-hoot. sent11: there is something such that the fact that it does not plunder and it does not impoverish is not right. sent12: the ratel does not pant-hoot if something is megakaryocytic and does not plunder.
void -> assump1: Let's assume that the fact that the mock-up does burglarize hold.; assump1 -> int1: the mock-up burglarizes and/or is multilateral.; int1 -> int2: something burglarizes and/or it is multilateral.; int2 & sent7 -> int3: the ratel is a perishability.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mock-up does not burglarize.; int5 & sent9 -> int6: the fossa does not burglarize and does not pant-hoot.; int6 & sent10 -> hypothesis;
the niobium is a perishability.
$hypothesis$ = the Chewa does impoverish. ; $context$ = sent1: the fossa does not burglarize. sent2: the ratel is not a perishability. sent3: if there is something such that it does not pant-hoot the mock-up is not a perishability. sent4: the ratel is a kind of a perishability if there are multilateral things. sent5: if the fact that the fossa is sidereal hold it is megakaryocytic and it does not plunder. sent6: the fossa does not burglarize if the mock-up does not burglarize. sent7: if there exists something such that it does burglarize or it is multilateral or both the ratel is a perishability. sent8: the fact that the fossa is sidereal is true. sent9: the fossa does not burglarize and does not pant-hoot if the mock-up does not burglarize. sent10: the Chewa does impoverish if the fossa does not burglarize and it does not pant-hoot. sent11: there is something such that the fact that it does not plunder and it does not impoverish is not right. sent12: the ratel does not pant-hoot if something is megakaryocytic and does not plunder. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mock-up does burglarize hold.; assump1 -> int1: the mock-up burglarizes and/or is multilateral.; int1 -> int2: something burglarizes and/or it is multilateral.; int2 & sent7 -> int3: the ratel is a perishability.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mock-up does not burglarize.; int5 & sent9 -> int6: the fossa does not burglarize and does not pant-hoot.; int6 & sent10 -> hypothesis; __PROVED__