the jump does not prioritize tachymeter.
sent1: if the bushbuck is not a Pippin then the fact that it is amitotic and it is not ungregarious is not right. sent2: the jump is not inferential if that it is a citizenry that is not amitotic does not hold. sent3: the tachymeter is diamantine. sent4: if something does not prioritize tachymeter the fact that it is amitotic and it is inferential does not hold. sent5: the bushbuck does not prioritize tachymeter if the tachymeter is ungregarious or it does not prioritize tachymeter or both. sent6: the tachymeter is not botulinal and it is not a remove if it is diamantine. sent7: if the tachymeter removes then that it is not a Pippin and is not botulinal is not correct. sent8: if the fact that something is both amitotic and not ungregarious is not correct then it is not amitotic. sent9: something is not gregarious and/or does not prioritize tachymeter if it is a citizenry. sent10: the fact that the jump is a citizenry and not amitotic is false. sent11: the bushbuck is not a Pippin if the Quechua is not a Pippin or it is bellyless or both. sent12: if something is not inferential it does prioritize tachymeter. sent13: if the fact that something is not a kind of a Pippin and is not botulinal does not hold then it is a citizenry. sent14: if the fact that the tachymeter is not botulinal and it does not remove is right then the bushbuck is not botulinal. sent15: the Quechua is not a Pippin and/or it is bellyless.
sent12 -> int1: if the jump is not inferential then it does prioritize tachymeter.; sent2 & sent10 -> int2: the jump is not inferential.; int1 & int2 -> hypothesis;
the jump does not prioritize tachymeter.
sent8 -> int3: if the fact that the bushbuck is amitotic and gregarious is not true then it is not amitotic.; sent11 & sent15 -> int4: that the bushbuck is not a Pippin is not false.; sent1 & int4 -> int5: the fact that the bushbuck is both amitotic and not ungregarious is incorrect.; int3 & int5 -> int6: the bushbuck is not amitotic.; sent6 & sent3 -> int7: the tachymeter is not botulinal and it is not a kind of a remove.; sent14 & int7 -> int8: the bushbuck is not botulinal.;
$hypothesis$ = the jump does not prioritize tachymeter. ; $context$ = sent1: if the bushbuck is not a Pippin then the fact that it is amitotic and it is not ungregarious is not right. sent2: the jump is not inferential if that it is a citizenry that is not amitotic does not hold. sent3: the tachymeter is diamantine. sent4: if something does not prioritize tachymeter the fact that it is amitotic and it is inferential does not hold. sent5: the bushbuck does not prioritize tachymeter if the tachymeter is ungregarious or it does not prioritize tachymeter or both. sent6: the tachymeter is not botulinal and it is not a remove if it is diamantine. sent7: if the tachymeter removes then that it is not a Pippin and is not botulinal is not correct. sent8: if the fact that something is both amitotic and not ungregarious is not correct then it is not amitotic. sent9: something is not gregarious and/or does not prioritize tachymeter if it is a citizenry. sent10: the fact that the jump is a citizenry and not amitotic is false. sent11: the bushbuck is not a Pippin if the Quechua is not a Pippin or it is bellyless or both. sent12: if something is not inferential it does prioritize tachymeter. sent13: if the fact that something is not a kind of a Pippin and is not botulinal does not hold then it is a citizenry. sent14: if the fact that the tachymeter is not botulinal and it does not remove is right then the bushbuck is not botulinal. sent15: the Quechua is not a Pippin and/or it is bellyless. ; $proof$ = 
sent12 -> int1: if the jump is not inferential then it does prioritize tachymeter.; sent2 & sent10 -> int2: the jump is not inferential.; int1 & int2 -> hypothesis; __DISPROVED__