the fact that that the descendants either does not lard or does not sight horsehide or both is not true is correct.
sent1: if the fact that the shingler does overlap but it does not curvet unkindness is wrong then the descendants is not a kind of an overlap. sent2: if something is non-documentary thing that does groove jongleur the forelock is a African. sent3: something that is not an overlap either does not lard or does not sight horsehide or both. sent4: if the fact that something is a kind of a nutrition or it does not curvet unkindness or both does not hold then it is not an overlap. sent5: that the descendants does not curvet unkindness or it does overlap or both is not wrong if it does not sight horsehide. sent6: the fact that the descendants does not lard or it does not sight horsehide or both is false if the fact that the shingler is not a kind of an overlap is not wrong. sent7: the basidiocarp does not overlap and/or it does negotiate if it is not a kind of a performer. sent8: the shingler is not thalassic if the stockcar is thalassic and is Pharaonic. sent9: something is not a documentary but it does groove jongleur if it fights Guggenheim. sent10: the fucoid does fight Guggenheim. sent11: if something is not thalassic then that it is a kind of a nutrition and/or does not curvet unkindness does not hold. sent12: if something does not sight horsehide then it does not curvet unkindness and/or is not an overlap. sent13: if the descendants is not an overlap it does not lard and/or it curvets unkindness. sent14: that the shingler does overlap and does not curvet unkindness is not correct.
sent3 -> int1: the descendants is not a lard or it does not sight horsehide or both if it is not an overlap.; sent1 & sent14 -> int2: the descendants is not an overlap.; int1 & int2 -> hypothesis;
that either the descendants is not a kind of a lard or it does not sight horsehide or both is wrong.
sent4 -> int3: the shingler does not overlap if that it is a nutrition and/or it does not curvet unkindness is false.; sent11 -> int4: if the shingler is not thalassic then that it is a nutrition or does not curvet unkindness or both is not correct.; sent9 -> int5: if the fucoid fights Guggenheim it is non-documentary thing that grooves jongleur.; int5 & sent10 -> int6: the fucoid is non-documentary thing that does groove jongleur.; int6 -> int7: there exists something such that it is not a documentary and it does groove jongleur.; int7 & sent2 -> int8: the forelock is a African.; int8 -> int9: there are African things.;
$hypothesis$ = the fact that that the descendants either does not lard or does not sight horsehide or both is not true is correct. ; $context$ = sent1: if the fact that the shingler does overlap but it does not curvet unkindness is wrong then the descendants is not a kind of an overlap. sent2: if something is non-documentary thing that does groove jongleur the forelock is a African. sent3: something that is not an overlap either does not lard or does not sight horsehide or both. sent4: if the fact that something is a kind of a nutrition or it does not curvet unkindness or both does not hold then it is not an overlap. sent5: that the descendants does not curvet unkindness or it does overlap or both is not wrong if it does not sight horsehide. sent6: the fact that the descendants does not lard or it does not sight horsehide or both is false if the fact that the shingler is not a kind of an overlap is not wrong. sent7: the basidiocarp does not overlap and/or it does negotiate if it is not a kind of a performer. sent8: the shingler is not thalassic if the stockcar is thalassic and is Pharaonic. sent9: something is not a documentary but it does groove jongleur if it fights Guggenheim. sent10: the fucoid does fight Guggenheim. sent11: if something is not thalassic then that it is a kind of a nutrition and/or does not curvet unkindness does not hold. sent12: if something does not sight horsehide then it does not curvet unkindness and/or is not an overlap. sent13: if the descendants is not an overlap it does not lard and/or it curvets unkindness. sent14: that the shingler does overlap and does not curvet unkindness is not correct. ; $proof$ = 
sent3 -> int1: the descendants is not a lard or it does not sight horsehide or both if it is not an overlap.; sent1 & sent14 -> int2: the descendants is not an overlap.; int1 & int2 -> hypothesis; __DISPROVED__