not the owning nibbed but the battering occurs.
sent1: that the owning bead does not occur is caused by the flow. sent2: the battering occurs. sent3: that the potshot happens and/or the law occurs if that the flow does not occur hold hold. sent4: the adjuration happens. sent5: that the formalizing pinon does not occur but the stealth happens does not hold if the abidance occurs. sent6: if the eudemonicness does not occur that the vestmentalness happens and the owning phylum occurs is wrong. sent7: if the recapitulation does not occur that the owning bead and the flowing happens does not hold. sent8: if the flow happens or the recapitulation happens or both then the owning bead does not occur. sent9: if the owning phylum does not occur then the distribution occurs and the fullback happens. sent10: if that the owning bead occurs and the flow happens does not hold then the flow does not occur. sent11: if the systole and/or the nonthermalness happens then the systole happens. sent12: that the gobbling does not occur causes that the optimization does not occur or the rodeo does not occur or both. sent13: if that not the formalizing pinon but the stealth happens is not true that the eudemonicness does not occur hold. sent14: the recapitulation happens if that the owning nibbed does not occur and the battering occurs is not correct. sent15: the adjuration occurs but the recapitulation does not occur if the vocativeness does not occur. sent16: the systole or the nonthermalness or both occurs if the distribution occurs. sent17: the owning bead occurs and the adjuration occurs. sent18: if that both the vestmentalness and the owning phylum happens is false the owning phylum does not occur. sent19: the vocativeness is prevented by that the systole occurs. sent20: if the fact that the battering does not occur is not wrong then the recapitulation happens. sent21: that the abidance occurs is triggered by that the atrialness does not occur.
void -> assump1: Let's assume that the fact that the owning nibbed does not occur but the battering happens does not hold.; sent14 & assump1 -> int1: the recapitulation happens.; int1 -> int2: the fact that either the flow or the recapitulation or both occurs is true.; int2 & sent8 -> int3: the owning bead does not occur.; sent17 -> int4: the owning bead happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
either the potshot or the law or both occurs.
$hypothesis$ = not the owning nibbed but the battering occurs. ; $context$ = sent1: that the owning bead does not occur is caused by the flow. sent2: the battering occurs. sent3: that the potshot happens and/or the law occurs if that the flow does not occur hold hold. sent4: the adjuration happens. sent5: that the formalizing pinon does not occur but the stealth happens does not hold if the abidance occurs. sent6: if the eudemonicness does not occur that the vestmentalness happens and the owning phylum occurs is wrong. sent7: if the recapitulation does not occur that the owning bead and the flowing happens does not hold. sent8: if the flow happens or the recapitulation happens or both then the owning bead does not occur. sent9: if the owning phylum does not occur then the distribution occurs and the fullback happens. sent10: if that the owning bead occurs and the flow happens does not hold then the flow does not occur. sent11: if the systole and/or the nonthermalness happens then the systole happens. sent12: that the gobbling does not occur causes that the optimization does not occur or the rodeo does not occur or both. sent13: if that not the formalizing pinon but the stealth happens is not true that the eudemonicness does not occur hold. sent14: the recapitulation happens if that the owning nibbed does not occur and the battering occurs is not correct. sent15: the adjuration occurs but the recapitulation does not occur if the vocativeness does not occur. sent16: the systole or the nonthermalness or both occurs if the distribution occurs. sent17: the owning bead occurs and the adjuration occurs. sent18: if that both the vestmentalness and the owning phylum happens is false the owning phylum does not occur. sent19: the vocativeness is prevented by that the systole occurs. sent20: if the fact that the battering does not occur is not wrong then the recapitulation happens. sent21: that the abidance occurs is triggered by that the atrialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the owning nibbed does not occur but the battering happens does not hold.; sent14 & assump1 -> int1: the recapitulation happens.; int1 -> int2: the fact that either the flow or the recapitulation or both occurs is true.; int2 & sent8 -> int3: the owning bead does not occur.; sent17 -> int4: the owning bead happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__