the shinleaf is not non-millenarian and/or it is psycholinguistic.
sent1: there exists something such that it is not macrocosmic. sent2: if the shinleaf is a Sulla then it is pistillate. sent3: the seigneur does mooch desuetude if there exists something such that it guides or it is not a mammee or both. sent4: the lepidopterist is a kind of a traineeship if it outnumbers Hudson. sent5: something is a kind of a millenarian if it is pistillate. sent6: if the lepidopterist is not a kind of a Sulla that the shinleaf is a millenarian and/or it is psycholinguistic is incorrect. sent7: there exists something such that it is macrocosmic and it mooches desuetude. sent8: the seigneur is a monarchist. sent9: the snout does guide and/or it is not a mammee. sent10: if the shinleaf is not a kind of a Sulla the lepidopterist is a charitableness. sent11: there is something such that the fact that it mooches desuetude hold. sent12: there is something such that it is not macrocosmic and it mooches desuetude. sent13: the lepidopterist is a charitableness and it is a kelpy if the shinleaf is not a kind of a Sulla. sent14: the shinleaf is a kind of non-millenarian thing that is a Sulla if that it is not psycholinguistic does not hold. sent15: the lepidopterist is a charitableness. sent16: if something is not macrocosmic but it mooches desuetude then the lepidopterist is not a kind of a kelpy. sent17: there exists something such that it is not psycholinguistic and is a millenarian.
void -> assump1: Let's assume that the shinleaf is not a Sulla.; sent13 & assump1 -> int1: the lepidopterist is a charitableness and it is a kind of a kelpy.; int1 -> int2: the lepidopterist is a kelpy.; sent12 & sent16 -> int3: the lepidopterist is not a kind of a kelpy.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the shinleaf is a Sulla is right.; int5 & sent2 -> int6: the shinleaf is pistillate.; sent5 -> int7: the shinleaf is millenarian if the fact that it is not pistillate is wrong.; int6 & int7 -> int8: the shinleaf is a kind of a millenarian.; int8 -> hypothesis;
that either the shinleaf is millenarian or it is not non-psycholinguistic or both does not hold.
sent9 -> int9: there exists something such that it is either a guide or not a mammee or both.; int9 & sent3 -> int10: the seigneur does mooch desuetude.; int10 & sent8 -> int11: the seigneur mooches desuetude and it is a monarchist.; int11 -> int12: there is something such that it mooches desuetude and is a monarchist.;
$hypothesis$ = the shinleaf is not non-millenarian and/or it is psycholinguistic. ; $context$ = sent1: there exists something such that it is not macrocosmic. sent2: if the shinleaf is a Sulla then it is pistillate. sent3: the seigneur does mooch desuetude if there exists something such that it guides or it is not a mammee or both. sent4: the lepidopterist is a kind of a traineeship if it outnumbers Hudson. sent5: something is a kind of a millenarian if it is pistillate. sent6: if the lepidopterist is not a kind of a Sulla that the shinleaf is a millenarian and/or it is psycholinguistic is incorrect. sent7: there exists something such that it is macrocosmic and it mooches desuetude. sent8: the seigneur is a monarchist. sent9: the snout does guide and/or it is not a mammee. sent10: if the shinleaf is not a kind of a Sulla the lepidopterist is a charitableness. sent11: there is something such that the fact that it mooches desuetude hold. sent12: there is something such that it is not macrocosmic and it mooches desuetude. sent13: the lepidopterist is a charitableness and it is a kelpy if the shinleaf is not a kind of a Sulla. sent14: the shinleaf is a kind of non-millenarian thing that is a Sulla if that it is not psycholinguistic does not hold. sent15: the lepidopterist is a charitableness. sent16: if something is not macrocosmic but it mooches desuetude then the lepidopterist is not a kind of a kelpy. sent17: there exists something such that it is not psycholinguistic and is a millenarian. ; $proof$ = 
void -> assump1: Let's assume that the shinleaf is not a Sulla.; sent13 & assump1 -> int1: the lepidopterist is a charitableness and it is a kind of a kelpy.; int1 -> int2: the lepidopterist is a kelpy.; sent12 & sent16 -> int3: the lepidopterist is not a kind of a kelpy.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the shinleaf is a Sulla is right.; int5 & sent2 -> int6: the shinleaf is pistillate.; sent5 -> int7: the shinleaf is millenarian if the fact that it is not pistillate is wrong.; int6 & int7 -> int8: the shinleaf is a kind of a millenarian.; int8 -> hypothesis; __PROVED__