that the lapidating occurs leads to that the gallivanting does not occur and the thwack does not occur.
sent1: the zizz occurs. sent2: the deflating directorship does not occur. sent3: that the lapidating but not the gallivanting occurs triggers the spiraling bricklayer. sent4: that the thwack does not occur and the nonpartisan does not occur is brought about by that the Luxemburger occurs. sent5: the Luxemburger happens. sent6: if the thwack occurs the lapidating but not the gallivanting occurs. sent7: if the Luxemburger occurs the nonpartisan does not occur. sent8: that the abdominoplasty does not occur is not false. sent9: the fact that the apianness does not occur is correct. sent10: the production occurs and the isometrics happens. sent11: the nonpartisanness does not occur. sent12: both the branchyness and the non-antinomianness occurs if the timid occurs. sent13: both the non-counterclockwiseness and the conscientiousness happens. sent14: if the fact that both the nonpartisanness and the Luxemburger happens is incorrect the fact that the nonpartisanness does not occur is not wrong. sent15: the unprintableness does not occur. sent16: the anaestheticness and the reductionistness happens. sent17: the deflating Kahoolawe does not occur and the hooking kern does not occur. sent18: if the zizz happens and the lapidating occurs then the gallivanting does not occur. sent19: if the thermostaticsness occurs the thwack happens. sent20: the deflating rosewood happens.
void -> assump1: Let's assume that the lapidating occurs.; sent1 & assump1 -> int1: the zizz and the lapidating happens.; int1 & sent18 -> int2: the gallivanting does not occur.; sent4 & sent5 -> int3: the thwack does not occur and the nonpartisan does not occur.; int3 -> int4: the thwack does not occur.; int2 & int4 -> int5: the gallivanting does not occur and the thwack does not occur.; [assump1] & int5 -> hypothesis;
the spiraling bricklayer occurs and the intrinsicness occurs.
$hypothesis$ = that the lapidating occurs leads to that the gallivanting does not occur and the thwack does not occur. ; $context$ = sent1: the zizz occurs. sent2: the deflating directorship does not occur. sent3: that the lapidating but not the gallivanting occurs triggers the spiraling bricklayer. sent4: that the thwack does not occur and the nonpartisan does not occur is brought about by that the Luxemburger occurs. sent5: the Luxemburger happens. sent6: if the thwack occurs the lapidating but not the gallivanting occurs. sent7: if the Luxemburger occurs the nonpartisan does not occur. sent8: that the abdominoplasty does not occur is not false. sent9: the fact that the apianness does not occur is correct. sent10: the production occurs and the isometrics happens. sent11: the nonpartisanness does not occur. sent12: both the branchyness and the non-antinomianness occurs if the timid occurs. sent13: both the non-counterclockwiseness and the conscientiousness happens. sent14: if the fact that both the nonpartisanness and the Luxemburger happens is incorrect the fact that the nonpartisanness does not occur is not wrong. sent15: the unprintableness does not occur. sent16: the anaestheticness and the reductionistness happens. sent17: the deflating Kahoolawe does not occur and the hooking kern does not occur. sent18: if the zizz happens and the lapidating occurs then the gallivanting does not occur. sent19: if the thermostaticsness occurs the thwack happens. sent20: the deflating rosewood happens. ; $proof$ = 
void -> assump1: Let's assume that the lapidating occurs.; sent1 & assump1 -> int1: the zizz and the lapidating happens.; int1 & sent18 -> int2: the gallivanting does not occur.; sent4 & sent5 -> int3: the thwack does not occur and the nonpartisan does not occur.; int3 -> int4: the thwack does not occur.; int2 & int4 -> int5: the gallivanting does not occur and the thwack does not occur.; [assump1] & int5 -> hypothesis; __PROVED__