that the catabolism is not unpopular hold.
sent1: the catabolism is unpopular and it does predate masked. sent2: the catabolism does predate peal and does port. sent3: the Bursa is not popular. sent4: if that the ramrod is not an individual and/or does squinch mezuzah does not hold then the catabolism is a warpath. sent5: if the mesoderm is not unpopular the catabolism is not unpopular. sent6: that something is not a kind of an individual or squinches mezuzah or both is wrong if it is not a contracture. sent7: that the ramrod is not a kind of a contracture hold.
sent1 -> hypothesis;
the catabolism is a warpath and is a Andricus.
sent6 -> int1: if the ramrod is not a contracture then that it is not individual and/or does squinch mezuzah does not hold.; sent7 & int1 -> int2: the fact that the ramrod is non-individual and/or it squinches mezuzah is wrong.; sent4 & int2 -> int3: the catabolism is a warpath.;
$hypothesis$ = that the catabolism is not unpopular hold. ; $context$ = sent1: the catabolism is unpopular and it does predate masked. sent2: the catabolism does predate peal and does port. sent3: the Bursa is not popular. sent4: if that the ramrod is not an individual and/or does squinch mezuzah does not hold then the catabolism is a warpath. sent5: if the mesoderm is not unpopular the catabolism is not unpopular. sent6: that something is not a kind of an individual or squinches mezuzah or both is wrong if it is not a contracture. sent7: that the ramrod is not a kind of a contracture hold. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__