there exists something such that the fact that the fact that it does not outshout allomorph and it does not acquire is true does not hold.
sent1: if the temp is subarctic then it does not bear retreated and it is not a arame. sent2: the temp is subarctic. sent3: if the fact that something does outshout Charleston hold the fact that it is non-zymotic and it bears Brecht does not hold. sent4: that the polyploid does not outshout allomorph and it does not acquire is wrong if the yield does not outshout Charleston. sent5: the skylight does bear retreated if that the yield is non-zymotic thing that bears Brecht is incorrect. sent6: the fact that something is noncellular and it is a oncidium does not hold if it meets. sent7: if that something does outshout Charleston is right then the fact that it is both not subarctic and not a tenure is not correct. sent8: that the temp is a kind of non-zymotic thing that is not a arame does not hold. sent9: that the temp does not bear retreated and is not a kind of a arame is false if the skylight does bear retreated.
sent3 -> int1: that the yield is not zymotic but it bears Brecht is not true if it does outshout Charleston.; void -> assump1: Let's assume that the yield outshouts Charleston.; int1 & assump1 -> int2: that the yield is not zymotic but it bears Brecht is wrong.; int2 & sent5 -> int3: the fact that the skylight does bear retreated is correct.; int3 & sent9 -> int4: the fact that the fact that the temp does not bear retreated and it is not a arame is true does not hold.; sent1 & sent2 -> int5: the temp does not bear retreated and is not a kind of a arame.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the yield does not outshout Charleston.; int7 & sent4 -> int8: that the polyploid does not outshout allomorph and does not acquire is not correct.; int8 -> hypothesis;
the fact that the yield is not subarctic and it is not a tenure is wrong.
sent7 -> int9: the fact that the skylight is not subarctic and it is not a kind of a tenure is not correct if it does outshout Charleston.;
$hypothesis$ = there exists something such that the fact that the fact that it does not outshout allomorph and it does not acquire is true does not hold. ; $context$ = sent1: if the temp is subarctic then it does not bear retreated and it is not a arame. sent2: the temp is subarctic. sent3: if the fact that something does outshout Charleston hold the fact that it is non-zymotic and it bears Brecht does not hold. sent4: that the polyploid does not outshout allomorph and it does not acquire is wrong if the yield does not outshout Charleston. sent5: the skylight does bear retreated if that the yield is non-zymotic thing that bears Brecht is incorrect. sent6: the fact that something is noncellular and it is a oncidium does not hold if it meets. sent7: if that something does outshout Charleston is right then the fact that it is both not subarctic and not a tenure is not correct. sent8: that the temp is a kind of non-zymotic thing that is not a arame does not hold. sent9: that the temp does not bear retreated and is not a kind of a arame is false if the skylight does bear retreated. ; $proof$ = 
sent3 -> int1: that the yield is not zymotic but it bears Brecht is not true if it does outshout Charleston.; void -> assump1: Let's assume that the yield outshouts Charleston.; int1 & assump1 -> int2: that the yield is not zymotic but it bears Brecht is wrong.; int2 & sent5 -> int3: the fact that the skylight does bear retreated is correct.; int3 & sent9 -> int4: the fact that the fact that the temp does not bear retreated and it is not a arame is true does not hold.; sent1 & sent2 -> int5: the temp does not bear retreated and is not a kind of a arame.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the yield does not outshout Charleston.; int7 & sent4 -> int8: that the polyploid does not outshout allomorph and does not acquire is not correct.; int8 -> hypothesis; __PROVED__