the winch is a heavy.
sent1: there exists something such that that it is a chordamesoderm hold. sent2: that the fact that the Gentianella is not a kind of a chordamesoderm or it does circularize nightwear or both is not wrong is not correct. sent3: if something does not refrain Nelumbonaceae it is not a catarrhine. sent4: the nut is not inconstant if the winch does not fine-tune and it does not circularize emptying. sent5: something does not fine-tune and it does not circularize emptying if it is not a kind of a heavy. sent6: the winch is not a kind of a constant if there exists something such that that either it does not circularize emptying or it is a kind of a heavy or both is not true. sent7: the Gentianella does not circularize nightwear. sent8: something is not a chordamesoderm and it is not a kind of a constant if it is not a heavy. sent9: the screwbean is blastomeric if the nut is a constant. sent10: if the nut is not a constant then it does not circularize emptying and is not blastomeric. sent11: the trencher does fine-tune. sent12: the winch does not circularize emptying if it is not a heavy. sent13: something is not a constant if it is blastomeric. sent14: the screwbean is not a chordamesoderm. sent15: the Gentianella is a kind of a heavy. sent16: the screwbean is unprotective. sent17: if the fact that something does not fine-tune and it is not a heavy is incorrect it fine-tune. sent18: there is something such that it does not circularize nightwear. sent19: if something is a chordamesoderm then that it is not blastomeric but constant is wrong. sent20: the fact that the screwbean is not blastomeric is true if there exists something such that the fact that it is not a chordamesoderm and/or does circularize nightwear is incorrect. sent21: if the nut is not a constant then that the chlorhexidine does not fine-tune and it is not a heavy is not right. sent22: the fact that the screwbean does circularize emptying is right if the winch does not fine-tune and is blastomeric. sent23: the nut is not virulent and does not circularize nightwear. sent24: if the nut is not genuine then it does circularize nightwear and it is a chordamesoderm. sent25: the Gentianella is blastomeric.
sent5 -> int1: the winch does not fine-tune and it does not circularize emptying if the fact that it is not a heavy is not wrong.; void -> assump1: Let's assume that the winch is not a heavy.; int1 & assump1 -> int2: the winch does not fine-tune and it does not circularize emptying.; int2 & sent4 -> int3: the nut is a kind of a constant.; int3 & sent9 -> int4: the screwbean is blastomeric.; sent2 -> int5: there is something such that that it is not a chordamesoderm or it does circularize nightwear or both is incorrect.; int5 & sent20 -> int6: the screwbean is not blastomeric.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the winch is not a heavy.
sent19 -> int8: the fact that the nut is not blastomeric but it is a kind of a constant does not hold if it is a chordamesoderm.;
$hypothesis$ = the winch is a heavy. ; $context$ = sent1: there exists something such that that it is a chordamesoderm hold. sent2: that the fact that the Gentianella is not a kind of a chordamesoderm or it does circularize nightwear or both is not wrong is not correct. sent3: if something does not refrain Nelumbonaceae it is not a catarrhine. sent4: the nut is not inconstant if the winch does not fine-tune and it does not circularize emptying. sent5: something does not fine-tune and it does not circularize emptying if it is not a kind of a heavy. sent6: the winch is not a kind of a constant if there exists something such that that either it does not circularize emptying or it is a kind of a heavy or both is not true. sent7: the Gentianella does not circularize nightwear. sent8: something is not a chordamesoderm and it is not a kind of a constant if it is not a heavy. sent9: the screwbean is blastomeric if the nut is a constant. sent10: if the nut is not a constant then it does not circularize emptying and is not blastomeric. sent11: the trencher does fine-tune. sent12: the winch does not circularize emptying if it is not a heavy. sent13: something is not a constant if it is blastomeric. sent14: the screwbean is not a chordamesoderm. sent15: the Gentianella is a kind of a heavy. sent16: the screwbean is unprotective. sent17: if the fact that something does not fine-tune and it is not a heavy is incorrect it fine-tune. sent18: there is something such that it does not circularize nightwear. sent19: if something is a chordamesoderm then that it is not blastomeric but constant is wrong. sent20: the fact that the screwbean is not blastomeric is true if there exists something such that the fact that it is not a chordamesoderm and/or does circularize nightwear is incorrect. sent21: if the nut is not a constant then that the chlorhexidine does not fine-tune and it is not a heavy is not right. sent22: the fact that the screwbean does circularize emptying is right if the winch does not fine-tune and is blastomeric. sent23: the nut is not virulent and does not circularize nightwear. sent24: if the nut is not genuine then it does circularize nightwear and it is a chordamesoderm. sent25: the Gentianella is blastomeric. ; $proof$ = 
sent5 -> int1: the winch does not fine-tune and it does not circularize emptying if the fact that it is not a heavy is not wrong.; void -> assump1: Let's assume that the winch is not a heavy.; int1 & assump1 -> int2: the winch does not fine-tune and it does not circularize emptying.; int2 & sent4 -> int3: the nut is a kind of a constant.; int3 & sent9 -> int4: the screwbean is blastomeric.; sent2 -> int5: there is something such that that it is not a chordamesoderm or it does circularize nightwear or both is incorrect.; int5 & sent20 -> int6: the screwbean is not blastomeric.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__