the polypore is not Papuan.
sent1: if the ribosome is not a Huss the fact that the gleet does not upgrade toe-in or is not counterrevolutionary or both is not true. sent2: if something does not upgrade lifeboat it is optimistic and/or it is Papuan. sent3: there exists something such that the fact that it is a kind of a stay or it is a Chaetodipterus or both is not correct. sent4: something upgrades toe-in if the fact that it is not counterrevolutionary and it is not a kind of a gemsbok is not correct. sent5: there exists something such that the fact that it is a Chaetodipterus is not incorrect. sent6: the ribosome is not a Huss if the bazaar does upgrade lifeboat and is a redetermination. sent7: if the petrifaction is not a gemsbok the polypore is not a Papuan. sent8: the fact that something is a stay or it is not a Chaetodipterus or both is not false. sent9: if the petrifaction is not counterrevolutionary that either the polypore is not a kind of a Papuan or it is not a gemsbok or both is false. sent10: that the flyway is both non-counterrevolutionary and not a gemsbok is false if the bazaar is not Judaic. sent11: that the flyway does not upgrade toe-in and is a Huss is wrong. sent12: there exists something such that the fact that it either is a stay or is not a kind of a Chaetodipterus or both is not correct. sent13: the flyway is optimistic if there exists something such that that either it is a stay or it is not a kind of a Chaetodipterus or both is wrong. sent14: the gleet does upgrade toe-in. sent15: something is Papuan and is optimistic if that it does not upgrade lifeboat is not wrong. sent16: the bazaar is a kind of non-penumbral thing that is a shoe-shop if it is not a kind of a Amish. sent17: something that is a shoe-shop is both not Judaic and not a stanza. sent18: there exists nothing such that it is not a kind of a redetermination and it is Judaic. sent19: if something is either not a synod or not a Amish or both it is not a kind of a Amish. sent20: the petrifaction is not a gemsbok if the fact that either the gleet does upgrade toe-in or it is not counterrevolutionary or both is wrong. sent21: if the flyway is not a Huss it is not a redetermination and it does upgrade lifeboat. sent22: if that either the gleet does not upgrade toe-in or it is not counterrevolutionary or both is not right then the petrifaction is not a gemsbok. sent23: there is nothing such that it is a redetermination and Judaic. sent24: if that something is not a redetermination but Judaic does not hold then it is a redetermination. sent25: if the bazaar is not a kind of a Huss then the ribosome is Judaic. sent26: the bazaar upgrades lifeboat if the flyway is optimistic. sent27: if the petrifaction is not a kind of a redetermination the bazaar is not a gemsbok.
sent12 & sent13 -> int1: the flyway is optimistic.; int1 & sent26 -> int2: the bazaar upgrades lifeboat.; sent24 -> int3: the bazaar is a redetermination if that the fact that it is not a redetermination and it is Judaic hold is incorrect.; sent18 -> int4: the fact that the bazaar is not a redetermination and is Judaic is wrong.; int3 & int4 -> int5: that the bazaar is a redetermination hold.; int2 & int5 -> int6: the bazaar upgrades lifeboat and is a redetermination.; int6 & sent6 -> int7: the ribosome is not a Huss.; int7 & sent1 -> int8: that the gleet does not upgrade toe-in or it is not counterrevolutionary or both is incorrect.; int8 & sent22 -> int9: the petrifaction is not a gemsbok.; int9 & sent7 -> hypothesis;
the polypore is a Papuan.
sent15 -> int10: if the polypore does not upgrade lifeboat it is Papuan and it is optimistic.; sent11 -> int11: there is something such that that it does not upgrade toe-in and is a Huss is not correct.;
$hypothesis$ = the polypore is not Papuan. ; $context$ = sent1: if the ribosome is not a Huss the fact that the gleet does not upgrade toe-in or is not counterrevolutionary or both is not true. sent2: if something does not upgrade lifeboat it is optimistic and/or it is Papuan. sent3: there exists something such that the fact that it is a kind of a stay or it is a Chaetodipterus or both is not correct. sent4: something upgrades toe-in if the fact that it is not counterrevolutionary and it is not a kind of a gemsbok is not correct. sent5: there exists something such that the fact that it is a Chaetodipterus is not incorrect. sent6: the ribosome is not a Huss if the bazaar does upgrade lifeboat and is a redetermination. sent7: if the petrifaction is not a gemsbok the polypore is not a Papuan. sent8: the fact that something is a stay or it is not a Chaetodipterus or both is not false. sent9: if the petrifaction is not counterrevolutionary that either the polypore is not a kind of a Papuan or it is not a gemsbok or both is false. sent10: that the flyway is both non-counterrevolutionary and not a gemsbok is false if the bazaar is not Judaic. sent11: that the flyway does not upgrade toe-in and is a Huss is wrong. sent12: there exists something such that the fact that it either is a stay or is not a kind of a Chaetodipterus or both is not correct. sent13: the flyway is optimistic if there exists something such that that either it is a stay or it is not a kind of a Chaetodipterus or both is wrong. sent14: the gleet does upgrade toe-in. sent15: something is Papuan and is optimistic if that it does not upgrade lifeboat is not wrong. sent16: the bazaar is a kind of non-penumbral thing that is a shoe-shop if it is not a kind of a Amish. sent17: something that is a shoe-shop is both not Judaic and not a stanza. sent18: there exists nothing such that it is not a kind of a redetermination and it is Judaic. sent19: if something is either not a synod or not a Amish or both it is not a kind of a Amish. sent20: the petrifaction is not a gemsbok if the fact that either the gleet does upgrade toe-in or it is not counterrevolutionary or both is wrong. sent21: if the flyway is not a Huss it is not a redetermination and it does upgrade lifeboat. sent22: if that either the gleet does not upgrade toe-in or it is not counterrevolutionary or both is not right then the petrifaction is not a gemsbok. sent23: there is nothing such that it is a redetermination and Judaic. sent24: if that something is not a redetermination but Judaic does not hold then it is a redetermination. sent25: if the bazaar is not a kind of a Huss then the ribosome is Judaic. sent26: the bazaar upgrades lifeboat if the flyway is optimistic. sent27: if the petrifaction is not a kind of a redetermination the bazaar is not a gemsbok. ; $proof$ = 
sent12 & sent13 -> int1: the flyway is optimistic.; int1 & sent26 -> int2: the bazaar upgrades lifeboat.; sent24 -> int3: the bazaar is a redetermination if that the fact that it is not a redetermination and it is Judaic hold is incorrect.; sent18 -> int4: the fact that the bazaar is not a redetermination and is Judaic is wrong.; int3 & int4 -> int5: that the bazaar is a redetermination hold.; int2 & int5 -> int6: the bazaar upgrades lifeboat and is a redetermination.; int6 & sent6 -> int7: the ribosome is not a Huss.; int7 & sent1 -> int8: that the gleet does not upgrade toe-in or it is not counterrevolutionary or both is incorrect.; int8 & sent22 -> int9: the petrifaction is not a gemsbok.; int9 & sent7 -> hypothesis; __PROVED__