if the covering happens then that the hircineness but not the takeoff occurs is false.
sent1: that the magisterialness does not occur results in that the drowsing does not occur and the salpingectomy does not occur. sent2: that the dressing happens and the covering does not occur is triggered by that the capillarity does not occur. sent3: the hircineness happens. sent4: if that the twang does not occur but the clearing Millay occurs is not right then the magisterialness does not occur. sent5: if the hircineness but not the takeoff happens the covering does not occur. sent6: that the drowsing does not occur results in that the electroencephalographicness and the extensiveness occurs. sent7: the stigmatization does not occur and the relief happens if the electroencephalographicness occurs. sent8: that not the capillarity but the hydrousness occurs is triggered by that the naming does not occur. sent9: the abstracting but not the mariticide occurs if the bonneting cytostome occurs. sent10: that both the hircineness and the takeoff occurs is not true. sent11: the inconvenientness occurs if the stigmatization does not occur but the relief happens. sent12: that the covering occurs is prevented by that the hircineness and the takeoff occurs. sent13: if the covering happens then that the hircineness occurs and the takeoff occurs is incorrect. sent14: that the naming does not occur and the clearing racket occurs is brought about by that the inconvenientness occurs.
void -> assump2: Let's assume that the hircineness but not the takeoff occurs.; sent5 & assump2 -> int1: the covering does not occur.; void -> assump1: Let's assume that the covering happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the hircineness but not the takeoff occurs is not right.; [assump1] & int3 -> hypothesis;
the dressing happens.
$hypothesis$ = if the covering happens then that the hircineness but not the takeoff occurs is false. ; $context$ = sent1: that the magisterialness does not occur results in that the drowsing does not occur and the salpingectomy does not occur. sent2: that the dressing happens and the covering does not occur is triggered by that the capillarity does not occur. sent3: the hircineness happens. sent4: if that the twang does not occur but the clearing Millay occurs is not right then the magisterialness does not occur. sent5: if the hircineness but not the takeoff happens the covering does not occur. sent6: that the drowsing does not occur results in that the electroencephalographicness and the extensiveness occurs. sent7: the stigmatization does not occur and the relief happens if the electroencephalographicness occurs. sent8: that not the capillarity but the hydrousness occurs is triggered by that the naming does not occur. sent9: the abstracting but not the mariticide occurs if the bonneting cytostome occurs. sent10: that both the hircineness and the takeoff occurs is not true. sent11: the inconvenientness occurs if the stigmatization does not occur but the relief happens. sent12: that the covering occurs is prevented by that the hircineness and the takeoff occurs. sent13: if the covering happens then that the hircineness occurs and the takeoff occurs is incorrect. sent14: that the naming does not occur and the clearing racket occurs is brought about by that the inconvenientness occurs. ; $proof$ = 
void -> assump2: Let's assume that the hircineness but not the takeoff occurs.; sent5 & assump2 -> int1: the covering does not occur.; void -> assump1: Let's assume that the covering happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the hircineness but not the takeoff occurs is not right.; [assump1] & int3 -> hypothesis; __PROVED__