there exists something such that if it is not a kind of a caldera then that it is a myopathy and it does seed is right.
sent1: there is something such that if that it is not a caldera is not wrong it is a kind of a myopathy. sent2: if the secretin is a kind of a caldera it is both a myopathy and a seed. sent3: the secretin crumbles and is not meaty. sent4: either the secretin is not extrasystolic or it is a caldera or both. sent5: the secretin is familial if it is non-extrasystolic and/or it is not a caldera. sent6: something that does crumble is a kind of a myopathy.
void -> assump1: Let's assume that the secretin is not a caldera.; assump1 -> int1: either the secretin is not extrasystolic or it is not a caldera or both.; int1 & sent5 -> int2: the fact that the secretin is familial is right.; sent6 -> int3: the secretin is a myopathy if that it does crumble is not incorrect.; sent3 -> int4: the secretin does crumble.; int3 & int4 -> int5: the secretin is a kind of a myopathy.;
$hypothesis$ = there exists something such that if it is not a kind of a caldera then that it is a myopathy and it does seed is right. ; $context$ = sent1: there is something such that if that it is not a caldera is not wrong it is a kind of a myopathy. sent2: if the secretin is a kind of a caldera it is both a myopathy and a seed. sent3: the secretin crumbles and is not meaty. sent4: either the secretin is not extrasystolic or it is a caldera or both. sent5: the secretin is familial if it is non-extrasystolic and/or it is not a caldera. sent6: something that does crumble is a kind of a myopathy. ; $proof$ = 
void -> assump1: Let's assume that the secretin is not a caldera.; assump1 -> int1: either the secretin is not extrasystolic or it is not a caldera or both.; int1 & sent5 -> int2: the fact that the secretin is familial is right.; sent6 -> int3: the secretin is a myopathy if that it does crumble is not incorrect.; sent3 -> int4: the secretin does crumble.; int3 & int4 -> int5: the secretin is a kind of a myopathy.; __UNKNOWN__