the fact that the pinite is a dishonor and/or is non-high-rise does not hold.
sent1: the fact that if the pinite does dishonor then the perchlorate is not unseaworthy is not false. sent2: if the pinite is not a high-rise then the perchlorate is unseaworthy. sent3: the fact that the speciation is not a sternutator but it is unseaworthy does not hold if the shinleaf is non-semi-tuberous. sent4: the perchlorate is a dishonor and/or it is not unseaworthy. sent5: if something dishonors then the fact that either it ropes Aeolic or it does not concoct Gilgamesh or both does not hold. sent6: there is something such that that it is not unseaworthy and it is a sternutator is not correct. sent7: there is something such that the fact that it is unseaworthy and it is a sternutator is not true. sent8: if there exists something such that that it is not unseaworthy and it is a kind of a sternutator is false the perchlorate is unseaworthy. sent9: the perchlorate is not unseaworthy if the pinite is not a high-rise. sent10: there exists something such that it is both not unseaworthy and a sternutator. sent11: the pinite is not unseaworthy if there is something such that that it is not a sternutator but unseaworthy is not correct. sent12: if something is unseaworthy then the perchlorate is unseaworthy. sent13: everything does not flinch and is not semi-tuberous. sent14: if something is not unseaworthy the perchlorate is a dishonor and is a high-rise.
void -> assump1: Let's assume that the pinite does dishonor or it is not high-rise or both.; assump1 & sent1 & sent9 -> int1: the perchlorate is not unseaworthy.; sent6 & sent8 -> int2: the perchlorate is unseaworthy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the perchlorate ropes Aeolic and/or does not concoct Gilgamesh is false.
sent5 -> int4: if the perchlorate is a dishonor then that that it ropes Aeolic and/or does not concoct Gilgamesh is true is false.; sent13 -> int5: the convector does not flinch and is not semi-tuberous.; int5 -> int6: that the convector is not semi-tuberous hold.; int6 -> int7: everything is not semi-tuberous.; int7 -> int8: the shinleaf is not semi-tuberous.; sent3 & int8 -> int9: the fact that the speciation is not a sternutator but unseaworthy is wrong.; int9 -> int10: there is something such that that it is not a kind of a sternutator and is unseaworthy does not hold.; sent11 & int10 -> int11: the pinite is not unseaworthy.; int11 -> int12: there are non-unseaworthy things.; int12 & sent14 -> int13: the perchlorate is a dishonor and is a high-rise.; int13 -> int14: the perchlorate is a dishonor.; int4 & int14 -> hypothesis;
$hypothesis$ = the fact that the pinite is a dishonor and/or is non-high-rise does not hold. ; $context$ = sent1: the fact that if the pinite does dishonor then the perchlorate is not unseaworthy is not false. sent2: if the pinite is not a high-rise then the perchlorate is unseaworthy. sent3: the fact that the speciation is not a sternutator but it is unseaworthy does not hold if the shinleaf is non-semi-tuberous. sent4: the perchlorate is a dishonor and/or it is not unseaworthy. sent5: if something dishonors then the fact that either it ropes Aeolic or it does not concoct Gilgamesh or both does not hold. sent6: there is something such that that it is not unseaworthy and it is a sternutator is not correct. sent7: there is something such that the fact that it is unseaworthy and it is a sternutator is not true. sent8: if there exists something such that that it is not unseaworthy and it is a kind of a sternutator is false the perchlorate is unseaworthy. sent9: the perchlorate is not unseaworthy if the pinite is not a high-rise. sent10: there exists something such that it is both not unseaworthy and a sternutator. sent11: the pinite is not unseaworthy if there is something such that that it is not a sternutator but unseaworthy is not correct. sent12: if something is unseaworthy then the perchlorate is unseaworthy. sent13: everything does not flinch and is not semi-tuberous. sent14: if something is not unseaworthy the perchlorate is a dishonor and is a high-rise. ; $proof$ = 
void -> assump1: Let's assume that the pinite does dishonor or it is not high-rise or both.; assump1 & sent1 & sent9 -> int1: the perchlorate is not unseaworthy.; sent6 & sent8 -> int2: the perchlorate is unseaworthy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__