the Cebuan is a Bergman.
sent1: if the fact that something is not a Ham but it is a kind of a vinegariness is false it twines. sent2: if the Cebuan does not determine Albulidae that it is not a palliative and dogmatizes Thornton does not hold. sent3: the Cebuan is a Bergman if it is not a pteridologist. sent4: that something is a kind of non-avionics thing that does purse redact does not hold if it is not a Bergman. sent5: if the heel is not a kind of a negative it is a kind of non-uncleared thing that is not a kind of a zoster. sent6: if that the fact that the heel does lope and is not attitudinal is not false does not hold then the Cebuan is not a NGU. sent7: if something is not a pteridologist then it is a kind of a Bergman. sent8: that the Cebuan does not determine polyptoton and does maunder is not correct if it is not a pteridologist. sent9: the vestment is a Bergman. sent10: if that something does not traffic Cebuan and is a kind of a pteridologist is not correct it is a Bergman. sent11: the Cebuan is not a kind of a palliative. sent12: that something is a mulloway and it is a palliative does not hold if it is not a NGU. sent13: the fact that the heel lopes but it is not attitudinal is incorrect if it is not uncleared.
sent10 -> int1: the Cebuan is a kind of a Bergman if the fact that it does not traffic Cebuan and it is a kind of a pteridologist does not hold.;
if the Cebuan is not a Bergman the fact that it is not avionics and purses redact is false.
sent4 -> hypothesis;
$hypothesis$ = the Cebuan is a Bergman. ; $context$ = sent1: if the fact that something is not a Ham but it is a kind of a vinegariness is false it twines. sent2: if the Cebuan does not determine Albulidae that it is not a palliative and dogmatizes Thornton does not hold. sent3: the Cebuan is a Bergman if it is not a pteridologist. sent4: that something is a kind of non-avionics thing that does purse redact does not hold if it is not a Bergman. sent5: if the heel is not a kind of a negative it is a kind of non-uncleared thing that is not a kind of a zoster. sent6: if that the fact that the heel does lope and is not attitudinal is not false does not hold then the Cebuan is not a NGU. sent7: if something is not a pteridologist then it is a kind of a Bergman. sent8: that the Cebuan does not determine polyptoton and does maunder is not correct if it is not a pteridologist. sent9: the vestment is a Bergman. sent10: if that something does not traffic Cebuan and is a kind of a pteridologist is not correct it is a Bergman. sent11: the Cebuan is not a kind of a palliative. sent12: that something is a mulloway and it is a palliative does not hold if it is not a NGU. sent13: the fact that the heel lopes but it is not attitudinal is incorrect if it is not uncleared. ; $proof$ = 
sent10 -> int1: the Cebuan is a kind of a Bergman if the fact that it does not traffic Cebuan and it is a kind of a pteridologist does not hold.; __UNKNOWN__