that either the riding or the stimulation or both happens if the fact that the agrypnoticness does not occur is not false does not hold.
sent1: the grunting does not occur. sent2: that the eightsome occurs and/or the rigging claro is triggered by the non-Procrusteanness. sent3: the Anglophilicness happens if that the stomp does not occur and/or the rolling Renoir happens is wrong. sent4: if the agrypnoticness occurs either the riding happens or the stimulation happens or both. sent5: if the agrypnoticness occurs the fact that the rolling impersonation does not occur and/or the excursion does not occur is not correct. sent6: if that either the rolling impersonation does not occur or the excursion does not occur or both is incorrect then the riding happens. sent7: the concocting happens if the easing does not occur. sent8: if the asymmetricalness happens the stimulation does not occur. sent9: the excursion occurs. sent10: the postnatalness does not occur. sent11: if the fact that the agrypnoticness does not occur is not false then the excursion occurs. sent12: that the asymmetricalness occurs is true if the waiting happens. sent13: if the fact that the rolling impersonation does not occur and/or the excursion occurs is false the riding occurs. sent14: that either the rolling Renoir does not occur or the prokaryoticness does not occur or both is not true if the agrypnoticness happens. sent15: if the agrypnoticness does not occur the fact that the rolling impersonation does not occur or the excursion does not occur or both is not right. sent16: if that the trephination does not occur is not incorrect then the cross-linking and/or the rolling Augustinian occurs.
void -> assump1: Let's assume that the agrypnoticness does not occur.; sent15 & assump1 -> int1: that either the rolling impersonation does not occur or the excursion does not occur or both is not correct.; sent6 & int1 -> int2: the riding occurs.; int2 -> int3: the riding happens and/or the stimulation occurs.; [assump1] & int3 -> hypothesis;
that the rolling Renoir does not occur and/or the prokaryoticness does not occur does not hold.
$hypothesis$ = that either the riding or the stimulation or both happens if the fact that the agrypnoticness does not occur is not false does not hold. ; $context$ = sent1: the grunting does not occur. sent2: that the eightsome occurs and/or the rigging claro is triggered by the non-Procrusteanness. sent3: the Anglophilicness happens if that the stomp does not occur and/or the rolling Renoir happens is wrong. sent4: if the agrypnoticness occurs either the riding happens or the stimulation happens or both. sent5: if the agrypnoticness occurs the fact that the rolling impersonation does not occur and/or the excursion does not occur is not correct. sent6: if that either the rolling impersonation does not occur or the excursion does not occur or both is incorrect then the riding happens. sent7: the concocting happens if the easing does not occur. sent8: if the asymmetricalness happens the stimulation does not occur. sent9: the excursion occurs. sent10: the postnatalness does not occur. sent11: if the fact that the agrypnoticness does not occur is not false then the excursion occurs. sent12: that the asymmetricalness occurs is true if the waiting happens. sent13: if the fact that the rolling impersonation does not occur and/or the excursion occurs is false the riding occurs. sent14: that either the rolling Renoir does not occur or the prokaryoticness does not occur or both is not true if the agrypnoticness happens. sent15: if the agrypnoticness does not occur the fact that the rolling impersonation does not occur or the excursion does not occur or both is not right. sent16: if that the trephination does not occur is not incorrect then the cross-linking and/or the rolling Augustinian occurs. ; $proof$ = 
void -> assump1: Let's assume that the agrypnoticness does not occur.; sent15 & assump1 -> int1: that either the rolling impersonation does not occur or the excursion does not occur or both is not correct.; sent6 & int1 -> int2: the riding occurs.; int2 -> int3: the riding happens and/or the stimulation occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__