that the recombinant is not a kind of a latecomer hold.
sent1: the recombinant is not a kind of a latecomer and it does not prevent if the bulrush is not a kind of a chill. sent2: if there are non-Nordic things the cove is not impartial or does not camber Hoenir or both. sent3: if something is thrifty the bulrush prevents. sent4: there exists something such that the fact that it is thrifty and it is not a Galilean is not true. sent5: the harebell is a kind of a cheapjack. sent6: something is not Nordic if the fact that it either does not open granadillo or is mindless or both does not hold. sent7: if the bulrush is a kind of a chill the recombinant is a kind of a latecomer. sent8: there exists something such that that it is both non-thrifty and not non-Galilean is not correct. sent9: there exists something such that that it is not thrifty and not Galilean does not hold. sent10: if the goatsfoot does truck chondrite then that the biweekly is Florentine and/or not an enrichment is not correct. sent11: if there exists something such that that it is both not thrifty and not Galilean is not true the bulrush does prevent. sent12: if that the Lithane is a cheapjack is right that it does not open granadillo and/or it is mindless is not correct. sent13: there are non-thrifty and non-Galilean things. sent14: the bulrush is not a chill if the Delilah is not a chill. sent15: if something does prevent it is a kind of a chill. sent16: the Lithane is a cheapjack if the harebell is a cheapjack.
sent9 & sent11 -> int1: the bulrush does prevent.; sent15 -> int2: if the bulrush prevents it is a chill.; int1 & int2 -> int3: the bulrush chills.; int3 & sent7 -> hypothesis;
the recombinant is not a latecomer.
sent6 -> int4: if the fact that the Lithane does not open granadillo and/or is mindless does not hold it is not Nordic.; sent16 & sent5 -> int5: the Lithane is a cheapjack.; sent12 & int5 -> int6: the fact that the fact that the Lithane does not open granadillo or is mindless or both is not correct hold.; int4 & int6 -> int7: the Lithane is not Nordic.; int7 -> int8: there exists something such that the fact that it is not Nordic is right.; int8 & sent2 -> int9: the cove is not impartial or does not camber Hoenir or both.;
$hypothesis$ = that the recombinant is not a kind of a latecomer hold. ; $context$ = sent1: the recombinant is not a kind of a latecomer and it does not prevent if the bulrush is not a kind of a chill. sent2: if there are non-Nordic things the cove is not impartial or does not camber Hoenir or both. sent3: if something is thrifty the bulrush prevents. sent4: there exists something such that the fact that it is thrifty and it is not a Galilean is not true. sent5: the harebell is a kind of a cheapjack. sent6: something is not Nordic if the fact that it either does not open granadillo or is mindless or both does not hold. sent7: if the bulrush is a kind of a chill the recombinant is a kind of a latecomer. sent8: there exists something such that that it is both non-thrifty and not non-Galilean is not correct. sent9: there exists something such that that it is not thrifty and not Galilean does not hold. sent10: if the goatsfoot does truck chondrite then that the biweekly is Florentine and/or not an enrichment is not correct. sent11: if there exists something such that that it is both not thrifty and not Galilean is not true the bulrush does prevent. sent12: if that the Lithane is a cheapjack is right that it does not open granadillo and/or it is mindless is not correct. sent13: there are non-thrifty and non-Galilean things. sent14: the bulrush is not a chill if the Delilah is not a chill. sent15: if something does prevent it is a kind of a chill. sent16: the Lithane is a cheapjack if the harebell is a cheapjack. ; $proof$ = 
sent9 & sent11 -> int1: the bulrush does prevent.; sent15 -> int2: if the bulrush prevents it is a chill.; int1 & int2 -> int3: the bulrush chills.; int3 & sent7 -> hypothesis; __DISPROVED__