the rendering bandage does not occur.
sent1: if the fact that the starchiness happens but the incompetent does not occur is wrong the pursing does not occur. sent2: if the stifling usurper occurs then that the baptism happens and the impressiveness occurs is not correct. sent3: the heroine does not occur if the starchiness but not the incompetentness occurs. sent4: the positivistness does not occur. sent5: the purse does not occur if the incompetentness happens. sent6: the assent does not occur. sent7: the twanging happens if that the importunity happens and the twanging does not occur does not hold. sent8: if the inextinguishableness happens then the pursing occurs. sent9: that the susurration occurs is prevented by that the heroine does not occur. sent10: that the susurration does not occur but the twang occurs leads to that the rendering bandage does not occur. sent11: the subclinicalness occurs if the positivist does not occur. sent12: the fact that both the starchiness and the incompetentness occurs does not hold. sent13: if that the purse but not the heroine happens is false the rendering bandage occurs. sent14: if that the subclinicalness occurs is not wrong that the importunity happens but the twanging does not occur does not hold. sent15: that both the importunity and the twang occurs is incorrect. sent16: that the starchiness and the incompetentness happens brings about that the heroine does not occur.
void -> assump1: Let's assume that the fact that both the starchiness and the competentness happens does not hold.; sent1 & assump1 -> int1: the pursing does not occur.; sent11 & sent4 -> int2: the subclinicalness occurs.; sent14 & int2 -> int3: the fact that the importunity occurs and the twanging does not occur is not right.; sent7 & int3 -> int4: the twanging happens.;
the rendering bandage occurs.
$hypothesis$ = the rendering bandage does not occur. ; $context$ = sent1: if the fact that the starchiness happens but the incompetent does not occur is wrong the pursing does not occur. sent2: if the stifling usurper occurs then that the baptism happens and the impressiveness occurs is not correct. sent3: the heroine does not occur if the starchiness but not the incompetentness occurs. sent4: the positivistness does not occur. sent5: the purse does not occur if the incompetentness happens. sent6: the assent does not occur. sent7: the twanging happens if that the importunity happens and the twanging does not occur does not hold. sent8: if the inextinguishableness happens then the pursing occurs. sent9: that the susurration occurs is prevented by that the heroine does not occur. sent10: that the susurration does not occur but the twang occurs leads to that the rendering bandage does not occur. sent11: the subclinicalness occurs if the positivist does not occur. sent12: the fact that both the starchiness and the incompetentness occurs does not hold. sent13: if that the purse but not the heroine happens is false the rendering bandage occurs. sent14: if that the subclinicalness occurs is not wrong that the importunity happens but the twanging does not occur does not hold. sent15: that both the importunity and the twang occurs is incorrect. sent16: that the starchiness and the incompetentness happens brings about that the heroine does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that both the starchiness and the competentness happens does not hold.; sent1 & assump1 -> int1: the pursing does not occur.; sent11 & sent4 -> int2: the subclinicalness occurs.; sent14 & int2 -> int3: the fact that the importunity occurs and the twanging does not occur is not right.; sent7 & int3 -> int4: the twanging happens.; __UNKNOWN__