either the uninfluentialness does not occur or the sacrament does not occur or both.
sent1: that both the generation and the interfering decarboxylation happens triggers that the moderation does not occur. sent2: if the vitreousness does not occur then the sacrament and the uninfluentialness happens. sent3: the disobeying happens if the interfering overflight occurs. sent4: that the latestness happens and/or the floating does not occur is right. sent5: that the whimper does not occur is true. sent6: either the NMR or the butchery or both happens. sent7: either the cataclinalness does not occur or the interfering friskiness occurs or both. sent8: the fact that the error does not occur is not incorrect. sent9: either the uplifting retrospection does not occur or the alphanumericsness does not occur or both. sent10: either the vitreousness or the interfering overflight or both happens. sent11: the non-overtness and the intuiting happens. sent12: if the fact that the pronation does not occur and the vitreousness occurs is false the vitreousness does not occur. sent13: the uplifting radio-phonograph happens if the prehistoricness occurs. sent14: if the intuiting does not occur the overtness does not occur. sent15: that the disobeying happens hold if the vitreousness occurs. sent16: the interfering overflight does not occur if the uplifting ethnarch does not occur. sent17: the gallivanting does not occur. sent18: if the misdirection and the dwarfing tongued happens then the alvineness does not occur. sent19: that the sacrament does not occur is brought about by that the disobeying occurs and the intuiting occurs. sent20: the uplifting ethnarch does not occur or the termination does not occur or both. sent21: the overtness does not occur.
sent11 -> int1: the intuiting happens.; sent10 & sent15 & sent3 -> int2: the disobeying occurs.; int1 & int2 -> int3: both the disobeying and the intuiting occurs.; int3 & sent19 -> int4: the sacrament does not occur.; int4 -> hypothesis;
the fact that either the uninfluentialness does not occur or the sacrament does not occur or both does not hold.
$hypothesis$ = either the uninfluentialness does not occur or the sacrament does not occur or both. ; $context$ = sent1: that both the generation and the interfering decarboxylation happens triggers that the moderation does not occur. sent2: if the vitreousness does not occur then the sacrament and the uninfluentialness happens. sent3: the disobeying happens if the interfering overflight occurs. sent4: that the latestness happens and/or the floating does not occur is right. sent5: that the whimper does not occur is true. sent6: either the NMR or the butchery or both happens. sent7: either the cataclinalness does not occur or the interfering friskiness occurs or both. sent8: the fact that the error does not occur is not incorrect. sent9: either the uplifting retrospection does not occur or the alphanumericsness does not occur or both. sent10: either the vitreousness or the interfering overflight or both happens. sent11: the non-overtness and the intuiting happens. sent12: if the fact that the pronation does not occur and the vitreousness occurs is false the vitreousness does not occur. sent13: the uplifting radio-phonograph happens if the prehistoricness occurs. sent14: if the intuiting does not occur the overtness does not occur. sent15: that the disobeying happens hold if the vitreousness occurs. sent16: the interfering overflight does not occur if the uplifting ethnarch does not occur. sent17: the gallivanting does not occur. sent18: if the misdirection and the dwarfing tongued happens then the alvineness does not occur. sent19: that the sacrament does not occur is brought about by that the disobeying occurs and the intuiting occurs. sent20: the uplifting ethnarch does not occur or the termination does not occur or both. sent21: the overtness does not occur. ; $proof$ = 
sent11 -> int1: the intuiting happens.; sent10 & sent15 & sent3 -> int2: the disobeying occurs.; int1 & int2 -> int3: both the disobeying and the intuiting occurs.; int3 & sent19 -> int4: the sacrament does not occur.; int4 -> hypothesis; __PROVED__