that the collector scents thelarche and dredges does not hold.
sent1: the fact that the winch is avitaminotic and it is a get does not hold. sent2: the collector is not unaware. sent3: something scents winch if that it does not scent thelarche and it is not a productivity is wrong. sent4: if the winch is not a get it is an innocence and it is discordant. sent5: the collector is a productivity. sent6: the intervenor does scent thelarche. sent7: the winch does not dredge but it calluses. sent8: if there is something such that it is non-unaware thing that is a vanadinite the collector does scent gentianella. sent9: the collector does not tipple. sent10: that the winch is a kind of an innocence but it is not a kind of a estrone does not hold. sent11: if the fact that the winch is an innocence and not a estrone is not right the fact that the collector is not discordant is not incorrect. sent12: the winch is not a kind of a productivity. sent13: there exists something such that that it is not unaware and it is a vanadinite hold. sent14: if the collector is a kind of a estrone that is a callus it is not a dredge. sent15: the collector does scent thelarche and is a kind of a productivity if it does not service cobnut. sent16: the winch does scent gentianella. sent17: the winch does scent thelarche. sent18: the collector does callus if it is not discordant. sent19: if something does not get it does scent gentianella and does service cobnut. sent20: the collector is a kind of a dredge and it is a callus if it is not discordant. sent21: the winch does service cobnut. sent22: the collector is a get. sent23: the cobnut is not a get if something that is not a kind of a dredge does callus. sent24: the collector impales and it is a nomad. sent25: the winch does compel watermeal. sent26: if something scents gentianella and does service cobnut it is not a get. sent27: the winch is an innocence and it calluses.
sent13 & sent8 -> int1: the collector does scent gentianella.; void -> assump1: Let's assume that the collector does service cobnut.; int1 & assump1 -> int2: the collector scents gentianella and does service cobnut.; sent26 -> int3: if the collector does scent gentianella and it does service cobnut then it is not a get.; int2 & int3 -> int4: the collector is not a get.; int4 & sent22 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collector does not service cobnut.; int6 & sent15 -> int7: the collector scents thelarche and is a kind of a productivity.; int7 -> int8: the collector does scent thelarche.; sent11 & sent10 -> int9: the collector is not discordant.; sent20 & int9 -> int10: the collector is a dredge and it calluses.; int10 -> int11: that the collector is a kind of a dredge is correct.; int8 & int11 -> hypothesis;
the cobnut scents gentianella and it scents winch.
sent19 -> int12: if the cobnut is not a get it scents gentianella and does service cobnut.; sent7 -> int13: there is something such that it is both not a dredge and a callus.; int13 & sent23 -> int14: the cobnut is not a kind of a get.; int12 & int14 -> int15: the cobnut does scent gentianella and it does service cobnut.; int15 -> int16: the fact that the cobnut does scent gentianella is true.; sent3 -> int17: if the fact that the cobnut does not scent thelarche and it is not a kind of a productivity is not right it scents winch.; sent5 -> int18: there exists something such that it is a productivity.;
$hypothesis$ = that the collector scents thelarche and dredges does not hold. ; $context$ = sent1: the fact that the winch is avitaminotic and it is a get does not hold. sent2: the collector is not unaware. sent3: something scents winch if that it does not scent thelarche and it is not a productivity is wrong. sent4: if the winch is not a get it is an innocence and it is discordant. sent5: the collector is a productivity. sent6: the intervenor does scent thelarche. sent7: the winch does not dredge but it calluses. sent8: if there is something such that it is non-unaware thing that is a vanadinite the collector does scent gentianella. sent9: the collector does not tipple. sent10: that the winch is a kind of an innocence but it is not a kind of a estrone does not hold. sent11: if the fact that the winch is an innocence and not a estrone is not right the fact that the collector is not discordant is not incorrect. sent12: the winch is not a kind of a productivity. sent13: there exists something such that that it is not unaware and it is a vanadinite hold. sent14: if the collector is a kind of a estrone that is a callus it is not a dredge. sent15: the collector does scent thelarche and is a kind of a productivity if it does not service cobnut. sent16: the winch does scent gentianella. sent17: the winch does scent thelarche. sent18: the collector does callus if it is not discordant. sent19: if something does not get it does scent gentianella and does service cobnut. sent20: the collector is a kind of a dredge and it is a callus if it is not discordant. sent21: the winch does service cobnut. sent22: the collector is a get. sent23: the cobnut is not a get if something that is not a kind of a dredge does callus. sent24: the collector impales and it is a nomad. sent25: the winch does compel watermeal. sent26: if something scents gentianella and does service cobnut it is not a get. sent27: the winch is an innocence and it calluses. ; $proof$ = 
sent13 & sent8 -> int1: the collector does scent gentianella.; void -> assump1: Let's assume that the collector does service cobnut.; int1 & assump1 -> int2: the collector scents gentianella and does service cobnut.; sent26 -> int3: if the collector does scent gentianella and it does service cobnut then it is not a get.; int2 & int3 -> int4: the collector is not a get.; int4 & sent22 -> int5: this is contradiction.; [assump1] & int5 -> int6: the collector does not service cobnut.; int6 & sent15 -> int7: the collector scents thelarche and is a kind of a productivity.; int7 -> int8: the collector does scent thelarche.; sent11 & sent10 -> int9: the collector is not discordant.; sent20 & int9 -> int10: the collector is a dredge and it calluses.; int10 -> int11: that the collector is a kind of a dredge is correct.; int8 & int11 -> hypothesis; __DISPROVED__