that the statistician is not a hop-step-and-jump and is not a grub hold.
sent1: the cabbageworm is not a seat but it is biotitic if the invention is ratlike. sent2: the skate is a country if there is something such that it is not a seat and it is biotitic. sent3: the fact that the statistician is not a hop-step-and-jump and it is not a grub is wrong if the larcenist is not a kind of a hop-step-and-jump. sent4: if something does not seat it dominates invention and is homing. sent5: the cabbageworm does not seat if the invention is ratlike. sent6: there exists something such that it does not seat. sent7: the skate dominates invention. sent8: that the larcenist is a hop-step-and-jump but it is not biotitic does not hold. sent9: the invention does not beat Croatian. sent10: something does seat and is biotitic. sent11: the larcenist is not a hop-step-and-jump if the skate is a country and is a homing. sent12: if the fact that the skate beats Croatian but it is not acceptive does not hold the fact that it is not a seating is not wrong. sent13: the fact that the statistician is a hop-step-and-jump but it is not a grub is not right. sent14: something that does not seat dominates invention. sent15: if there exists something such that it is acceptive and is a kind of a hop-step-and-jump the statistician is a seating. sent16: the cabbageworm is not a seat. sent17: the invention is ratlike. sent18: the fact that the skate does beat Croatian but it is not acceptive is not correct. sent19: if the skate is not non-acceptive it is not a seating.
sent1 & sent17 -> int1: the cabbageworm is both not a seat and biotitic.; int1 -> int2: there is something such that it is not a kind of a seat and it is biotitic.; int2 & sent2 -> int3: the skate is a country.; sent4 -> int4: if the skate is not a kind of a seating it dominates invention and is a homing.; sent12 & sent18 -> int5: the skate is not a seating.; int4 & int5 -> int6: the skate dominates invention and it is a homing.; int6 -> int7: the skate is a homing.; int3 & int7 -> int8: the skate is a country and does home.; int8 & sent11 -> int9: the larcenist is not a hop-step-and-jump.; int9 & sent3 -> hypothesis;
$hypothesis$ = that the statistician is not a hop-step-and-jump and is not a grub hold. ; $context$ = sent1: the cabbageworm is not a seat but it is biotitic if the invention is ratlike. sent2: the skate is a country if there is something such that it is not a seat and it is biotitic. sent3: the fact that the statistician is not a hop-step-and-jump and it is not a grub is wrong if the larcenist is not a kind of a hop-step-and-jump. sent4: if something does not seat it dominates invention and is homing. sent5: the cabbageworm does not seat if the invention is ratlike. sent6: there exists something such that it does not seat. sent7: the skate dominates invention. sent8: that the larcenist is a hop-step-and-jump but it is not biotitic does not hold. sent9: the invention does not beat Croatian. sent10: something does seat and is biotitic. sent11: the larcenist is not a hop-step-and-jump if the skate is a country and is a homing. sent12: if the fact that the skate beats Croatian but it is not acceptive does not hold the fact that it is not a seating is not wrong. sent13: the fact that the statistician is a hop-step-and-jump but it is not a grub is not right. sent14: something that does not seat dominates invention. sent15: if there exists something such that it is acceptive and is a kind of a hop-step-and-jump the statistician is a seating. sent16: the cabbageworm is not a seat. sent17: the invention is ratlike. sent18: the fact that the skate does beat Croatian but it is not acceptive is not correct. sent19: if the skate is not non-acceptive it is not a seating. ; $proof$ = 
sent1 & sent17 -> int1: the cabbageworm is both not a seat and biotitic.; int1 -> int2: there is something such that it is not a kind of a seat and it is biotitic.; int2 & sent2 -> int3: the skate is a country.; sent4 -> int4: if the skate is not a kind of a seating it dominates invention and is a homing.; sent12 & sent18 -> int5: the skate is not a seating.; int4 & int5 -> int6: the skate dominates invention and it is a homing.; int6 -> int7: the skate is a homing.; int3 & int7 -> int8: the skate is a country and does home.; int8 & sent11 -> int9: the larcenist is not a hop-step-and-jump.; int9 & sent3 -> hypothesis; __DISPROVED__