there is something such that if it is not a hajj it is not ducal.
sent1: the distance is not a kind of a hajj if it is gustatory. sent2: there is something such that if it is not a kind of a hajj then it is ducal. sent3: if that the distance is not ducal is not false then it is not inviolable. sent4: if the distance is not a remainder then it is not ducal. sent5: if something is not a kind of a good then it is not a kind of a raw. sent6: there is something such that if it is not regretful then it is not a good. sent7: there is something such that if it is not a deserts it does not demilitarize Sindhi. sent8: the distance is not a Zimbabwe if it is ducal. sent9: the fact that the distance is non-ducal if the distance is not a raw is not wrong. sent10: there is something such that if it does not fret metalware then it is not a pigskin. sent11: if the distance is a hajj then the fact that it is non-ducal is true. sent12: if the fact that the distance is a kind of a hajj is correct then it is not faucal. sent13: there is something such that if the fact that it is a hajj is true it is not ducal. sent14: if something is not glorious then it is not a kind of a hajj. sent15: if the distance is not a kind of a hajj it is ducal. sent16: there exists something such that if it is not a kind of a Zimbabwe then it is not regretful. sent17: the bighorn is not a hajj if it does not theorize. sent18: if the distance is not a kind of a hajj it is not ducal. sent19: the distance is a checkerboard if the fact that it is not ducal is true. sent20: if something is not Calcuttan it is not a good.
sent18 -> hypothesis;
the fact that the codeine is not a good is not false if it is not Calcuttan.
sent20 -> hypothesis;
$hypothesis$ = there is something such that if it is not a hajj it is not ducal. ; $context$ = sent1: the distance is not a kind of a hajj if it is gustatory. sent2: there is something such that if it is not a kind of a hajj then it is ducal. sent3: if that the distance is not ducal is not false then it is not inviolable. sent4: if the distance is not a remainder then it is not ducal. sent5: if something is not a kind of a good then it is not a kind of a raw. sent6: there is something such that if it is not regretful then it is not a good. sent7: there is something such that if it is not a deserts it does not demilitarize Sindhi. sent8: the distance is not a Zimbabwe if it is ducal. sent9: the fact that the distance is non-ducal if the distance is not a raw is not wrong. sent10: there is something such that if it does not fret metalware then it is not a pigskin. sent11: if the distance is a hajj then the fact that it is non-ducal is true. sent12: if the fact that the distance is a kind of a hajj is correct then it is not faucal. sent13: there is something such that if the fact that it is a hajj is true it is not ducal. sent14: if something is not glorious then it is not a kind of a hajj. sent15: if the distance is not a kind of a hajj it is ducal. sent16: there exists something such that if it is not a kind of a Zimbabwe then it is not regretful. sent17: the bighorn is not a hajj if it does not theorize. sent18: if the distance is not a kind of a hajj it is not ducal. sent19: the distance is a checkerboard if the fact that it is not ducal is true. sent20: if something is not Calcuttan it is not a good. ; $proof$ = 
sent18 -> hypothesis; __PROVED__