the dig occurs.
sent1: the effusing happens. sent2: that the effusing does not occur is right if either the uninformativeness happens or the effusing does not occur or both. sent3: if the fact that either the roads or the uninformativeness or both happens is incorrect then the fact that the dig does not occur is not false. sent4: the uninformativeness does not occur. sent5: that that either the roads or the uninformativeness or both occurs is not true hold if the PET does not occur. sent6: the configuring Huambo happens. sent7: the PET does not occur if the configuring Huambo and the effusing happens.
sent6 & sent1 -> int1: the fact that both the configuring Huambo and the effusing happens is correct.; sent7 & int1 -> int2: the PET does not occur.; sent5 & int2 -> int3: that the roads occurs or the uninformativeness occurs or both is false.; sent3 & int3 -> hypothesis;
the Algonquianness occurs.
$hypothesis$ = the dig occurs. ; $context$ = sent1: the effusing happens. sent2: that the effusing does not occur is right if either the uninformativeness happens or the effusing does not occur or both. sent3: if the fact that either the roads or the uninformativeness or both happens is incorrect then the fact that the dig does not occur is not false. sent4: the uninformativeness does not occur. sent5: that that either the roads or the uninformativeness or both occurs is not true hold if the PET does not occur. sent6: the configuring Huambo happens. sent7: the PET does not occur if the configuring Huambo and the effusing happens. ; $proof$ = 
sent6 & sent1 -> int1: the fact that both the configuring Huambo and the effusing happens is correct.; sent7 & int1 -> int2: the PET does not occur.; sent5 & int2 -> int3: that the roads occurs or the uninformativeness occurs or both is false.; sent3 & int3 -> hypothesis; __DISPROVED__