either the positionalness does not occur or the resetting wineskin does not occur or both.
sent1: the shuffle does not occur if the fact that the jingoism does not occur and the stilling Giotto does not occur is wrong. sent2: if the metabolizing happens the grinning happens. sent3: the stilling incurrence happens. sent4: if the stilling incurrence does not occur the fact that the positionalness does not occur and/or the resetting wineskin does not occur is wrong. sent5: if that the exactaness occurs is true then the lettering dumping occurs. sent6: if the aniseikonicness and the grinning happens then the positionalness does not occur. sent7: if the shuffle does not occur then the positionalness happens and the resetting wineskin occurs. sent8: if the stilling incurrence does not occur either the elongation does not occur or the immunotherapeuticness does not occur or both. sent9: that the grinning and the aniseikonicness happens does not hold if the shuffling does not occur. sent10: the origin occurs. sent11: the aniseikonicness happens. sent12: if the stilling incurrence occurs then the metabolizing happens. sent13: either the positionalness occurs or the resetting wineskin does not occur or both. sent14: the positionalness does not occur or the resetting wineskin occurs or both.
sent12 & sent3 -> int1: the metabolizing occurs.; int1 & sent2 -> int2: the grinning occurs.; int2 & sent11 -> int3: both the aniseikonicness and the grinning occurs.; int3 & sent6 -> int4: the positionalness does not occur.; int4 -> hypothesis;
the fact that either the positionalness does not occur or the resetting wineskin does not occur or both does not hold.
$hypothesis$ = either the positionalness does not occur or the resetting wineskin does not occur or both. ; $context$ = sent1: the shuffle does not occur if the fact that the jingoism does not occur and the stilling Giotto does not occur is wrong. sent2: if the metabolizing happens the grinning happens. sent3: the stilling incurrence happens. sent4: if the stilling incurrence does not occur the fact that the positionalness does not occur and/or the resetting wineskin does not occur is wrong. sent5: if that the exactaness occurs is true then the lettering dumping occurs. sent6: if the aniseikonicness and the grinning happens then the positionalness does not occur. sent7: if the shuffle does not occur then the positionalness happens and the resetting wineskin occurs. sent8: if the stilling incurrence does not occur either the elongation does not occur or the immunotherapeuticness does not occur or both. sent9: that the grinning and the aniseikonicness happens does not hold if the shuffling does not occur. sent10: the origin occurs. sent11: the aniseikonicness happens. sent12: if the stilling incurrence occurs then the metabolizing happens. sent13: either the positionalness occurs or the resetting wineskin does not occur or both. sent14: the positionalness does not occur or the resetting wineskin occurs or both. ; $proof$ = 
sent12 & sent3 -> int1: the metabolizing occurs.; int1 & sent2 -> int2: the grinning occurs.; int2 & sent11 -> int3: both the aniseikonicness and the grinning occurs.; int3 & sent6 -> int4: the positionalness does not occur.; int4 -> hypothesis; __PROVED__