the fact that the scouring does not occur if the moon does not occur is not true.
sent1: if the barbarizing happens the moon occurs. sent2: if the mooning does not occur then the scouring occurs. sent3: the poling does not occur. sent4: that the scouring does not occur is brought about by that the moon occurs. sent5: the scouring yields that the depressing happens but the documentation does not occur. sent6: that the barbarizing does not occur is prevented by that the depressing occurs and the documentation happens. sent7: the roller and the non-spinalness happens. sent8: that the depressing but not the documentation happens prevents that the barbarizing does not occur.
void -> assump1: Let's assume that the scouring happens.; sent5 & assump1 -> int1: the depressing but not the documentation occurs.; sent8 & int1 -> int2: the barbarizing occurs.; sent1 & int2 -> int3: the moon occurs.; void -> assump2: Let's assume that the mooning does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scouring does not occur.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the scouring does not occur if the moon does not occur is not true. ; $context$ = sent1: if the barbarizing happens the moon occurs. sent2: if the mooning does not occur then the scouring occurs. sent3: the poling does not occur. sent4: that the scouring does not occur is brought about by that the moon occurs. sent5: the scouring yields that the depressing happens but the documentation does not occur. sent6: that the barbarizing does not occur is prevented by that the depressing occurs and the documentation happens. sent7: the roller and the non-spinalness happens. sent8: that the depressing but not the documentation happens prevents that the barbarizing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the scouring happens.; sent5 & assump1 -> int1: the depressing but not the documentation occurs.; sent8 & int1 -> int2: the barbarizing occurs.; sent1 & int2 -> int3: the moon occurs.; void -> assump2: Let's assume that the mooning does not occur.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the scouring does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__