the scuffing flatfoot does not occur.
sent1: if that the omnidirectionalness does not occur is correct the scuffing flatfoot does not occur and the bloomers does not occur. sent2: if the fact that the professorship happens and the pavane does not occur is not right the ding-dong does not occur. sent3: that the evidentiariness happens is prevented by that the scuffing flatfoot does not occur and the bloomers does not occur. sent4: that the shielding does not occur is brought about by the ding-dong. sent5: the scuffing flatfoot does not occur if the evidentiariness happens. sent6: if the congenericness does not occur the offshoreness and the fight occurs. sent7: the evidentiariness does not occur if the fact that that the bloomers and the omnidirectionalness occurs is true is not correct. sent8: the omnidirectionalness does not occur if that the professorship occurs and the omnidirectionalness happens is not correct. sent9: the fact that the bloomers happens and the omnidirectionalness happens is not true if the ding-dong does not occur. sent10: the fact that the professorship and the omnidirectionalness occurs does not hold if the ding-dong does not occur. sent11: if the offshoreness occurs that the pavane happens and the commencement does not occur does not hold. sent12: the piecing Bradypodidae or that the evidentiariness happens or both prevents the scuffing flatfoot. sent13: that the piecing Bradypodidae does not occur does not hold.
sent13 -> int1: the piecing Bradypodidae and/or the evidentiariness happens.; int1 & sent12 -> hypothesis;
the scuffing flatfoot happens.
$hypothesis$ = the scuffing flatfoot does not occur. ; $context$ = sent1: if that the omnidirectionalness does not occur is correct the scuffing flatfoot does not occur and the bloomers does not occur. sent2: if the fact that the professorship happens and the pavane does not occur is not right the ding-dong does not occur. sent3: that the evidentiariness happens is prevented by that the scuffing flatfoot does not occur and the bloomers does not occur. sent4: that the shielding does not occur is brought about by the ding-dong. sent5: the scuffing flatfoot does not occur if the evidentiariness happens. sent6: if the congenericness does not occur the offshoreness and the fight occurs. sent7: the evidentiariness does not occur if the fact that that the bloomers and the omnidirectionalness occurs is true is not correct. sent8: the omnidirectionalness does not occur if that the professorship occurs and the omnidirectionalness happens is not correct. sent9: the fact that the bloomers happens and the omnidirectionalness happens is not true if the ding-dong does not occur. sent10: the fact that the professorship and the omnidirectionalness occurs does not hold if the ding-dong does not occur. sent11: if the offshoreness occurs that the pavane happens and the commencement does not occur does not hold. sent12: the piecing Bradypodidae or that the evidentiariness happens or both prevents the scuffing flatfoot. sent13: that the piecing Bradypodidae does not occur does not hold. ; $proof$ = 
sent13 -> int1: the piecing Bradypodidae and/or the evidentiariness happens.; int1 & sent12 -> hypothesis; __PROVED__