there is something such that if it does anticipate praetorship then it is a kind of a neurosurgeon and it does not strangulate Couperin.
sent1: something conditions but it is not a Iguanodontidae if it is a supply. sent2: there exists something such that if it anticipates praetorship that it is a neurosurgeon that strangulates Couperin is not incorrect. sent3: something is nonunion but it is not dithyrambic if it does strangulate Couperin. sent4: there is something such that if that it anticipates tractor hold then it bullshits prime and is not a Isabella. sent5: that if the surfperch sours the surfperch is both a lacertid and not a neurosurgeon is correct. sent6: if the surfperch anticipates praetorship then it is a kind of a neurosurgeon and it does strangulate Couperin. sent7: something is a kind of a neurosurgeon but it does not strangulate Couperin if the fact that it does anticipate praetorship is correct. sent8: there exists something such that if it anticipates praetorship then it does not strangulate Couperin. sent9: the surfperch does strangulate Couperin but it is not a nap if it bullshits stodge. sent10: if the fact that the surfperch anticipates praetorship hold then it is a kind of a neurosurgeon. sent11: the surfperch strangulates Couperin but it does not anticipate gamble if it bullshits streusel. sent12: there exists something such that if it does anticipate praetorship then the fact that it is a neurosurgeon is not incorrect.
sent7 -> int1: the fact that if the surfperch does anticipate praetorship then the surfperch is a neurosurgeon but it does not strangulate Couperin hold.; int1 -> hypothesis;
if the surfperch does strangulate Couperin it is nonunion and it is not dithyrambic.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it does anticipate praetorship then it is a kind of a neurosurgeon and it does not strangulate Couperin. ; $context$ = sent1: something conditions but it is not a Iguanodontidae if it is a supply. sent2: there exists something such that if it anticipates praetorship that it is a neurosurgeon that strangulates Couperin is not incorrect. sent3: something is nonunion but it is not dithyrambic if it does strangulate Couperin. sent4: there is something such that if that it anticipates tractor hold then it bullshits prime and is not a Isabella. sent5: that if the surfperch sours the surfperch is both a lacertid and not a neurosurgeon is correct. sent6: if the surfperch anticipates praetorship then it is a kind of a neurosurgeon and it does strangulate Couperin. sent7: something is a kind of a neurosurgeon but it does not strangulate Couperin if the fact that it does anticipate praetorship is correct. sent8: there exists something such that if it anticipates praetorship then it does not strangulate Couperin. sent9: the surfperch does strangulate Couperin but it is not a nap if it bullshits stodge. sent10: if the fact that the surfperch anticipates praetorship hold then it is a kind of a neurosurgeon. sent11: the surfperch strangulates Couperin but it does not anticipate gamble if it bullshits streusel. sent12: there exists something such that if it does anticipate praetorship then the fact that it is a neurosurgeon is not incorrect. ; $proof$ = 
sent7 -> int1: the fact that if the surfperch does anticipate praetorship then the surfperch is a neurosurgeon but it does not strangulate Couperin hold.; int1 -> hypothesis; __PROVED__