the harmonization does not occur.
sent1: the manhandling code does not occur. sent2: the non-bignoniaceousness prevents that the harmonization does not occur. sent3: the spitball happens and the manhandling code does not occur if the top-downness does not occur. sent4: that the manhandling pedicure does not occur or that the regurgitation occurs or both prevents that the manhandling pedicure happens. sent5: the top-downness occurs if that the top-downness does not occur and the manhandling pedicure does not occur is wrong. sent6: the gobble occurs. sent7: the fact that the top-downness does not occur and the manhandling pedicure does not occur does not hold if the adding mincemeat happens. sent8: the non-bignoniaceousness is caused by that the spitball occurs and the top-downness happens. sent9: that the gobbling does not occur brings about that the manhandling pedicure does not occur or that the regurgitation occurs or both. sent10: the fact that the top-downness but not the manhandling pedicure happens is not true. sent11: the fact that that the spitball does not occur and the manhandling code does not occur is true is wrong if the deadening does not occur. sent12: if the adding mincemeat occurs the fact that the top-downness but not the manhandling pedicure occurs is not right. sent13: the gobble does not occur if the fact that the Frost does not occur and the ECCM does not occur is not correct. sent14: if the gobble occurs then the adding mincemeat occurs. sent15: the deadening does not occur. sent16: the unbornness does not occur and the easter does not occur.
void -> assump1: Let's assume that the spitball does not occur.; assump1 & sent1 -> int1: the spitball does not occur and the manhandling code does not occur.; sent11 & sent15 -> int2: the fact that the spitball does not occur and the manhandling code does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spitball happens.; sent14 & sent6 -> int5: the adding mincemeat occurs.; sent7 & int5 -> int6: the fact that the top-downness does not occur and the manhandling pedicure does not occur is not right.; sent5 & int6 -> int7: the top-downness occurs.; int4 & int7 -> int8: both the spitball and the top-downness occurs.; int8 & sent8 -> int9: the bignoniaceousness does not occur.; int9 & sent2 -> hypothesis;
the harmonization does not occur.
$hypothesis$ = the harmonization does not occur. ; $context$ = sent1: the manhandling code does not occur. sent2: the non-bignoniaceousness prevents that the harmonization does not occur. sent3: the spitball happens and the manhandling code does not occur if the top-downness does not occur. sent4: that the manhandling pedicure does not occur or that the regurgitation occurs or both prevents that the manhandling pedicure happens. sent5: the top-downness occurs if that the top-downness does not occur and the manhandling pedicure does not occur is wrong. sent6: the gobble occurs. sent7: the fact that the top-downness does not occur and the manhandling pedicure does not occur does not hold if the adding mincemeat happens. sent8: the non-bignoniaceousness is caused by that the spitball occurs and the top-downness happens. sent9: that the gobbling does not occur brings about that the manhandling pedicure does not occur or that the regurgitation occurs or both. sent10: the fact that the top-downness but not the manhandling pedicure happens is not true. sent11: the fact that that the spitball does not occur and the manhandling code does not occur is true is wrong if the deadening does not occur. sent12: if the adding mincemeat occurs the fact that the top-downness but not the manhandling pedicure occurs is not right. sent13: the gobble does not occur if the fact that the Frost does not occur and the ECCM does not occur is not correct. sent14: if the gobble occurs then the adding mincemeat occurs. sent15: the deadening does not occur. sent16: the unbornness does not occur and the easter does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spitball does not occur.; assump1 & sent1 -> int1: the spitball does not occur and the manhandling code does not occur.; sent11 & sent15 -> int2: the fact that the spitball does not occur and the manhandling code does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spitball happens.; sent14 & sent6 -> int5: the adding mincemeat occurs.; sent7 & int5 -> int6: the fact that the top-downness does not occur and the manhandling pedicure does not occur is not right.; sent5 & int6 -> int7: the top-downness occurs.; int4 & int7 -> int8: both the spitball and the top-downness occurs.; int8 & sent8 -> int9: the bignoniaceousness does not occur.; int9 & sent2 -> hypothesis; __DISPROVED__