the sensualizing bookdealer happens if the sympathectomy occurs.
sent1: the reimposition occurs and the active occurs. sent2: the bawling saunter does not occur. sent3: if both the active and the steepening gametocyte happens then the sympathectomy occurs. sent4: that the active does not occur triggers that the lacing but not the reimposition happens. sent5: the sympathectomy does not occur if the active and the steepening gametocyte happens. sent6: the activeness does not occur if that the sympathectomy and/or the steepening gametocyte happens is incorrect. sent7: the sensualizing bookdealer happens if the steepening gametocyte does not occur.
void -> assump2: Let's assume that the sympathectomy occurs.; sent1 -> int1: the activeness occurs.; void -> assump1: Let's assume that the steepening gametocyte occurs.; int1 & assump1 -> int2: both the activeness and the steepening gametocyte happens.; sent5 & int2 -> int3: the sympathectomy does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the steepening gametocyte does not occur.; sent7 & int5 -> int6: the sensualizing bookdealer occurs.; [assump2] & int6 -> hypothesis;
the lacing occurs.
$hypothesis$ = the sensualizing bookdealer happens if the sympathectomy occurs. ; $context$ = sent1: the reimposition occurs and the active occurs. sent2: the bawling saunter does not occur. sent3: if both the active and the steepening gametocyte happens then the sympathectomy occurs. sent4: that the active does not occur triggers that the lacing but not the reimposition happens. sent5: the sympathectomy does not occur if the active and the steepening gametocyte happens. sent6: the activeness does not occur if that the sympathectomy and/or the steepening gametocyte happens is incorrect. sent7: the sensualizing bookdealer happens if the steepening gametocyte does not occur. ; $proof$ = 
void -> assump2: Let's assume that the sympathectomy occurs.; sent1 -> int1: the activeness occurs.; void -> assump1: Let's assume that the steepening gametocyte occurs.; int1 & assump1 -> int2: both the activeness and the steepening gametocyte happens.; sent5 & int2 -> int3: the sympathectomy does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the steepening gametocyte does not occur.; sent7 & int5 -> int6: the sensualizing bookdealer occurs.; [assump2] & int6 -> hypothesis; __PROVED__