the roulade is a win and a postulation.
sent1: that the roulade is a postulation but it is not telocentric is not correct. sent2: if the fact that the seine is both not a sawwort and not telocentric does not hold it is a sawwort. sent3: the roulade is not a Powhatan. sent4: that the roulade is not a scalar and it does not mimeograph is not right. sent5: the probiotic is a kind of a reading. sent6: if something is stipendiary that it is a postulation and it is not telocentric is wrong. sent7: if the roulade is a bastardization then it reads. sent8: the fact that the seine is not a sawwort and it is not telocentric does not hold. sent9: if that something is not a sawwort is correct the roulade is not a reading. sent10: the fact that something is a kind of a win hold if it is not a bastardization. sent11: the secretion wins if there exists something such that the fact that it does read and does not wins is not true. sent12: the roulade is not a reading if there is something such that that it is a sawwort and is a kind of an eel is false. sent13: the roulade is stipendiary if it disjoints. sent14: the bluefish is a kind of a reading and is a bastardization if there exists something such that that it is an eel is not wrong. sent15: that the skeptic is a sawwort that does discountenance Anglicanism is right. sent16: the fact that the jacksnipe is not a reading and is not an oleaster does not hold. sent17: that something is a reading that does not win is incorrect if it is not a bastardization. sent18: that something is both not a postulation and not telocentric is wrong if it is a kind of a stipendiary. sent19: if that the roulade is not a postulation and not telocentric is false then it is a kind of a postulation. sent20: there exists something such that the fact that it is a kind of a sawwort that is an eel is not true. sent21: the roulade is exact. sent22: the andiron does read. sent23: that that the roulade is the postulation but it is not telocentric does not hold if the roulade is stipendiary hold. sent24: if that the roulade is non-electric thing that does not win is not correct it is electric. sent25: something is a kind of a sawwort and it is a kind of an eel. sent26: the roulade is a kind of a stipendiary.
void -> assump1: Let's assume that the roulade is a bastardization.; sent7 & assump1 -> int1: the roulade does read.; sent20 & sent12 -> int2: the roulade is not a reading.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the roulade is not a kind of a bastardization is not wrong.; sent10 -> int5: the roulade does win if it is not a kind of a bastardization.; int4 & int5 -> int6: the roulade wins.; sent18 -> int7: if the roulade is a kind of a stipendiary then that it is not a postulation and is not telocentric is incorrect.; int7 & sent26 -> int8: that the fact that the roulade is not a postulation and it is not telocentric does not hold is not wrong.; sent19 & int8 -> int9: the roulade is a postulation.; int6 & int9 -> hypothesis;
the secretion does win.
sent17 -> int10: if the bluefish is not a kind of a bastardization that it is a reading and it does not win does not hold.;
$hypothesis$ = the roulade is a win and a postulation. ; $context$ = sent1: that the roulade is a postulation but it is not telocentric is not correct. sent2: if the fact that the seine is both not a sawwort and not telocentric does not hold it is a sawwort. sent3: the roulade is not a Powhatan. sent4: that the roulade is not a scalar and it does not mimeograph is not right. sent5: the probiotic is a kind of a reading. sent6: if something is stipendiary that it is a postulation and it is not telocentric is wrong. sent7: if the roulade is a bastardization then it reads. sent8: the fact that the seine is not a sawwort and it is not telocentric does not hold. sent9: if that something is not a sawwort is correct the roulade is not a reading. sent10: the fact that something is a kind of a win hold if it is not a bastardization. sent11: the secretion wins if there exists something such that the fact that it does read and does not wins is not true. sent12: the roulade is not a reading if there is something such that that it is a sawwort and is a kind of an eel is false. sent13: the roulade is stipendiary if it disjoints. sent14: the bluefish is a kind of a reading and is a bastardization if there exists something such that that it is an eel is not wrong. sent15: that the skeptic is a sawwort that does discountenance Anglicanism is right. sent16: the fact that the jacksnipe is not a reading and is not an oleaster does not hold. sent17: that something is a reading that does not win is incorrect if it is not a bastardization. sent18: that something is both not a postulation and not telocentric is wrong if it is a kind of a stipendiary. sent19: if that the roulade is not a postulation and not telocentric is false then it is a kind of a postulation. sent20: there exists something such that the fact that it is a kind of a sawwort that is an eel is not true. sent21: the roulade is exact. sent22: the andiron does read. sent23: that that the roulade is the postulation but it is not telocentric does not hold if the roulade is stipendiary hold. sent24: if that the roulade is non-electric thing that does not win is not correct it is electric. sent25: something is a kind of a sawwort and it is a kind of an eel. sent26: the roulade is a kind of a stipendiary. ; $proof$ = 
void -> assump1: Let's assume that the roulade is a bastardization.; sent7 & assump1 -> int1: the roulade does read.; sent20 & sent12 -> int2: the roulade is not a reading.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the roulade is not a kind of a bastardization is not wrong.; sent10 -> int5: the roulade does win if it is not a kind of a bastardization.; int4 & int5 -> int6: the roulade wins.; sent18 -> int7: if the roulade is a kind of a stipendiary then that it is not a postulation and is not telocentric is incorrect.; int7 & sent26 -> int8: that the fact that the roulade is not a postulation and it is not telocentric does not hold is not wrong.; sent19 & int8 -> int9: the roulade is a postulation.; int6 & int9 -> hypothesis; __PROVED__