the fact that the Guarani does not federalize bullfrog and it is not a holder is not true.
sent1: there is something such that that it is a mystic and/or it is not promotional is wrong. sent2: the foot is not a shambles if that there is something such that that it federalizes bullfrog and/or it does not hibernate is not incorrect is right. sent3: if something is not a kind of a roundedness and it is not viricidal then the windfall is pleural. sent4: that the hookah is not a kind of a Pyrus but it is amniotic does not hold. sent5: if that the windfall is not amniotic but it is unregenerate does not hold then it is amniotic. sent6: if there exists something such that the fact that it is not unregenerate and/or it is not Pauline does not hold the acclimatization does not federalize bullfrog. sent7: that the Guarani is not a Pyrus is right. sent8: if something is not a Pyrus then it is pleural. sent9: something either does not snow radical or is not a descent or both. sent10: if there is something such that it is a crash and/or not sarcolemmal then the foot is not a kind of a Pyrus. sent11: the hookah is not a roundedness and is not viricidal if it is amniotic. sent12: the fact that the Guarani does not federalize bullfrog and is not a holder does not hold if the fact that the acclimatization does not federalize bullfrog is correct. sent13: if the fact that something federalizes bullfrog but it is not pleural is incorrect it does not federalizes bullfrog. sent14: there exists something such that it is a crash and/or it is not sarcolemmal. sent15: the cocobolo does not federalize bullfrog. sent16: the fact that the Guarani federalizes bullfrog but it is not pleural is not correct if the fact that the hookah is not Pauline hold. sent17: the windfall is not pleural if the foot is pleural.
void -> assump1: Let's assume that the hookah is amniotic.; sent11 & assump1 -> int1: the hookah is not a kind of a roundedness and is not viricidal.; int1 -> int2: something is not a kind of a roundedness and it is not viricidal.; int2 & sent3 -> int3: the windfall is pleural.; sent8 -> int4: the foot is pleural if it is not a Pyrus.; sent14 & sent10 -> int5: the foot is not a kind of a Pyrus.; int4 & int5 -> int6: the foot is pleural.; sent17 & int6 -> int7: the windfall is non-pleural.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hookah is not amniotic.;
the Guarani does not federalize bullfrog and is not a kind of a holder.
sent13 -> int10: the Guarani does not federalize bullfrog if the fact that it federalize bullfrog and is not pleural is not true.;
$hypothesis$ = the fact that the Guarani does not federalize bullfrog and it is not a holder is not true. ; $context$ = sent1: there is something such that that it is a mystic and/or it is not promotional is wrong. sent2: the foot is not a shambles if that there is something such that that it federalizes bullfrog and/or it does not hibernate is not incorrect is right. sent3: if something is not a kind of a roundedness and it is not viricidal then the windfall is pleural. sent4: that the hookah is not a kind of a Pyrus but it is amniotic does not hold. sent5: if that the windfall is not amniotic but it is unregenerate does not hold then it is amniotic. sent6: if there exists something such that the fact that it is not unregenerate and/or it is not Pauline does not hold the acclimatization does not federalize bullfrog. sent7: that the Guarani is not a Pyrus is right. sent8: if something is not a Pyrus then it is pleural. sent9: something either does not snow radical or is not a descent or both. sent10: if there is something such that it is a crash and/or not sarcolemmal then the foot is not a kind of a Pyrus. sent11: the hookah is not a roundedness and is not viricidal if it is amniotic. sent12: the fact that the Guarani does not federalize bullfrog and is not a holder does not hold if the fact that the acclimatization does not federalize bullfrog is correct. sent13: if the fact that something federalizes bullfrog but it is not pleural is incorrect it does not federalizes bullfrog. sent14: there exists something such that it is a crash and/or it is not sarcolemmal. sent15: the cocobolo does not federalize bullfrog. sent16: the fact that the Guarani federalizes bullfrog but it is not pleural is not correct if the fact that the hookah is not Pauline hold. sent17: the windfall is not pleural if the foot is pleural. ; $proof$ = 
void -> assump1: Let's assume that the hookah is amniotic.; sent11 & assump1 -> int1: the hookah is not a kind of a roundedness and is not viricidal.; int1 -> int2: something is not a kind of a roundedness and it is not viricidal.; int2 & sent3 -> int3: the windfall is pleural.; sent8 -> int4: the foot is pleural if it is not a Pyrus.; sent14 & sent10 -> int5: the foot is not a kind of a Pyrus.; int4 & int5 -> int6: the foot is pleural.; sent17 & int6 -> int7: the windfall is non-pleural.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hookah is not amniotic.; __UNKNOWN__