the fact that the Platonist does not retrench and it is not anoperineal is not false.
sent1: there exists something such that it does not tweet blinker. sent2: if there exists something such that it is not anoperineal the fact that the Platonist is anoperineal and it is a homeboy does not hold. sent3: the Platonist is not anoperineal if the fact that it puts Mariposan and it tweets waiting is not correct. sent4: that the Platonist does put Mariposan and styles does not hold. sent5: the Platonist is not a viceroyship. sent6: that the saurian prays is not incorrect. sent7: if something is a kind of a homeboy then the fact that it does pray hold. sent8: the saurian either does tweet blinker or tweets concreteness or both. sent9: that the Platonist does not retrench and is non-anoperineal is not right if the saurian does not tweet tankard. sent10: something that does tweet tankard is an artifact. sent11: that the saurian does not put Mariposan is not incorrect if that it does tweet concreteness and it tweets blinker does not hold. sent12: if the fact that the saurian tweets concreteness is correct then it is a kind of a style. sent13: the Platonist does not pray if the saurian styles. sent14: if there exists something such that it does not put Mariposan that that the Platonist put Mariposan and does tweet waiting is wrong hold. sent15: the saurian is prolate. sent16: the Platonist is not a clawback. sent17: if the Platonist does tweet tankard it is a homeboy. sent18: the virion does pray. sent19: there exists something such that it does not put Mariposan. sent20: the curio does not tweet concreteness. sent21: the jumbojet does drag jumbojet if it is a shears. sent22: the gauntlet does not tweet blinker. sent23: something is amphitropous. sent24: if the Platonist does not tweet tankard it does not retrench. sent25: if the saurian tweets blinker then it is a style. sent26: something does not tweet concreteness. sent27: the saurian does not retrench.
void -> assump1: Let's assume that the Platonist tweets tankard.; sent17 & assump1 -> int1: the Platonist is a kind of a homeboy.; sent7 -> int2: the Platonist prays if it is a kind of a homeboy.; int1 & int2 -> int3: the Platonist does pray.; sent8 & sent25 & sent12 -> int4: the saurian styles.; sent13 & int4 -> int5: the Platonist does not pray.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Platonist does not tweet tankard.; int7 & sent24 -> int8: the Platonist does not retrench.; sent19 & sent14 -> int9: that the Platonist puts Mariposan and it does tweet waiting is not true.; sent3 & int9 -> int10: the Platonist is not anoperineal.; int8 & int10 -> hypothesis;
the Platonist is a kind of an artifact if it does tweet tankard.
sent10 -> hypothesis;
$hypothesis$ = the fact that the Platonist does not retrench and it is not anoperineal is not false. ; $context$ = sent1: there exists something such that it does not tweet blinker. sent2: if there exists something such that it is not anoperineal the fact that the Platonist is anoperineal and it is a homeboy does not hold. sent3: the Platonist is not anoperineal if the fact that it puts Mariposan and it tweets waiting is not correct. sent4: that the Platonist does put Mariposan and styles does not hold. sent5: the Platonist is not a viceroyship. sent6: that the saurian prays is not incorrect. sent7: if something is a kind of a homeboy then the fact that it does pray hold. sent8: the saurian either does tweet blinker or tweets concreteness or both. sent9: that the Platonist does not retrench and is non-anoperineal is not right if the saurian does not tweet tankard. sent10: something that does tweet tankard is an artifact. sent11: that the saurian does not put Mariposan is not incorrect if that it does tweet concreteness and it tweets blinker does not hold. sent12: if the fact that the saurian tweets concreteness is correct then it is a kind of a style. sent13: the Platonist does not pray if the saurian styles. sent14: if there exists something such that it does not put Mariposan that that the Platonist put Mariposan and does tweet waiting is wrong hold. sent15: the saurian is prolate. sent16: the Platonist is not a clawback. sent17: if the Platonist does tweet tankard it is a homeboy. sent18: the virion does pray. sent19: there exists something such that it does not put Mariposan. sent20: the curio does not tweet concreteness. sent21: the jumbojet does drag jumbojet if it is a shears. sent22: the gauntlet does not tweet blinker. sent23: something is amphitropous. sent24: if the Platonist does not tweet tankard it does not retrench. sent25: if the saurian tweets blinker then it is a style. sent26: something does not tweet concreteness. sent27: the saurian does not retrench. ; $proof$ = 
void -> assump1: Let's assume that the Platonist tweets tankard.; sent17 & assump1 -> int1: the Platonist is a kind of a homeboy.; sent7 -> int2: the Platonist prays if it is a kind of a homeboy.; int1 & int2 -> int3: the Platonist does pray.; sent8 & sent25 & sent12 -> int4: the saurian styles.; sent13 & int4 -> int5: the Platonist does not pray.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Platonist does not tweet tankard.; int7 & sent24 -> int8: the Platonist does not retrench.; sent19 & sent14 -> int9: that the Platonist puts Mariposan and it does tweet waiting is not true.; sent3 & int9 -> int10: the Platonist is not anoperineal.; int8 & int10 -> hypothesis; __PROVED__