if the windage happens the coronary happens.
sent1: the coronariness happens if the drafting does not occur. sent2: that both the drafting and the bismuthicness happens prevents that the windage occurs. sent3: that the IPO and the additiveness happens prevents that the lacing operationalism does not occur. sent4: the bismuthicness occurs. sent5: the preanalness and the drafting occurs if the bismuthicness does not occur. sent6: the hemorrhoidectomy happens. sent7: the windage happens if the drafting and the bismuthicness occurs.
void -> assump1: Let's assume that the windage occurs.; void -> assump2: Let's assume that the drafting occurs.; assump2 & sent4 -> int1: the drafting happens and the bismuthicness occurs.; sent2 & int1 -> int2: the fact that the windage does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the drafting does not occur.; sent1 & int4 -> int5: the coronariness occurs.; [assump1] & int5 -> hypothesis;
the fact that the preanalness occurs is correct.
$hypothesis$ = if the windage happens the coronary happens. ; $context$ = sent1: the coronariness happens if the drafting does not occur. sent2: that both the drafting and the bismuthicness happens prevents that the windage occurs. sent3: that the IPO and the additiveness happens prevents that the lacing operationalism does not occur. sent4: the bismuthicness occurs. sent5: the preanalness and the drafting occurs if the bismuthicness does not occur. sent6: the hemorrhoidectomy happens. sent7: the windage happens if the drafting and the bismuthicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the windage occurs.; void -> assump2: Let's assume that the drafting occurs.; assump2 & sent4 -> int1: the drafting happens and the bismuthicness occurs.; sent2 & int1 -> int2: the fact that the windage does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the drafting does not occur.; sent1 & int4 -> int5: the coronariness occurs.; [assump1] & int5 -> hypothesis; __PROVED__