the mooning happens.
sent1: if the fact that not the sneering but the enlargement happens is wrong then the discountenancing extermination happens. sent2: the fact that the masse occurs or the contouring does not occur or both does not hold if the shining occurs. sent3: the shining does not occur. sent4: the Africanness does not occur if the primeness does not occur. sent5: not the moon but the shining occurs if the submission does not occur. sent6: if the fragmenting specificity occurs then the fact that not the sneering but the enlargement occurs is not true. sent7: the shining occurs if the submission does not occur but the moon occurs. sent8: that the salting Paraguay happens or the intonation does not occur or both is not true if the shining does not occur. sent9: that the submission does not occur but the mooning happens is brought about by that the discountenancing extermination happens. sent10: that the amending and the fragmenting specificity occurs is caused by the non-Africanness. sent11: if that the salting Paraguay occurs or the intonation does not occur or both is wrong then the moon occurs.
sent8 & sent3 -> int1: that that the salting Paraguay happens or the intonation does not occur or both is right is false.; sent11 & int1 -> hypothesis;
the fact that the masse occurs or the contour does not occur or both is not true.
$hypothesis$ = the mooning happens. ; $context$ = sent1: if the fact that not the sneering but the enlargement happens is wrong then the discountenancing extermination happens. sent2: the fact that the masse occurs or the contouring does not occur or both does not hold if the shining occurs. sent3: the shining does not occur. sent4: the Africanness does not occur if the primeness does not occur. sent5: not the moon but the shining occurs if the submission does not occur. sent6: if the fragmenting specificity occurs then the fact that not the sneering but the enlargement occurs is not true. sent7: the shining occurs if the submission does not occur but the moon occurs. sent8: that the salting Paraguay happens or the intonation does not occur or both is not true if the shining does not occur. sent9: that the submission does not occur but the mooning happens is brought about by that the discountenancing extermination happens. sent10: that the amending and the fragmenting specificity occurs is caused by the non-Africanness. sent11: if that the salting Paraguay occurs or the intonation does not occur or both is wrong then the moon occurs. ; $proof$ = 
sent8 & sent3 -> int1: that that the salting Paraguay happens or the intonation does not occur or both is right is false.; sent11 & int1 -> hypothesis; __PROVED__