that that the staggerbush sentimentalises hold if the nourishment does clock Hedysarum is not true.
sent1: if there exists something such that it reveals inferior and it is a kind of a descendant then the staggerbush does sentimentalise. sent2: the nombril is a kind of a gob. sent3: the staggerbush clocks Hedysarum. sent4: there exists something such that it reveals inferior. sent5: there exists something such that it is a kind of a descendant. sent6: the nombril reveals inferior and is a gob. sent7: if the nourishment does clock Hedysarum then the nombril is a kind of a descendant.
void -> assump1: Let's assume that the fact that the nourishment clocks Hedysarum hold.; sent7 & assump1 -> int1: the nombril is a descendant.; sent6 -> int2: the nombril reveals inferior.; int1 & int2 -> int3: the nombril does reveal inferior and is a descendant.; int3 -> int4: there is something such that it does reveal inferior and is a kind of a descendant.; int4 & sent1 -> int5: the staggerbush does sentimentalise.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that that the staggerbush sentimentalises hold if the nourishment does clock Hedysarum is not true. ; $context$ = sent1: if there exists something such that it reveals inferior and it is a kind of a descendant then the staggerbush does sentimentalise. sent2: the nombril is a kind of a gob. sent3: the staggerbush clocks Hedysarum. sent4: there exists something such that it reveals inferior. sent5: there exists something such that it is a kind of a descendant. sent6: the nombril reveals inferior and is a gob. sent7: if the nourishment does clock Hedysarum then the nombril is a kind of a descendant. ; $proof$ = 
void -> assump1: Let's assume that the fact that the nourishment clocks Hedysarum hold.; sent7 & assump1 -> int1: the nombril is a descendant.; sent6 -> int2: the nombril reveals inferior.; int1 & int2 -> int3: the nombril does reveal inferior and is a descendant.; int3 -> int4: there is something such that it does reveal inferior and is a kind of a descendant.; int4 & sent1 -> int5: the staggerbush does sentimentalise.; [assump1] & int5 -> hypothesis; __DISPROVED__