that that the afforestation happens results in the non-thanklessness does not hold.
sent1: the fact that the bardolatry occurs and the crimp does not occur is wrong if the badging does not occur. sent2: the crimp occurs if that the bardolatry but not the crimp happens is false. sent3: the dilution occurs and the shooting occurs. sent4: if the unpunctualness does not occur the powder happens and the custard-likeness happens. sent5: the shooting occurs. sent6: if the crimp occurs then the unpunctualness does not occur and the Simonizing lapin does not occur. sent7: the introversiveness happens if the custard-likeness happens. sent8: the shooting happens if the fact that the fact that not the afforestation but the referendum happens is false is true. sent9: the clearedness is brought about by that the non-directingness and/or the Simonizing neigh occurs. sent10: the fact that the afforestation does not occur but the referendum occurs is not true if that the combinativeness does not occur is not wrong. sent11: if the introversiveness occurs then that the non-thanklessness and the combinativeness happens is not correct. sent12: that the overkill does not occur is triggered by that the modestness happens and the check occurs. sent13: the afforestation does not occur if the dilution happens and the referendum happens. sent14: the referendum occurs and/or the combinativeness occurs. sent15: that the dilution and the referendum occurs brings about that the afforestation happens. sent16: the thanklessness occurs if the afforestation occurs. sent17: that the referendum does not occur or that the combinativeness happens or both triggers the gratefulness.
sent3 -> int1: the dilution occurs.; void -> assump1: Let's assume that the referendum occurs.; int1 & assump1 -> int2: the dilution and the referendum occurs.; int2 & sent13 -> int3: the afforestation does not occur.; void -> assump2: Let's assume that the afforestation occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the referendum does not occur.; int5 -> int6: the referendum does not occur or the combinativeness occurs or both.; int6 & sent17 -> int7: the thanklessness does not occur.; [assump2] & int7 -> hypothesis;
the pompousness occurs.
$hypothesis$ = that that the afforestation happens results in the non-thanklessness does not hold. ; $context$ = sent1: the fact that the bardolatry occurs and the crimp does not occur is wrong if the badging does not occur. sent2: the crimp occurs if that the bardolatry but not the crimp happens is false. sent3: the dilution occurs and the shooting occurs. sent4: if the unpunctualness does not occur the powder happens and the custard-likeness happens. sent5: the shooting occurs. sent6: if the crimp occurs then the unpunctualness does not occur and the Simonizing lapin does not occur. sent7: the introversiveness happens if the custard-likeness happens. sent8: the shooting happens if the fact that the fact that not the afforestation but the referendum happens is false is true. sent9: the clearedness is brought about by that the non-directingness and/or the Simonizing neigh occurs. sent10: the fact that the afforestation does not occur but the referendum occurs is not true if that the combinativeness does not occur is not wrong. sent11: if the introversiveness occurs then that the non-thanklessness and the combinativeness happens is not correct. sent12: that the overkill does not occur is triggered by that the modestness happens and the check occurs. sent13: the afforestation does not occur if the dilution happens and the referendum happens. sent14: the referendum occurs and/or the combinativeness occurs. sent15: that the dilution and the referendum occurs brings about that the afforestation happens. sent16: the thanklessness occurs if the afforestation occurs. sent17: that the referendum does not occur or that the combinativeness happens or both triggers the gratefulness. ; $proof$ = 
sent3 -> int1: the dilution occurs.; void -> assump1: Let's assume that the referendum occurs.; int1 & assump1 -> int2: the dilution and the referendum occurs.; int2 & sent13 -> int3: the afforestation does not occur.; void -> assump2: Let's assume that the afforestation occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the referendum does not occur.; int5 -> int6: the referendum does not occur or the combinativeness occurs or both.; int6 & sent17 -> int7: the thanklessness does not occur.; [assump2] & int7 -> hypothesis; __DISPROVED__