there exists something such that if it is not neuroanatomic then it is not a infusorian.
sent1: if the niqab is not neuroanatomic then it is a kind of a infusorian. sent2: there exists something such that if it is neuroanatomic it is not a infusorian. sent3: there is something such that if it is not neuroanatomic then it is a kind of a infusorian. sent4: the niqab is neuroanatomic if it does not vacate opportunist. sent5: there exists something such that if that it is not a motif hold it does prick. sent6: something is not inconclusive if it is nonfunctional. sent7: the echelon is not a kind of a infusorian if it is not an orderly. sent8: something is a infusorian if it is not neuroanatomic. sent9: if the fact that the niqab is neuroanatomic is not wrong it is not a kind of a infusorian. sent10: something is not a kind of a infusorian if it is neuroanatomic. sent11: something does not laicize undersecretary if it is not paschal. sent12: if something is non-Danish it is not caffeinic. sent13: something is not a infusorian if it is not neuroanatomic. sent14: the canvasback is statuary if it is not identical. sent15: if the crossing is not neuroanatomic then it does finger provider. sent16: there exists something such that if that it does not ruffle hold then it is not a repulsion.
sent13 -> int1: the fact that the niqab is not a infusorian is not incorrect if that it is not neuroanatomic is true.; int1 -> hypothesis;
there exists something such that if it is not a kind of a Danish it is not caffeinic.
sent12 -> int2: the fact that the generator is not caffeinic is not false if the fact that it is not a Danish is true.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if it is not neuroanatomic then it is not a infusorian. ; $context$ = sent1: if the niqab is not neuroanatomic then it is a kind of a infusorian. sent2: there exists something such that if it is neuroanatomic it is not a infusorian. sent3: there is something such that if it is not neuroanatomic then it is a kind of a infusorian. sent4: the niqab is neuroanatomic if it does not vacate opportunist. sent5: there exists something such that if that it is not a motif hold it does prick. sent6: something is not inconclusive if it is nonfunctional. sent7: the echelon is not a kind of a infusorian if it is not an orderly. sent8: something is a infusorian if it is not neuroanatomic. sent9: if the fact that the niqab is neuroanatomic is not wrong it is not a kind of a infusorian. sent10: something is not a kind of a infusorian if it is neuroanatomic. sent11: something does not laicize undersecretary if it is not paschal. sent12: if something is non-Danish it is not caffeinic. sent13: something is not a infusorian if it is not neuroanatomic. sent14: the canvasback is statuary if it is not identical. sent15: if the crossing is not neuroanatomic then it does finger provider. sent16: there exists something such that if that it does not ruffle hold then it is not a repulsion. ; $proof$ = 
sent13 -> int1: the fact that the niqab is not a infusorian is not incorrect if that it is not neuroanatomic is true.; int1 -> hypothesis; __PROVED__