the fact that the fact that the pawl is a terrarium is not incorrect if the flux is a leper is not right.
sent1: there exists something such that it does not barter. sent2: there is something such that it is a sculpture. sent3: the fact that the pawl is a kind of a leper is right if something that is not a terrarium is a kind of a Savitar. sent4: the pawl is not a kind of a terrarium but it is a Savitar. sent5: the flux is not a midstream. sent6: if that something is both not a leper and a terrarium is true the fact that the flux is a kind of a Savitar is not incorrect. sent7: the pawl is a kind of a terrarium if something that is not a Savitar is a leper. sent8: there exists something such that it is not a kind of a terrarium. sent9: something is a kind of a terrarium that is a kind of a leper. sent10: the flux is not a terrarium. sent11: if the flux is a kind of a terrarium the pawl is a kind of a leper. sent12: the pepperidge is not a terrarium. sent13: if something that is not a terrarium is a kind of a leper then the pawl is a kind of a Savitar. sent14: the flux is not a kind of a Savitar. sent15: there is something such that it is not a mil.
void -> assump1: Let's assume that the flux is a kind of a leper.; sent14 & assump1 -> int1: the flux is both not a Savitar and a leper.; int1 -> int2: there exists something such that it is both not a Savitar and a leper.; int2 & sent7 -> int3: the pawl is a kind of a terrarium.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the fact that the pawl is a terrarium is not incorrect if the flux is a leper is not right. ; $context$ = sent1: there exists something such that it does not barter. sent2: there is something such that it is a sculpture. sent3: the fact that the pawl is a kind of a leper is right if something that is not a terrarium is a kind of a Savitar. sent4: the pawl is not a kind of a terrarium but it is a Savitar. sent5: the flux is not a midstream. sent6: if that something is both not a leper and a terrarium is true the fact that the flux is a kind of a Savitar is not incorrect. sent7: the pawl is a kind of a terrarium if something that is not a Savitar is a leper. sent8: there exists something such that it is not a kind of a terrarium. sent9: something is a kind of a terrarium that is a kind of a leper. sent10: the flux is not a terrarium. sent11: if the flux is a kind of a terrarium the pawl is a kind of a leper. sent12: the pepperidge is not a terrarium. sent13: if something that is not a terrarium is a kind of a leper then the pawl is a kind of a Savitar. sent14: the flux is not a kind of a Savitar. sent15: there is something such that it is not a mil. ; $proof$ = 
void -> assump1: Let's assume that the flux is a kind of a leper.; sent14 & assump1 -> int1: the flux is both not a Savitar and a leper.; int1 -> int2: there exists something such that it is both not a Savitar and a leper.; int2 & sent7 -> int3: the pawl is a kind of a terrarium.; [assump1] & int3 -> hypothesis; __DISPROVED__