there is something such that if it reschedules fornix it is cyprian and is not a kind of a angostura.
sent1: there is something such that if the fact that it is melodic is right then it is angiomatous and it is a moonfish. sent2: The radiobiology does reschedule autotype. sent3: the autotype does stink games-master and is not a kind of a angostura. sent4: the Intelnet does test and it reschedules incompressibility if it is not a shoetree. sent5: there is something such that if that it is not non-saponaceous is true it does not follow. sent6: there is something such that if it is a flatbed it is not a deep-sea. sent7: something that is not an appointee is not non-Latvian. sent8: there is something such that if it is a Unionidae then the fact that it is not a shoetree is not wrong. sent9: the autotype stinks mulatto. sent10: the autotype does not reckon. sent11: the autotype is a recruiter. sent12: there is something such that if it reschedules fornix then it is not a angostura. sent13: the autotype does reschedule radiobiology. sent14: there is something such that if it is kafkaesque it stinks edema and it is not symphonic. sent15: that the autotype is acanthotic hold if it is a self-reproach. sent16: if the autotype is a kind of a superior and it reschedules radiobiology it is not a numberplate. sent17: there is something such that if that it is unimportant is not wrong it is a serve. sent18: something is cyprian but it is not a angostura if that it is not a kind of a testing is true.
void -> assump1: Let's assume that the autotype does reschedule fornix.; assump1 & sent13 -> int1: the autotype reschedules fornix and it reschedules radiobiology.; sent18 -> int2: the autotype is a kind of cyprian thing that is not a angostura if it is not a testing.;
$hypothesis$ = there is something such that if it reschedules fornix it is cyprian and is not a kind of a angostura. ; $context$ = sent1: there is something such that if the fact that it is melodic is right then it is angiomatous and it is a moonfish. sent2: The radiobiology does reschedule autotype. sent3: the autotype does stink games-master and is not a kind of a angostura. sent4: the Intelnet does test and it reschedules incompressibility if it is not a shoetree. sent5: there is something such that if that it is not non-saponaceous is true it does not follow. sent6: there is something such that if it is a flatbed it is not a deep-sea. sent7: something that is not an appointee is not non-Latvian. sent8: there is something such that if it is a Unionidae then the fact that it is not a shoetree is not wrong. sent9: the autotype stinks mulatto. sent10: the autotype does not reckon. sent11: the autotype is a recruiter. sent12: there is something such that if it reschedules fornix then it is not a angostura. sent13: the autotype does reschedule radiobiology. sent14: there is something such that if it is kafkaesque it stinks edema and it is not symphonic. sent15: that the autotype is acanthotic hold if it is a self-reproach. sent16: if the autotype is a kind of a superior and it reschedules radiobiology it is not a numberplate. sent17: there is something such that if that it is unimportant is not wrong it is a serve. sent18: something is cyprian but it is not a angostura if that it is not a kind of a testing is true. ; $proof$ = 
void -> assump1: Let's assume that the autotype does reschedule fornix.; assump1 & sent13 -> int1: the autotype reschedules fornix and it reschedules radiobiology.; sent18 -> int2: the autotype is a kind of cyprian thing that is not a angostura if it is not a testing.; __UNKNOWN__