that the Sin and the grazing occurs is not right.
sent1: if the pantheist does not occur the fact that the implantation does not occur hold. sent2: the implantation occurs and/or the reopening expressed occurs. sent3: if the reopening expressed occurs then the grazing occurs. sent4: the Donneanness occurs and the Sin occurs. sent5: if the Donneanness does not occur that the Sin and the grazing occurs is wrong. sent6: the grazing happens if the implantation occurs.
sent4 -> int1: the Sin happens.; sent2 & sent6 & sent3 -> int2: the fact that the grazing does not occur is not correct.; int1 & int2 -> hypothesis;
the fact that the Sin and the grazing happens is not true.
$hypothesis$ = that the Sin and the grazing occurs is not right. ; $context$ = sent1: if the pantheist does not occur the fact that the implantation does not occur hold. sent2: the implantation occurs and/or the reopening expressed occurs. sent3: if the reopening expressed occurs then the grazing occurs. sent4: the Donneanness occurs and the Sin occurs. sent5: if the Donneanness does not occur that the Sin and the grazing occurs is wrong. sent6: the grazing happens if the implantation occurs. ; $proof$ = 
sent4 -> int1: the Sin happens.; sent2 & sent6 & sent3 -> int2: the fact that the grazing does not occur is not correct.; int1 & int2 -> hypothesis; __DISPROVED__