if the liquidation occurs the fact that the digitigrade happens but the bullshiting filming does not occur is not true.
sent1: the benevolence does not occur if the fact that the liquidation does not occur and the expostulation happens is not right. sent2: that the benevolence does not occur hold if the expostulation does not occur. sent3: if the cropping bust does not occur and the cropping tramcar does not occur then the politicalness does not occur. sent4: both the dissociation and the anticipating reallotment occurs. sent5: if the benevolence does not occur or the volatileness occurs or both then that the unfashionableness does not occur is true. sent6: either the benevolence or the volatileness or both occurs. sent7: the fact that both the bullshiting potshot and the bullshiting subsoil happens is false if the planetalness happens. sent8: the anticipating jerky does not occur if both the non-vulvarness and the fashionableness happens. sent9: the fact that the sacerdotalness does not occur is not false. sent10: the cropping hindquarters happens. sent11: if the dissociation happens and the lymphocyticness happens the vulvarness does not occur. sent12: the liquidation happens and the expostulation occurs. sent13: the anticipating reallotment occurs. sent14: both the lymphocyticness and the cropping stapler happens. sent15: the benevolence does not occur if not the liquidation but the expostulation happens. sent16: if the anticipating jerky does not occur then that the fact that the digitigradeness but not the bullshiting filming happens does not hold is not incorrect. sent17: that the digitigrade and the bullshiting filming occurs is incorrect if the liquidation occurs.
void -> assump2: Let's assume that the liquidation does not occur and the expostulation occurs.; assump2 -> int1: the liquidation does not occur.; void -> assump1: Let's assume that the liquidation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the liquidation does not occur and the expostulation happens is incorrect.; int3 & sent1 -> int4: the benevolence does not occur.; int4 -> int5: that the benevolence does not occur and/or the volatileness happens hold.; int5 & sent5 -> int6: the unfashionableness does not occur.; sent4 -> int7: the dissociation occurs.; sent14 -> int8: the lymphocyticness occurs.; int7 & int8 -> int9: the dissociation occurs and the lymphocyticness happens.; sent11 & int9 -> int10: that the vulvarness does not occur hold.; int6 & int10 -> int11: both the non-vulvarness and the fashionableness happens.; int11 & sent8 -> int12: the anticipating jerky does not occur.; int12 & sent16 -> int13: that the digitigradeness happens and the bullshiting filming does not occur is incorrect.; [assump1] & int13 -> hypothesis;
$hypothesis$ = if the liquidation occurs the fact that the digitigrade happens but the bullshiting filming does not occur is not true. ; $context$ = sent1: the benevolence does not occur if the fact that the liquidation does not occur and the expostulation happens is not right. sent2: that the benevolence does not occur hold if the expostulation does not occur. sent3: if the cropping bust does not occur and the cropping tramcar does not occur then the politicalness does not occur. sent4: both the dissociation and the anticipating reallotment occurs. sent5: if the benevolence does not occur or the volatileness occurs or both then that the unfashionableness does not occur is true. sent6: either the benevolence or the volatileness or both occurs. sent7: the fact that both the bullshiting potshot and the bullshiting subsoil happens is false if the planetalness happens. sent8: the anticipating jerky does not occur if both the non-vulvarness and the fashionableness happens. sent9: the fact that the sacerdotalness does not occur is not false. sent10: the cropping hindquarters happens. sent11: if the dissociation happens and the lymphocyticness happens the vulvarness does not occur. sent12: the liquidation happens and the expostulation occurs. sent13: the anticipating reallotment occurs. sent14: both the lymphocyticness and the cropping stapler happens. sent15: the benevolence does not occur if not the liquidation but the expostulation happens. sent16: if the anticipating jerky does not occur then that the fact that the digitigradeness but not the bullshiting filming happens does not hold is not incorrect. sent17: that the digitigrade and the bullshiting filming occurs is incorrect if the liquidation occurs. ; $proof$ = 
void -> assump2: Let's assume that the liquidation does not occur and the expostulation occurs.; assump2 -> int1: the liquidation does not occur.; void -> assump1: Let's assume that the liquidation occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the liquidation does not occur and the expostulation happens is incorrect.; int3 & sent1 -> int4: the benevolence does not occur.; int4 -> int5: that the benevolence does not occur and/or the volatileness happens hold.; int5 & sent5 -> int6: the unfashionableness does not occur.; sent4 -> int7: the dissociation occurs.; sent14 -> int8: the lymphocyticness occurs.; int7 & int8 -> int9: the dissociation occurs and the lymphocyticness happens.; sent11 & int9 -> int10: that the vulvarness does not occur hold.; int6 & int10 -> int11: both the non-vulvarness and the fashionableness happens.; int11 & sent8 -> int12: the anticipating jerky does not occur.; int12 & sent16 -> int13: that the digitigradeness happens and the bullshiting filming does not occur is incorrect.; [assump1] & int13 -> hypothesis; __PROVED__