the extravaganza leads to that the microwaving happens and the hypnotism does not occur.
sent1: if the hypnotism happens the considerableness happens. sent2: that the ordination happens is correct. sent3: the central happens. sent4: that the gaseousness does not occur is caused by that the starchlessness occurs and the crook does not occur. sent5: the microwaving occurs and the hypnotism does not occur if that the congestiveness does not occur is correct. sent6: the quantitativeness does not occur. sent7: that both the hypsography and the non-woodiness occurs is caused by that the cinch does not occur. sent8: that the congestiveness and the ordination happens prevents the extravaganza. sent9: that the coating cerumen does not occur causes that the starchlessness but not the crooking happens. sent10: the considerableness happens if the extravaganza occurs. sent11: that the microwave occurs if the extravaganza happens hold. sent12: the ordination does not occur if the fact that the ordination and the microwaving occurs is wrong. sent13: that the gaseousness does not occur triggers that the extravaganza occurs or that the hypnotism happens or both. sent14: that the congestiveness and the ordination occurs prevents that the extravaganza does not occur. sent15: the coating cerumen does not occur and the polypectomy occurs. sent16: the annealing happens. sent17: if the ordination does not occur both the adjustment and the congestiveness happens.
void -> assump2: Let's assume that the extravaganza occurs.; void -> assump1: Let's assume that the congestiveness occurs.; assump1 & sent2 -> int1: the congestiveness and the ordination happens.; sent8 & int1 -> int2: the extravaganza does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the congestiveness does not occur.; sent5 & int4 -> int5: the microwaving but not the hypnotism occurs.; [assump2] & int5 -> hypothesis;
both the considerableness and the adjustment occurs.
sent15 -> int6: the coating cerumen does not occur.; sent9 & int6 -> int7: the starchlessness happens and the crooking does not occur.; sent4 & int7 -> int8: the gaseousness does not occur.; sent13 & int8 -> int9: the extravaganza or the hypnotism or both occurs.; int9 & sent10 & sent1 -> int10: the considerableness occurs.;
$hypothesis$ = the extravaganza leads to that the microwaving happens and the hypnotism does not occur. ; $context$ = sent1: if the hypnotism happens the considerableness happens. sent2: that the ordination happens is correct. sent3: the central happens. sent4: that the gaseousness does not occur is caused by that the starchlessness occurs and the crook does not occur. sent5: the microwaving occurs and the hypnotism does not occur if that the congestiveness does not occur is correct. sent6: the quantitativeness does not occur. sent7: that both the hypsography and the non-woodiness occurs is caused by that the cinch does not occur. sent8: that the congestiveness and the ordination happens prevents the extravaganza. sent9: that the coating cerumen does not occur causes that the starchlessness but not the crooking happens. sent10: the considerableness happens if the extravaganza occurs. sent11: that the microwave occurs if the extravaganza happens hold. sent12: the ordination does not occur if the fact that the ordination and the microwaving occurs is wrong. sent13: that the gaseousness does not occur triggers that the extravaganza occurs or that the hypnotism happens or both. sent14: that the congestiveness and the ordination occurs prevents that the extravaganza does not occur. sent15: the coating cerumen does not occur and the polypectomy occurs. sent16: the annealing happens. sent17: if the ordination does not occur both the adjustment and the congestiveness happens. ; $proof$ = 
void -> assump2: Let's assume that the extravaganza occurs.; void -> assump1: Let's assume that the congestiveness occurs.; assump1 & sent2 -> int1: the congestiveness and the ordination happens.; sent8 & int1 -> int2: the extravaganza does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the congestiveness does not occur.; sent5 & int4 -> int5: the microwaving but not the hypnotism occurs.; [assump2] & int5 -> hypothesis; __PROVED__