there exists something such that if the fact that it is a kind of a crabbed that is not a prefab does not hold then it is insectan.
sent1: the exteroceptor is angular if the fact that it does demineralize Copt and is not insectan does not hold. sent2: the fact that there is something such that if it is a prefab it is insectan is true. sent3: if that the exteroceptor is a crabbed that is not a prefab is not correct then it is insectan. sent4: if the professional is not a grouper then it is a Colombian. sent5: there is something such that if it crabs and it is not a kind of a prefab that it is insectan hold. sent6: the exteroceptor is a jackscrew if the fact that it is a Bratislava and it is not a cinnamon does not hold. sent7: there exists something such that if that it is a larkspur that is not non-cardinal is incorrect then it does strap refrigerant. sent8: there is something such that if that that it is a Narthecium and stimulative is not incorrect is wrong it is astomatous. sent9: if that something does fabricate deep-sea but it is not a kind of a rote is not right it demineralizes reveille. sent10: the exteroceptor is insectan if that it crabs and it is a prefab does not hold. sent11: there is something such that if it does not seel it fabricates telpher. sent12: there exists something such that if it is not entomological then it is an adenosine. sent13: if the exteroceptor does not chance slit then it is mesic.
sent3 -> hypothesis;
there exists something such that if the fact that it fabricates deep-sea and it is not a rote is false it demineralizes reveille.
sent9 -> int1: the Buddhist does demineralize reveille if the fact that it does fabricate deep-sea and it is not a rote is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a kind of a crabbed that is not a prefab does not hold then it is insectan. ; $context$ = sent1: the exteroceptor is angular if the fact that it does demineralize Copt and is not insectan does not hold. sent2: the fact that there is something such that if it is a prefab it is insectan is true. sent3: if that the exteroceptor is a crabbed that is not a prefab is not correct then it is insectan. sent4: if the professional is not a grouper then it is a Colombian. sent5: there is something such that if it crabs and it is not a kind of a prefab that it is insectan hold. sent6: the exteroceptor is a jackscrew if the fact that it is a Bratislava and it is not a cinnamon does not hold. sent7: there exists something such that if that it is a larkspur that is not non-cardinal is incorrect then it does strap refrigerant. sent8: there is something such that if that that it is a Narthecium and stimulative is not incorrect is wrong it is astomatous. sent9: if that something does fabricate deep-sea but it is not a kind of a rote is not right it demineralizes reveille. sent10: the exteroceptor is insectan if that it crabs and it is a prefab does not hold. sent11: there is something such that if it does not seel it fabricates telpher. sent12: there exists something such that if it is not entomological then it is an adenosine. sent13: if the exteroceptor does not chance slit then it is mesic. ; $proof$ = 
sent3 -> hypothesis; __PROVED__