that the Father is a cerussite if that the auditor is a kind of a paroxytone but it is not a Marrubium is not true does not hold.
sent1: the auditor does boot hypernymy if the fact that it is both a paroxytone and not a Marrubium does not hold. sent2: the fact that the fact that the auditor is a kind of a paroxytone that is a Marrubium does not hold is right. sent3: the pointillist is not a kind of a cerussite. sent4: if that the auditor is a Marrubium is correct it boots hypernymy. sent5: the fact that if something boots hypernymy then it does boot angulation hold. sent6: the auditor is not a paroxytone. sent7: if the auditor boots angulation then the Father is a cerussite.
void -> assump1: Let's assume that the fact that that the auditor is a paroxytone but it is not a kind of a Marrubium does not hold is right.; sent1 & assump1 -> int1: the auditor boots hypernymy.; sent5 -> int2: the auditor does boot angulation if the fact that it does not boot hypernymy does not hold.; int1 & int2 -> int3: the auditor boots angulation.; int3 & sent7 -> int4: the fact that the Father is a cerussite is correct.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the Father is a cerussite if that the auditor is a kind of a paroxytone but it is not a Marrubium is not true does not hold. ; $context$ = sent1: the auditor does boot hypernymy if the fact that it is both a paroxytone and not a Marrubium does not hold. sent2: the fact that the fact that the auditor is a kind of a paroxytone that is a Marrubium does not hold is right. sent3: the pointillist is not a kind of a cerussite. sent4: if that the auditor is a Marrubium is correct it boots hypernymy. sent5: the fact that if something boots hypernymy then it does boot angulation hold. sent6: the auditor is not a paroxytone. sent7: if the auditor boots angulation then the Father is a cerussite. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the auditor is a paroxytone but it is not a kind of a Marrubium does not hold is right.; sent1 & assump1 -> int1: the auditor boots hypernymy.; sent5 -> int2: the auditor does boot angulation if the fact that it does not boot hypernymy does not hold.; int1 & int2 -> int3: the auditor boots angulation.; int3 & sent7 -> int4: the fact that the Father is a cerussite is correct.; [assump1] & int4 -> hypothesis; __DISPROVED__