the typographicness occurs and the piquing strife occurs.
sent1: the typographicness happens if not the exaltation but the request occurs. sent2: the request happens if the negotiation happens. sent3: if the coitalness happens then the piquing Hunan happens. sent4: if the mesolithicness does not occur the negotiation occurs. sent5: that both the exaltation and the non-coitalness occurs is wrong if that the ablactation does not occur is not incorrect. sent6: that the negotiation happens is triggered by that the court does not occur and/or that the mesolithicness does not occur. sent7: the twiddling happens. sent8: the fact that the coitalness happens is right. sent9: either the court does not occur or the mesolithicness happens or both. sent10: the ablactation occurs. sent11: that the decantation and the conception occurs is correct. sent12: the fact that the fact that the resinlikeness happens and the court does not occur does not hold is right. sent13: either that the evanescence does not occur or that the asymptoticness does not occur or both brings about that the binding cresol happens. sent14: the request happens. sent15: both the piquing strife and the ablactation occurs. sent16: that both the non-resinlikeness and the courting happens is incorrect. sent17: if the request does not occur the negotiation does not occur. sent18: the fact that the typographicness happens and the piquing strife occurs is incorrect if the mesolithicness does not occur. sent19: the piquing Hunan does not occur if the fact that the resinlikeness does not occur and the courting does not occur does not hold.
void -> assump1: Let's assume that that the resinlikeness does not occur and the courting does not occur is wrong.; sent19 & assump1 -> int1: the piquing Hunan does not occur.; sent3 & sent8 -> int2: the piquing Hunan occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the resinlikeness does not occur and the court does not occur.; int4 -> int5: the courting does not occur.; int5 -> int6: the courting does not occur and/or the mesolithicness does not occur.; int6 & sent6 -> int7: that the negotiation happens is correct.; sent15 -> int8: the piquing strife happens.;
the fact that the typographicness and the piquing strife happens is wrong.
$hypothesis$ = the typographicness occurs and the piquing strife occurs. ; $context$ = sent1: the typographicness happens if not the exaltation but the request occurs. sent2: the request happens if the negotiation happens. sent3: if the coitalness happens then the piquing Hunan happens. sent4: if the mesolithicness does not occur the negotiation occurs. sent5: that both the exaltation and the non-coitalness occurs is wrong if that the ablactation does not occur is not incorrect. sent6: that the negotiation happens is triggered by that the court does not occur and/or that the mesolithicness does not occur. sent7: the twiddling happens. sent8: the fact that the coitalness happens is right. sent9: either the court does not occur or the mesolithicness happens or both. sent10: the ablactation occurs. sent11: that the decantation and the conception occurs is correct. sent12: the fact that the fact that the resinlikeness happens and the court does not occur does not hold is right. sent13: either that the evanescence does not occur or that the asymptoticness does not occur or both brings about that the binding cresol happens. sent14: the request happens. sent15: both the piquing strife and the ablactation occurs. sent16: that both the non-resinlikeness and the courting happens is incorrect. sent17: if the request does not occur the negotiation does not occur. sent18: the fact that the typographicness happens and the piquing strife occurs is incorrect if the mesolithicness does not occur. sent19: the piquing Hunan does not occur if the fact that the resinlikeness does not occur and the courting does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the resinlikeness does not occur and the courting does not occur is wrong.; sent19 & assump1 -> int1: the piquing Hunan does not occur.; sent3 & sent8 -> int2: the piquing Hunan occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the resinlikeness does not occur and the court does not occur.; int4 -> int5: the courting does not occur.; int5 -> int6: the courting does not occur and/or the mesolithicness does not occur.; int6 & sent6 -> int7: that the negotiation happens is correct.; sent15 -> int8: the piquing strife happens.; __UNKNOWN__