that the redhorse does not overburden and does bind wholeheartedness is not true.
sent1: if something is a arcsecant it is not a kind of an overburden and binds wholeheartedness. sent2: the redhorse does animate. sent3: the redhorse is an ultimate. sent4: if something that is not bimodal is an ultimate then it is not a arcsecant. sent5: something is ultimate. sent6: if something is bimodal it is a kind of an ultimate. sent7: the proconsul is bimodal and it is a midiron. sent8: that something is not consubstantial but it binds wholeheartedness does not hold if it is not a arcsecant. sent9: if the trimaran is not botanic then it is not totipotent and it does frisk clipped. sent10: the trimaran is not botanic. sent11: the redhorse is not an overburden if it is a arcsecant. sent12: the proconsul is a kind of a midiron if something is non-totipotent thing that frisks clipped. sent13: the shearer is consubstantial. sent14: if something is not consubstantial it is a arcsecant. sent15: there exists something such that it is non-ultimate. sent16: the redhorse is not an overburden. sent17: if there is something such that it is not an ultimate then the redhorse is not consubstantial. sent18: if something is a arcsecant it does not overburden. sent19: the Bartlett is a kind of consubstantial thing that binds wholeheartedness if there is something such that it is a kind of a arcsecant. sent20: the ectoderm is not bimodal but it is ultimate if there is something such that it is a kind of a midiron.
sent14 -> int1: if the redhorse is not consubstantial it is a arcsecant.; sent15 & sent17 -> int2: the redhorse is not consubstantial.; int1 & int2 -> int3: the redhorse is a kind of a arcsecant.; sent1 -> int4: if the redhorse is a arcsecant then it is not an overburden and it binds wholeheartedness.; int3 & int4 -> hypothesis;
the Bartlett is consubstantial.
sent6 -> int5: the proconsul is ultimate if it is bimodal.; sent7 -> int6: the proconsul is bimodal.; int5 & int6 -> int7: the proconsul is an ultimate.; int7 -> int8: there is something such that it is a kind of an ultimate.;
$hypothesis$ = that the redhorse does not overburden and does bind wholeheartedness is not true. ; $context$ = sent1: if something is a arcsecant it is not a kind of an overburden and binds wholeheartedness. sent2: the redhorse does animate. sent3: the redhorse is an ultimate. sent4: if something that is not bimodal is an ultimate then it is not a arcsecant. sent5: something is ultimate. sent6: if something is bimodal it is a kind of an ultimate. sent7: the proconsul is bimodal and it is a midiron. sent8: that something is not consubstantial but it binds wholeheartedness does not hold if it is not a arcsecant. sent9: if the trimaran is not botanic then it is not totipotent and it does frisk clipped. sent10: the trimaran is not botanic. sent11: the redhorse is not an overburden if it is a arcsecant. sent12: the proconsul is a kind of a midiron if something is non-totipotent thing that frisks clipped. sent13: the shearer is consubstantial. sent14: if something is not consubstantial it is a arcsecant. sent15: there exists something such that it is non-ultimate. sent16: the redhorse is not an overburden. sent17: if there is something such that it is not an ultimate then the redhorse is not consubstantial. sent18: if something is a arcsecant it does not overburden. sent19: the Bartlett is a kind of consubstantial thing that binds wholeheartedness if there is something such that it is a kind of a arcsecant. sent20: the ectoderm is not bimodal but it is ultimate if there is something such that it is a kind of a midiron. ; $proof$ = 
sent14 -> int1: if the redhorse is not consubstantial it is a arcsecant.; sent15 & sent17 -> int2: the redhorse is not consubstantial.; int1 & int2 -> int3: the redhorse is a kind of a arcsecant.; sent1 -> int4: if the redhorse is a arcsecant then it is not an overburden and it binds wholeheartedness.; int3 & int4 -> hypothesis; __DISPROVED__