either the bidding or the blinding or both occurs.
sent1: the sawm does not occur if the Call occurs. sent2: the fact that the bidding and/or the blinded occurs is not right if the habiting mayhem does not occur. sent3: either the overachievement or the Quechuanness or both occurs. sent4: the weapon happens. sent5: the habiting mayhem occurs. sent6: if the sawm occurs the portraiture does not occur and the linebacker does not occur. sent7: the sawm does not occur. sent8: that the sawm does not occur is prevented by that the Call does not occur but the ordinalness occurs. sent9: that the Call occurs brings about that the linebacker happens but the sawm does not occur. sent10: the immediateness does not occur if the unspelling niobium does not occur. sent11: if both the non-immediateness and the linebacker happens the bidding occurs. sent12: the portraiture occurs. sent13: if the portraiture happens then the unspelling cremation happens. sent14: that the unspelling cremation does not occur is triggered by that the habiting mayhem and the unspelling niobium happens. sent15: the unspelling Wright occurs. sent16: the seepage does not occur. sent17: the overachievement happens. sent18: the Call occurs.
void -> assump1: Let's assume that the unspelling niobium occurs.; sent5 & assump1 -> int1: the habiting mayhem happens and the unspelling niobium occurs.; int1 & sent14 -> int2: the unspelling cremation does not occur.; sent13 & sent12 -> int3: the unspelling cremation happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the unspelling niobium does not occur.; int5 & sent10 -> int6: the immediateness does not occur.; sent9 & sent18 -> int7: the linebacker occurs but the sawm does not occur.; int7 -> int8: the linebacker happens.; int6 & int8 -> int9: the immediateness does not occur and the linebacker happens.; int9 & sent11 -> int10: the bidding happens.; int10 -> hypothesis;
that the bidding occurs and/or the blinding happens does not hold.
$hypothesis$ = either the bidding or the blinding or both occurs. ; $context$ = sent1: the sawm does not occur if the Call occurs. sent2: the fact that the bidding and/or the blinded occurs is not right if the habiting mayhem does not occur. sent3: either the overachievement or the Quechuanness or both occurs. sent4: the weapon happens. sent5: the habiting mayhem occurs. sent6: if the sawm occurs the portraiture does not occur and the linebacker does not occur. sent7: the sawm does not occur. sent8: that the sawm does not occur is prevented by that the Call does not occur but the ordinalness occurs. sent9: that the Call occurs brings about that the linebacker happens but the sawm does not occur. sent10: the immediateness does not occur if the unspelling niobium does not occur. sent11: if both the non-immediateness and the linebacker happens the bidding occurs. sent12: the portraiture occurs. sent13: if the portraiture happens then the unspelling cremation happens. sent14: that the unspelling cremation does not occur is triggered by that the habiting mayhem and the unspelling niobium happens. sent15: the unspelling Wright occurs. sent16: the seepage does not occur. sent17: the overachievement happens. sent18: the Call occurs. ; $proof$ = 
void -> assump1: Let's assume that the unspelling niobium occurs.; sent5 & assump1 -> int1: the habiting mayhem happens and the unspelling niobium occurs.; int1 & sent14 -> int2: the unspelling cremation does not occur.; sent13 & sent12 -> int3: the unspelling cremation happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the unspelling niobium does not occur.; int5 & sent10 -> int6: the immediateness does not occur.; sent9 & sent18 -> int7: the linebacker occurs but the sawm does not occur.; int7 -> int8: the linebacker happens.; int6 & int8 -> int9: the immediateness does not occur and the linebacker happens.; int9 & sent11 -> int10: the bidding happens.; int10 -> hypothesis; __PROVED__